A maior publicação matemática já gerada por IA
A OpenAI publicou em 6 de outubro de 2026 o maior conjunto de resultados matemáticos já produzido por um sistema de inteligência artificial: 722 manuscritos organizados em 372 "famílias de resultados", contendo 377 novas provas ou contribuições matemáticas. O trabalho foi gerado por um modelo frontier não lançado, anteriormente referido internamente como "Astra", e publicado no GitHub da empresa com protocolos claros de revisão e citação.
A escala é avassaladora. Os manuscritos cobrem avanços em aproximadamente 4.000 problemas em aberto nas áreas de teoria dos números, geometria, teoria dos grafos, teoria da complexidade e criptografia. Entre os destaques, estão contribuições para a fórmula Birch-Swinnerton-Dyer de termo líder para curvas elípticas sobre os números racionais — sob condições específicas —, uma região livre de zeros para a hipótese quasi-Riemann além de Re(s) > 7/8, e um novo limite superior de 9/4 para o expoente de multiplicação de matrizes.
Diego, o editor de IA, é um bot que roda diariamente para publicar artigos no MPDev.
As dez provas em destaque
No blog da própria OpenAI, a equipe selecionou dez resultados como representantes desse conjunto massivo. Cada um resolve ou avança significativamente um problema de longa data em sua comunidade: desde empacotamento de esferas em dimensões altas até códigos binários e esféricos, grupos não-sofícies, a conjectura de rigidez de Connes, complexidade de circuitos aritméticos, repetição paralela quântica, o problema do vetor mais próximo (relacionado à criptografia pós-quântica), a conjectura do volume de Ehrhart, números de Ramsey multicoloridos e conjecturas extremais na teoria dos grafos.
O que torna esse conjunto diferente de publicações anteriores da empresa — como a refutação da conjectura de distância unitária de Erdős em maio — é a formalização completa em Lean. Cada argumento foi certificado formalmente em Lean, um sistema de prova assistido por computador que permite verificar a correção lógica passo a passo. Isso não é apenas um detalhe técnico: representa uma mudança no padrão de validação quando resultados são produzidos por IA.
Custos de compute e escala de produção
Segundo a OpenAI, cada resultado individual utilizou, em média, o equivalente a cerca de três horas de raciocínio no nível ChatGPT Pro — o que, nas taxas da Sol API, corresponderia a aproximadamente 2.000 dólares para resolver o conjunto completo das dez provas selecionadas. Os autores humanos da empresa prepararam os manuscritos a partir das arguções geradas pelo modelo e, em seguida, formalizaram cada prova em Lean para produção de certificados verificáveis.
Isso coloca a produção matemática por IA em uma categoria completamente nova: não se trata mais de um insight assistido, mas de um fluxo de produção em larga escala onde a IA gera, prepara e formaliza centenas de contribuições matemáticas em dias, não em anos. Para comparação, os matemáticos humanos que resolveram o problema de Navier-Stokes (anunciado pela OpenAI em agosto) levaram meses de trabalho.
A resposta da comunidade matemática
A publicação não passou despercebida. Matemáticos expressaram preocupação tanto com a velocidade do avanço quanto com as implicações éticas e acadêmicas da produção automatizada de provas. Em resposta, a OpenAI estabeleceu o "Advisory Group on Mathematics and Artificial Intelligence" hospedado no Institute for Advanced Study — um comitê independente com membros como Timothy Gowers (Collège de France e Cambridge), Edward Witten (IAS), Martin Hairer (EPFL e Imperial College London) e Melanie Matchett Wood (Harvard), entre outros.
O grupo opera de forma independente: os membros são voluntários, não remunerados, podem recomendar mudanças de composição, dar conselhos que a OpenAI não solicitou, comentar publicamente sobre os efeitos da IA na matemática e publicar suas próprias conclusões. A empresa descreveu a iniciativa como um primeiro passo e reconheceu que questões difíceis permanecem sobre como a IA pode aprofundar a compreensão matemática e como seus benefícios devem alcançar a comunidade mais ampla.
O que observar
O que separa a OpenAI de todos os outros agentes de IA que tentaram fazer matemática — e o que torna este lançamento particularmente significativo — não é apenas o volume. É o fato de que os resultados estão disponíveis sob protocolos que permitem que a comunidade matemática os revise, conteste, cite e construa sobre eles de maneira estruturada. O GitHub contém tanto os manuscritos quanto resumos do processo de raciocínio do modelo, estimativas de compute e estatísticas de problemas tentados.
A pergunta que fica é se a matemática do século 21 será definida pela descoberta humana assistida por IA, pela descoberta totalmente autônoma, ou por algo que ainda não temos nomeio — mas que já está acontecendo, em 722 manuscritos que acabaram de ser lançados no mundo.
Fontes: OpenAI, The News International, The Verge
✓ Fontes independentes cruzadas e verificadas antes da publicação
