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 conhecedores o suficiente sobre matemática e IA, para conceber e desenvolver importantes descobertas teóricas e práticas, dado o tipo certo de solicitação inteligente.