Notícia
outubro 8, 2026
A ofensiva matemática da OpenAI faz matemáticos perguntarem quem define o progresso
A OpenAI e seus apoiadores veem uma nova e rápida rota para a descoberta científica, enquanto muitos matemáticos acolhem os resultados apenas se puderem ser verificados, compreendidos e desenvolvidos fora de uma corrida corporativa por manchetes. A disputa não é sobre se o resultado é impressionante, mas sobre como deveria ser um progresso matemático responsável.
A mais recente ruptura ocorre após a alegação anterior da OpenAI de ter resolvido o problema de Navier-Stokes, um desafio do Prêmio Millennium. Esse anúncio gerou acusações de que a empresa havia avançado à frente das normas acadêmicas e pode ter se beneficiado de trabalhos em andamento de pesquisadores — uma alegação que a OpenAI negou. O episódio deixou um campo baseado em escrutínio lento desconfiado de um agente externo bem financiado movendo-se à velocidade do Vale do Silício.1
Em setembro, o recém-formado Grupo Consultivo sobre Matemática e Inteligência Artificial (AGMAI) instou laboratórios de IA a divulgar descobertas prontamente por meio de canais estabelecidos, revelar modelos, prompts e custos computacionais, e evitar transformar divulgações de pesquisa em marketing. Seu alerta foi direto: as empresas deveriam “abster-se de tratar a divulgação de resultados matemáticos como veículos de marketing”.2
Então, na terça-feira, a OpenAI divulgou 722 manuscritos abrangendo 372 famílias de resultados, afirmando que um modelo de fronteira interno havia produzido o trabalho. A empresa disse ter se baseado nas recomendações da AGMAI; o presidente da OpenAI, Greg Brockman, apresentou o esforço como um movimento “rumo à aceleração da descoberta científica e à melhoria da qualidade de vida para todos”.
3
A escala impressionou até os céticos. Um relato sobre a divulgação afirmou que ela demonstrava que os avanços da IA provavelmente se espalharão para novos campos especializados, assim como as ferramentas de programação já fizeram. Ainda assim, Stephen Wolfram ofereceu o contraponto: “Você pode produzir facilmente um trilhão de teoremas. O problema é que a maioria desses teoremas não será de interesse para ninguém.”4
A verificação é agora o teste imediato. Até quinta-feira, a OpenAI havia retirado soluções para pelo menos três problemas após aparentes erros, enquanto apenas algumas provas haviam sido formalizadas para verificação por máquina.1 Críticos dizem que a divulgação ainda fica aquém do padrão da AGMAI de assegurar compreensão humana: apenas 10 dos 719 manuscritos incluíam o raciocínio do modelo, e 42% deles, segundo relatos, não haviam passado por formalização.5
Para os defensores, a prova formal automatizada poderia liberar matemáticos para buscar novos conceitos. Para os críticos, o trabalho difícil começa depois que a resposta do modelo chega: transformar uma prova alegada em conhecimento no qual a disciplina mais ampla possa confiar, ensinar e desenvolver.