A OpenAI disponibilizou publicamente um acervo com 377 soluções e avanços matemáticos inéditos obtidos por um modelo interno de inteligência artificial de fronteira. A publicação ocorreu na terça-feira (6), a partir de São Francisco, nos Estados Unidos, reunindo centenas de manuscritos técnicos em diversas áreas da disciplina.

O lote de descobertas alcançou tópicos de álgebra, teoria dos números e um avanço teórico relacionado à hipótese formulada por Bernhard Riemann em 1859 sobre a distribuição dos números primos. O matemático Joshua Zelinsky analisou três demonstrações do conjunto e afirmou que o sistema não apenas repetiu métodos conhecidos, declarando que o modelo atuou “inventando técnicas novas por conta própria”.

Quais foram os números da produção matemática da OpenAI?

O processamento automatizado demandou tempo contínuo de computação para avaliar milhares de enunciados teóricos antes da consolidação final dos documentos divulgados no repositório openai/math.

• 377 problemas e resultados matemáticos inéditos solucionados pelo modelo
• 722 manuscritos técnicos disponibilizados no repositório público
• 372 famílias de resultados matemáticos catalogadas pela empresa
• 4.000 problemas matemáticos submetidos à avaliação do sistema
• 3 horas gastas em média de processamento e raciocínio por resultado
• 81% de presença no topo das maiores descobertas recentes em ranqueamentos de inteligência artificial

A formulação de hipóteses e a resolução de teoremas complexos tradicionalmente exigem décadas de dedicação de pesquisadores nas universidades. Em 1993, por exemplo, o matemático britânico Andrew Wiles apresentou a demonstração do Último Teorema de Fermat, encerrando um impasse histórico que mobilizou gerações de especialistas por mais de três séculos. O volume divulgado pela OpenAI altera esse padrão de trabalho ao transferir o esforço criativo inicial de busca de caminhos para a máquina, o que gerou repercussões sobre uma possível mudança na rotina profissional de cientistas e professores.

Validação formal com o verificador Lean

Parte expressiva dos manuscritos apresentados pela empresa foi acompanhada de certificados formais na linguagem de programação Lean, um verificador capaz de checar por computador a coerência lógica de cada dedução. A ferramenta foi cocriada pelo cientista da computação brasileiro Leonardo de Moura e tem sido adotada pela comunidade acadêmica para mitigar falhas e formalizar argumentos analíticos complexos.

Veja também: OpenAI publica 722 manuscritos com avanços em matemática

Com esse sistema de conferência lógica automatizada, o modelo de inteligência artificial pôde iterar hipóteses e corrigir passos dedutivos de maneira sucessiva até alcançar a estrutura correta de cada prova. As consequências práticas da teoria dos números abrangem a criptografia de senhas e a segurança de transações financeiras na internet, enquanto outros tópicos matemáticos do pacote têm relação com a pesquisa sobre fusão nuclear e o aprimoramento de algoritmos de otimização aplicados a logística.

Confira também: OpenAI cria anúncios visuais na geração de imagens do ChatGPT

Linha do tempo das divulgações e controvérsias recentes

A publicação do pacote de manuscritos ocorre em sequência a outros anúncios recentes envolvendo a aplicação de modelos computacionais em temas teóricos da matemática internacional.

• 1859: Bernhard Riemann formula a hipótese matemática sobre a distribuição dos números primos
• 8 de setembro de 2026: OpenAI divulga avanço sobre as equações de Navier-Stokes, um dos Problemas do Milênio
• 6 de outubro de 2026: OpenAI publica repositório oficial com centenas de manuscritos e certificados formais
• 7 de outubro de 2026: veículos de imprensa iniciam a repercussão do lote de 377 descobertas matemáticas
• 8 de outubro de 2026: publicação de análise de Henrique Gomes abordando a mudança no papel dos matemáticos

O anúncio deste mês ocorreu após atritos registrados em setembro de 2026, quando o professor Tristan Buckmaster, da New York University, questionou a conduta da OpenAI na divulgação de um trabalho sobre as equações de Navier-Stokes. Esse problema integra os Problemas do Milênio, cujo Clay Mathematics Institute oferece um prêmio de US$ 1 milhão para cada solução comprovada. Na ocasião, o docente alegou que a empresa acelerou sua publicação com base em discussões que envolviam um pesquisador da Anthropic, Levent Alpöge.

A conferência independente da totalidade dos 377 artigos ainda não foi concluída pela comunidade de matemáticos externos, etapa que costuma levar meses de análise entre pares para validação integral de cada demonstração.