A linha de fratura surgiu em setembro, quando a OpenAI afirmou que um modelo interno havia resolvido mais de 100 problemas de longa data, incluindo uma aparente solução para Navier-Stokes. A alegação despertou entusiasmo, mas também acusações de que a abordagem da empresa corria o risco de ultrapassar o escrutínio acadêmico.¹

Em resposta, o Grupo Consultivo sobre Matemática e Inteligência Artificial, sediado no Institute for Advanced Study, instou os laboratórios a publicar prontamente por meio de canais estabelecidos, divulgar modelos, prompts e capacidade computacional, e evitar transformar divulgações matemáticas em campanhas de marketing. Seu alerta foi direto: tal promoção poderia causar “danos significativos” à comunidade matemática.²

Então, na terça-feira, a OpenAI lançou 722 manuscritos abrangendo 372 famílias de resultados — centenas de questões em aberto em áreas que vão de álgebra e topologia à teoria dos números. A escala deixou os pesquisadores atônitos. O matemático de Oxford Martin Bridson chamou o lançamento de “de tirar o fôlego”, dizendo que se tornou possível que as fronteiras da matemática avancem dramaticamente “em um dia”.³ O cofundador da OpenAI Greg Brockman caracterizou o esforço como um movimento “rumo à aceleração da descoberta científica e à melhoria da qualidade de vida para todos”.Greg Brockman (gdb)⁴

Os apoiadores veem uma abertura, e não um obituário para os matemáticos. O professor da Universidade de Toronto Dan Litt chamou os novos resultados de “ótimos para a matemática”, ao mesmo tempo que alertou que a sociedade deve continuar apoiando a expertise humana se espera se beneficiar do progresso da IA.⁵ Yann LeCun também descreveu uma nova era na qual a prova formal é em grande parte automatizada e os matemáticos podem se concentrar em conceitos, abstrações e definições.Yann LeCun (ylecun)⁶

Mas a reação negativa se intensificou à medida que estudiosos se depararam com a carga de trabalho. Mais de três dezenas de matemáticos disseram à The Verge que dar sentido ao material poderia levar anos, mesmo antes de avaliar sua originalidade ou correção.⁷ A Association for Human Mathematics chamou a divulgação em massa de “não uma demonstração de erudição, mas uma demonstração de poder”.⁸

Até quinta-feira, a OpenAI havia retirado resultados de pelo menos três problemas após aparentes erros. O episódio tornou mais aguda a disputa central: a IA pode gerar mais matemática do que nunca, mas os humanos ainda precisam decidir o que é verdadeiro, importante — e sobre o que vale a pena construir.⁹