Saya benar-benar yakin bahwa model AI terpintar yang keluar sekarang, GPT-5 Pro dan Grok4 Heavy, sudah cukup pintar, dan tentunya cukup berpengetahuan tentang matematika dan AI, untuk menyusun dan mengembangkan penemuan teoretis dan praktis yang penting, dengan jenis dorongan cerdas yang tepat.