نظریه اعداد و اشکال خودکار