AI-translated from English; not yet reviewed by a fluent editor. # OpenAI retira três manuscritos de matemática após erro de sinal > A OpenAI retirou três manuscritos de matemática após um erro de sinal. Os avisos identificam a etapa falha da demonstração, preservam PDFs anteriores e não comprovam as alegações. By BIG CHANGE Editorial Published: 2026-10-08T16:17:52.496Z Updated: 2026-10-08T22:15:14.321Z Canonical: https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error ![A plain wall-mounted blackboard bears a single minus sign over a faint, partly erased plus-shaped chalk mark; a small eraser rests on its attached ledge.](https://bigchange.ai/api/media/file/openai-math-sign-correction-hero-v1.png) AI-generated conceptual illustration by BIG CHANGE. The board and marks are symbolic; no real proof, source document, repository, review or theorem validation is depicted. A OpenAI retirou três manuscritos relacionados de sua coleção pública de matemática depois de encontrar um erro de sinal na demonstração do primeiro artigo. O histórico do repositório da empresa [repository history](https://github.com/openai/math/blob/main/history.md)também registra, em uma entrada de 7 de outubro, revisões de outros 14 manuscritos e referências atualizadas em mais 13. Os três avisos de retirada são datados de 6 de outubro. Eles apontam uma lacuna nas demonstrações, não uma refutação das afirmações matemáticas. ## A grande mudança - **O que mudou:** A OpenAI substituiu três manuscritos por avisos de retirada. A empresa diz que um erro de sinal invalidou uma etapa de cancelamento usada no primeiro artigo e uma construção da qual os outros dois dependiam. - **Por que isso importa:** Quem citar ou desenvolver essas alegações específicas agora tem um aviso preciso e uma versão arquivada para examinar. A publicação anterior das demonstrações não basta para considerar os resultados estabelecidos. - **O que acompanhar:** O repositório promete preservar versões anteriores e registrar revisões. Uma análise independente precisa examinar cada afirmação e demonstração corrigida; o histórico de alterações, por si só, não comprova que o restante da coleção é sólido. ## Onde a demonstração parou O primeiro artigo retirado, “ *Algebraicity of Weil classes on split abelian eightfolds*”, alegava estabelecer um resultado de algebricidade em um contexto específico de variedades abelianas. Seu [withdrawal notice](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) explica o problema conforme a convenção própria do artigo para pontos duplos com sinal. A demonstração começou contando `-m`, em que `m` é positivo. Ela atribuiu a cada `m` traço de estabilização reversa o sinal `+1`, fazendo a contagem parecer se cancelar até zero. Agora, a OpenAI diz que cada traço tem sinal `-1` devido às orientações de origem opostas dos dois ramos da cúspide padrão. Nessa explicação, a contagem resulta em `-2m`, e não zero. O teorema de cancelamento invocado nessa etapa exige que a contagem assinada de pontos duplos seja zero. Segundo a OpenAI, portanto, a demonstração não sustenta a cirurgia orientada e a construção de branas embutidas subsequentes, nem estabelece o teorema alegado pelo artigo. O aviso não **afirma que a proposição do teorema** é falsa. Os outros dois avisos atribuem a lacuna a uma adaptação dessa construção. A OpenAI diz que o teorema de algebricidade alegado em [*Algebraicity of Kuga–Satake Correspondences for K3 Surfaces*](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) continua sem demonstração. O aviso de [*The rational Hodge conjecture for products of K3 surfaces*](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) diz o mesmo sobre o teorema do artigo para produtos de superfícies K3 projetivas. Esses são os três manuscritos citados no histórico; os avisos não identificam resultados sem relação na coleção como retirados. Cada aviso liga a um PDF anterior à retirada, na revisão do repositório `adc7f1241b42e322a6451854ab7e4b4c146bf78a`. A BIG CHANGE conferiu os três links dos avisos e os destinos dos PDFs arquivados. Foi uma inspeção de documentos públicos, não uma avaliação matemática dos argumentos nem uma verificação de prova em Lean. ## Uma revisão mais ampla, com conclusões mais restritas Na mesma [October 7 history entry](https://github.com/openai/math/blob/main/history.md)entrada do histórico de 7 de outubro, a OpenAI informa que revisou outros 14 manuscritos. A empresa descreve reparos em demonstrações e mudanças em afirmações, hipóteses e dependências em várias áreas, além da correção de uma citação obsoleta. Segundo a entrada, outros 13 manuscritos receberam referências atualizadas para edições revisadas de trabalhos relacionados. A OpenAI também relata seis formalizações adicionais, elevando a contagem de resultados principais formalizados para 300 de 719, cerca de 42%. Esses números descrevem o relato da OpenAI sobre a atualização do repositório. Eles não medem a solidez dos argumentos revisados nem mostram que todas as afirmações de um manuscrito formalizado foram verificadas. O [README](https://github.com/openai/math) do repositório afirma que a coleção contém trabalhos em diferentes estágios de verificação e alerta que alguns resultados não formalizados podem ter problemas. Durante esta reportagem, não encontramos uma avaliação matemática independente e oportuna desse erro de sinal específico e das demonstrações que dependem dele. A publicação de 6 de outubro tornou pública uma grande coleção de manuscritos produzidos por IA. Nossa [repository inspection](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) anterior explica como fixar uma versão e distinguir um manuscrito de seus artefatos de prova formal; nossa [opinion on research-review capacity](https://bigchange.ai/blog/ai-research-discovery-review-capacity) discute o trabalho necessário para avaliar uma publicação desse tamanho. O novo registro de retirada dá um motivo concreto para preservar essa distinção. Para esses três artigos, a OpenAI identificou a etapa da demonstração que falhou e manteve os PDFs anteriores acessíveis. Se uma prova futura estabelecer alguma dessas afirmações continua sendo uma questão matemática em aberto. ## Fontes e leitura complementar O [repository history](https://github.com/openai/math/blob/main/history.md) da OpenAI registra as três retiradas, as revisões de 14 manuscritos, as atualizações de referências de 13 trabalhos relacionados e a contagem de formalizações na entrada de 7 de outubro de 2026. Os avisos individuais sobre [Weil-class](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md), [ e ](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) and [ explicam as lacunas alegadas, datam as retiradas em 6 de outubro e ligam a PDFs arquivados em uma revisão fixa. São registros da OpenAI: evidência direta do que a empresa divulgou, não uma revisão independente das provas.](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review. O [October 6 announcement](https://openai.com/index/sharing-ai-progress-in-mathematics/) da OpenAI explica o lançamento inicial da coleção e as adições planejadas. A BIG CHANGE examinou o histórico atual, os três avisos e seus links de arquivo em 8 de outubro. Não executamos Lean, não inspecionamos todos os manuscritos revisados e não verificamos a matemática de forma independente. ## Sources - [Histórico do repositório de matemática da OpenAI](https://github.com/openai/math/blob/main/history.md) — Descrição da OpenAI sobre o erro de sinal, as três retiradas, as quatorze revisões, as atualizações de referências relacionadas e as formalizações adicionais. - [Repositório de matemática da OpenAI](https://github.com/openai/math) — Consulte os avisos dos manuscritos afetados, as versões arquivadas e os metadados de revisão; eles estabelecem o estado dos documentos, não a correção matemática. - [Compartilhando o progresso da IA em matemática](https://openai.com/index/sharing-ai-progress-in-mathematics/) — Apenas contexto sobre a coleção inicial; não repita suas alegações amplas como validação.