# OpenAI retira três artigos de matemática após erro em prova

> Em 7 de outubro de 2026, a OpenAI anunciou a retirada de três artigos de geometria algébrica por causa de um erro de sinal que invalidava argumentos centrais.

Oossa · 2026-10-08 · https://oossa.com/pt/openai-pulls-three-math-papers-after-proof-error-discovered

A OpenAI informou que está retirando três artigos de matemática publicados como pré-impressões depois que foi encontrado um erro de sinal em uma prova central. O erro invalida uma etapa de cancelamento do traço de estabilização e também compromete dois artigos posteriores que se basearam nesse resultado. Os manuscritos retirados são:
• Algebraicity of Weil classes on split abelian eightfolds
• Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
• The rational Hodge conjecture for products of K3 surfaces
A OpenAI acrescentou avisos aos artigos e incluiu links para as versões arquivadas, para que os leitores possam identificar a falha.

## O que mais foi atualizado?

Além das retiradas, a OpenAI corrigiu outros 14 manuscritos. As correções tratam de lacunas em provas, esclarecem hipóteses e corrigem citações. Entre os temas abordados estão alturas de Lipschitz, programas de modelos mínimos Kähler e deformações hipersimpléticas. Outros 13 artigos foram atualizados para citar versões revisadas de trabalhos relacionados. A organização também acrescentou seis novas formalizações, elevando para cerca de 42 % (300 de 719) a proporção dos resultados principais verificados formalmente.

## Os fatos

- As retiradas foram anunciadas em 7 de outubro de 2026.
- Três artigos foram retirados porque um erro de sinal invalidou um argumento de cancelamento do traço de estabilização.
- A OpenAI revisou outros 14 manuscritos e atualizou as citações em mais 13.
- Foram acrescentadas seis novas formalizações, elevando para cerca de 42 % a proporção de resultados formalizados.
- Os artigos retirados agora exibem avisos com links para as versões arquivadas.

## Por que importa

Para os matemáticos que acompanham o trabalho da OpenAI em verificação formal, a retirada deixa uma lacuna na literatura que pode afetar pesquisas que citaram esses três resultados. Agora, os leitores podem identificar exatamente onde ocorreu o erro e evitar se basear na prova falha. A comunidade em geral ainda se beneficia dos 14 artigos corrigidos e das novas formalizações, que aumentam a confiabilidade da biblioteca matemática da OpenAI.

## Fontes e referências

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

Última atualização: 2026-10-08