Os 722 trabalhos matemáticos gerados por IA do OpenAI dividem matemáticos entre admiração e alarme

O que OpenAI publicou e quando

Em 6 de outubro de 2026, OpenAI postou 722 manuscritos no GitHub, agrupados em 372 famílias de resultados relacionados, todos produzidos por um modelo interno que a empresa não lançou publicamente, de acordo com xenospectrum.com e o boletim focado em IA Latent.space. A empresa disse que o modelo foi solto em aproximadamente 4.000 problemas matemáticos, com o resultado aceito médio custando o equivalente computacional de aproximadamente três horas do tempo de raciocínio do ChatGPT Pro, informou Latent.space.

Um manuscrito aborda o que os pesquisadores estão chamando de 'Quase-Hipótese de Riemann': uma alegação de que não existem zeros de certas funções L de Dirichlet onde a parte real excede 7/8. Xenospectrum.com observou que isso não resolve a hipótese de Riemann real, que diz respeito a zeros em parte real exatamente 1/2 e permanece um problema do Prêmio do Milênio do Instituto Clay de Matemática não resolvido.

Elogio e alarme entre os matemáticos

As reações se dividiram nitidamente. O matemático Levent Alpöge, descrito por Latent.space como afiliado à Anthropic, chamou o lançamento de 'obviamente o momento mais significativo na história da matemática'. The Conversation reportou que outros matemáticos ficaram muito menos impressionados: um revisor descartou parte do lote como uma 'pilha gigante de lixo despejada em nossa porta', e um matemático sênior disse que um artigo era tão ininteligível que teria ido direto para a lixeira se tivesse sido submetido a uma revista da forma ordinária.

The Conversation também reportou que o próprio ChatGPT sinalizou pelo menos um dos resultados no lote como uma 'alucinação séria', e que vários artigos foram posteriormente retratados ou emendados depois que erros foram encontrados.

A lacuna de verificação

Os relatos sobre quanto do lançamento foi realmente verificado por máquina diferem. Xenospectrum.com, rastreando o próprio catálogo de formalização do OpenAI a partir de 7 de outubro, contou 162 dos 722 manuscritos — aproximadamente 22,4 por cento — com resultados formalizados na linguagem de verificação de prova Lean. The Conversation, por outro lado, informou que OpenAI formalizou 300 resultados principais usando software tipo Lean. Xenospectrum.com acrescentou que mesmo uma formalização Lean completa apenas confirma os passos lógicos de uma prova, não que cada alegação explicativa em um artigo tenha sido verificada independentemente.

Tech-insider.org informou que um grupo consultivo envolvendo o Medalhista de Fields Terence Tao foi criado para ajudar a gerenciar como os resultados do OpenAI chegam ao público, mas que o papel do grupo era explicitamente aconselhar sobre lançamento, não verificar independentemente que os resultados estejam corretos. A mesma saída citou uma alegação de setembro de que o modelo do OpenAI, usando aproximadamente 10.000 agentes de IA trabalhando por cerca de 88 horas, tinha produzido uma prova relacionada ao problema de existência e suavidade de Navier-Stokes — outro problema do Prêmio do Milênio — que o Instituto Clay de Matemática ainda lista como ativo em vez de resolvido, o que significa que nenhuma verificação independente foi concluída.

O que os matemáticos ainda contestam

Além da correção, tech-insider.org informou preocupação de que a abordagem de publicar primeiro, verificar depois do OpenAI inverte como a matemática funcionou tradicionalmente, deslocando o ônus da revisão por pares lenta e adversária para uma comunidade matemática que já está sobrecarregada. The Conversation informou desconforto adicional sobre suposto uso indevido de dados vinculado à anterior alegação de Navier-Stokes, levantada pelos matemáticos Tristan Buckmaster e Levent Alpöge — alegações que OpenAI negou — bem como ansiedade mais ampla no campo sobre pesquisa sendo 'adiantada' por sistemas de IA e sobre o que o crescimento de tais ferramentas significa para a matemática como carreira.