A OpenAI divulgou em São Francisco, na Califórnia, um repositório com 722 manuscritos contendo soluções e avanços para 377 problemas de matemática que estavam em aberto. O material técnico foi desenvolvido por um modelo interno e proprietário de inteligência artificial de fronteira, ferramenta que ainda não teve acesso liberado ao público.

Os documentos técnicos apresentados pela companhia nesta terça-feira (6) cobrem temas complexos como álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia. O conselho consultivo independente com pesquisadores do Instituto de Estudos Avançados de Princeton avaliou a iniciativa em documento oficial e declarou que a divulgação representa “o início, e não a conclusão, do processo de compreensão humana e de incorporação do trabalho ao conhecimento matemático”.

Como o modelo de inteligência artificial da OpenAI construiu as respostas?

Para formular as demonstrações publicadas, a empresa utilizou recursos computacionais intensivos dedicados a percorrer etapas analíticas complexas. Muitas das provas tiveram a consistência formal checada no software de verificação interativa Lean, ferramenta projetada para atestar se cada passo dedutivo segue as regras matemáticas de maneira estrita, embora esse sistema digital não avalie se a linha de raciocínio é conceitualmente inovadora.

Dan Roberts, líder de pesquisa na OpenAI, declarou que a realização dos testes matemáticos foi um subproduto necessário do aprimoramento dos sistemas da empresa, justificando que a equipe precisava submeter os modelos internos a desafios reais de alta dificuldade para desenvolver ferramentas melhores. A companhia complementou que levou em consideração recomendações prévias do conselho de Princeton ao estruturar a forma de tornar esses dados públicos para a análise externa.

Em dez dos 377 casos selecionados, a empresa anexou relatórios complementares que detalham a cadeia de passos lógicos formulada pela inteligência artificial. Os arquivos apontam a sequência exata de deduções adotadas pelo agente computacional para chegar às respostas propostas.

Acompanhe: OpenAI publica 722 manuscritos com avanços em matemática

Dados técnicos da publicação da OpenAI

• 377 problemas matemáticos receberam soluções ou etapas de avanço reivindicadas pela empresa
• 722 manuscritos com artigos técnicos compõem o repositório disponibilizado publicamente
• 10 demonstrações contam com relatórios detalhados descrevendo o encadeamento lógico do sistema
• Cerca de 3 horas foi o tempo médio de processamento computacional consumido para cada resultado
• US$ 1 milhão permanece estipulado pelo Clay Mathematics Institute para quem solucionar cada Problema do Milênio

Reação de matemáticos aos 377 problemas apresentados

A publicação maciça desencadeou ressalvas imediatas entre professores e especialistas acadêmicos. O conselho consultivo de matemática

e inteligência artificial do Instituto de Estudos Avançados já havia expressado preocupação institucional em documento emitido semanas antes a respeito da postura das desenvolvedoras. Melanie Wood, professora de matemática da Universidade Harvard e integrante do grupo, informou que a intenção dos pesquisadores é estabelecer parâmetros claros para que descobertas feitas por laboratórios tecnológicos possam ser compreendidas por seres humanos e realmente contribuam para a evolução científica.

Leia também: OpenAI vê agente de inteligência artificial burlar regras na Austrália

Tristan Buckmaster, matemático da Universidade de Nova York, criticou o volume e a velocidade das publicações corporativas ao pontuar que a empresa pode ter apenas finalizado linhas de investigação que já haviam sido construídas por pesquisadores humanos. Buckmaster declarou: “Provavelmente haverá uma série de resultados em que eles pegam o trabalho de alguém e o levam até o fim”. O professor argumentou também que a disponibilização simultânea de centenas de manuscritos compromete a checagem individualizada: “não acho que eles tenham feito qualquer tipo de análise cuidadosa”.

Kai Shaikh, estudante de pós-graduação em matemática na Universidade de Toronto, no Canadá, analisou a disputa entre a velocidade corporativa e a tradição reflexiva dos matemáticos: “Acho que, no cerne dessa questão, está o fato de que os seres humanos têm duas naturezas conflitantes: uma tendência a competir e uma capacidade de apreciar a beleza”. Shaikh concluiu: “Para mim, esse parece ser um caso em que a primeira tenta sufocar a segunda.”

Cronologia do atrito entre a OpenAI e a comunidade científica em 2026

• 8 de setembro de 2026: OpenAI apresenta solução para variante forçada das equações de Navier-Stokes e recebe contestações de pesquisadores
• 29 de setembro de 2026: Conselho consultivo de Princeton publica recomendações e afirma textualmente que não endossa o uso de problemas abertos como parâmetros internos de IA
• 5 de outubro de 2026: Críticos acadêmicos apontam risco de a IA utilizar pesquisas em andamento sem a devida atribuição aos cientistas
• 6 de outubro de 2026: OpenAI publica pacote de 722 manuscritos abrangendo 377 problemas matemáticos em aberto

Pontos ainda sob apuração da comunidade científica

Enquanto a empresa anuncia as conclusões como resoluções de problemas em aberto, acadêmicos independentes sustentam que parte relevante dos arquivos pode representar apenas avanços intermediários, derivações restritas ou casos particulares que exigem extensa revisão antes de serem categorizados como teoremas válidos.

Até o momento, não há confirmação sobre quantos dos 377 resultados divulgados serão formalmente aceitos e validados como teoremas por meio da revisão por pares conduzida por matemáticos humanos. Também permanece sem confirmação se o modelo interno da OpenAI utilizou, durante seu processo de treinamento, dados e rascunhos de pesquisas submetidos previamente por cientistas em plataformas como ChatGPT ou Codex.

O próximo passo para a validação dos documentos divulgados dependerá do escrutínio dos manuscritos por comitês acadêmicos e periódicos especializados ao longo dos próximos meses.