O que diz a declaração
Vinte e cinco vencedores da medalha Fields assinaram um texto intitulado “A Severe Misalignment of AI in Mathematics”, publicado no blog de Terence Tao em 11 de setembro. A afirmação central é direta: “O empenho das empresas de IA em resolver problemas matemáticos como referência de avaliação é prejudicial à ciência da matemática e à comunidade matemática.”
Os signatários não afirmam que demonstrações produzidas por máquinas não tenham valor. Afirmam que a demonstração não é o ponto. Resolver problemas, diz o texto, “é apenas uma ferramenta e um substituto para alcançar o objetivo primário da compreensão conceitual e do discernimento” — e é justamente esse objetivo que o atual ciclo de anúncios pula.
A queixa concreta é sobre velocidade
O mecanismo que os matemáticos descrevem é processual, não filosófico. “Muitas vezes essas soluções são anunciadas às pressas, sem tempo para uma redação adequada, para isolar métodos e ideias novos e para citar trabalhos anteriores relevantes”, diz a declaração. Essa pressa, escrevem, levanta graves questões de atribuição e plágio.
Por trás há um problema de segunda ordem. Um resultado entra na matemática quando outros matemáticos o leem, verificam, generalizam e ensinam. O texto formula assim: sem “os matemáticos dispostos que precisam cuidar de seu desenvolvimento e integração ao cânone matemático, as ideias concebidas por IA nunca ganhariam vida plena”. Uma comunidade que se sente excluída do processo tem menos motivo para fazer esse trabalho.
Quem assinou
Os signatários abrangem turmas da medalha Fields de 1978 até a cerimônia deste ano, e incluem Terence Tao, Pierre Deligne, Maxim Kontsevich, Peter Scholze, Maryna Viazovska, Caucher Birkar, June Huh, Martin Hairer, James Maynard, Manjul Bhargava e o medalhista de 2026 Yu Deng. Para um prêmio concedido a no máximo quatro pessoas a cada quatro anos, vinte e cinco nomes chegam perto do conjunto dos laureados recentes ainda vivos.
O mês que a produziu
A declaração chega após duas semanas de atrito aberto. Em 8 de setembro, o professor da Universidade de Nova York Tristan Buckmaster alegou que a OpenAI o pressionou a não creditar um colaborador da Anthropic pela solução de um problema importante, e questionou se a empresa teria partido de trabalho feito com o Codex ao desenvolver sua própria demonstração, informou o TechCrunch. Em 11 de setembro, no mesmo dia em que o texto apareceu, a OpenAI retirou o financiamento de um evento de matemática no CalTech depois de pesquisadores da universidade criticarem a empresa.
Isso vem após uma série de anúncios em que laboratórios de IA reivindicaram resultados sobre problemas antigos, entre eles o trabalho da OpenAI sobre as equações de Navier-Stokes e a formalização pela Anthropic do último teorema de Fermat.
O que eles pedem
Os pedidos são concretos e, notavelmente, processuais: práticas de divulgação responsável por parte das empresas de IA, citação adequada de trabalhos anteriores, resultados desenvolvidos o bastante para que matemáticos humanos possam absorvê-los e o que o texto chama de diálogo urgente entre a comunidade matemática, os desenvolvedores de tecnologia e a sociedade.
Nada disso exige que um laboratório pare de trabalhar em matemática. Exige que o anúncio chegue com uma redação anexada, um ritmo mais lento do que um placar de avaliações recompensa. O teste de se algo muda será o próximo resultado reivindicado: se sai publicado com citações e artigo, ou divulgado primeiro e documentado depois.
