Vinte e cinco medalhistas Fields — o prêmio mais cobiçado da matemática — assinaram uma carta aberta com um recado direto: os laboratórios de IA estão colocando em risco o trabalho intelectual de quem faz matemática de verdade. E olha que coisa interessante: o documento não nega o poder desses modelos. Ele questiona o que acontece quando a corrida por provas famosas atropela o método que sempre sustentou a área.
O caso que acendeu o pavio
Nesta semana, Tristan Buckmaster, professor da NYU, acusou a OpenAI de pressioná-lo a não dar crédito a um colaborador que trabalha na Anthropic pela solução de um problema matemático relevante. Ele também levantou a dúvida: será que a empresa usou o trabalho dele com o Codex para produzir a própria prova revolucionária durante um fim de semana maratônico de inferência? A prova em questão, sobre Navier-Stokes, segue sem verificação independente.
Na quinta-feira, a OpenAI retirou o patrocínio de um evento de matemática no CalTech depois de críticas de pesquisadores da universidade. O atrito, portanto, não é abstrato — está em congressos, e-mails e créditos disputados.
O problema não é a prova, é o processo
A carta argumenta que soluções anunciadas com pressa não deixam espaço para escrever direito, isolar métodos novos ou citar o trabalho anterior de outras pessoas. Sem isso, surgem perguntas severas de atribuição e até de plágio. E há um detalhe humano que costuma passar batido:
Sem matemáticos dispostos a desenvolver e integrar essas ideias ao cânone, as descobertas concebidas por IA nunca ganhariam vida plena.
É uma analogia simples: imagine um remédio descoberto por um algoritmo e jogado no mercado sem ensaio clínico, sem bula, sem ninguém entendendo o mecanismo. Funcionar não basta — é preciso que a comunidade consiga entender, reproduzir e ensinar.
O incentivo perverso do sigilo
Se um laboratório de fronteira enxerga um caminho útil para uma descoberta, pode gastar dezenas de milhões de dólares em LLMs para chegar à prova antes dos pesquisadores originais. O efeito colateral é previsível: quem tem uma ideia boa passa a escondê-la. A cultura de pesquisa aberta, que sustenta a matemática há séculos, vira refém da velocidade.
Matemáticos já relatam paranoia sobre o uso do Codex — será que seus prompts e rascunhos alimentaram os modelos seguintes? A carta vem logo depois da Declaração de Leiden, publicada em junho por um grupo de trabalho da área, que já propunha recomendações para instituições e formuladores de política.
Seu campo é o próximo
O ponto mais desconfortável é a generalização. O que a matemática vive agora é um ensaio do que engenharia de software, jornalismo, direito e design devem enfrentar. O valor de um campo não está só no resultado final, mas na superestrutura intelectual que forma alunos, encontra novas perguntas e conecta o conhecimento à civilização.
Se a IA acelera a resposta e apaga o caminho até ela, ganhamos atalhos e perdemos o mapa. A pergunta da carta é essa: como mudar a forma de trabalhar sem esquecer para que o trabalho servia?
Fonte: https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating/