Estou absolutamente convencido de que os modelos de IA mais inteligentes disponíveis agora, GPT-5 Pro e Grok4 Heavy, já são inteligentes o suficiente e, certamente, têm conhecimento suficiente sobre matemática e IA para conceber e desenvolver descobertas teóricas e práticas importantes, dado o tipo certo de estímulo inteligente.