AI-translated from English; not yet reviewed by a fluent editor. # OpenAI retira três manuscritos matemáticos devido a um erro de sinal > A OpenAI retirou três manuscritos matemáticos devido a um erro de sinal. Os avisos identificam o passo falhado da demonstração, preservam os PDF anteriores e deixam as alegações por provar. 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 da 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](https://github.com/openai/math/blob/main/history.md) da empresa, numa entrada de 7 de outubro, também regista revisões de outros 14 manuscritos e referências atualizadas em mais 13. Os três avisos de retirada têm data de 6 de outubro. Identificam 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 afirma que um erro de sinal invalidou um passo de cancelamento usado no primeiro artigo e uma construção da qual os outros dois dependiam. - **Porque é importante:** Quem citar ou se apoiar nestas alegações específicas dispõe agora de um aviso preciso e de uma versão arquivada para examinar. As demonstrações originais não podem ser consideradas estabelecidas apenas por terem sido divulgadas publicamente. - **O que acompanhar:** O repositório promete preservar versões anteriores e registar revisões. Uma análise independente tem de avaliar cada afirmação e demonstração corrigida; o registo de alterações, por si só, não comprova que o resto da coleção esteja correto. ## Onde a demonstração parou O primeiro artigo retirado, « *Algebraicity of Weil classes on split abelian eightfolds*», alegava estabelecer um resultado de algebraicidade num contexto específico de variedades abelianas. O seu [ aviso de retirada](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) explica o problema segundo a própria convenção de pontos duplos com sinal do artigo. A demonstração começou por contar `-m`, em que `m` é positivo. Atribuiu a cada `m` traço de estabilização inversa o sinal de `+1`, fazendo parecer que a contagem se cancelava até zero. A OpenAI afirma agora que cada traço tem sinal `-1` devido às orientações de origem opostas dos dois ramos da cúspide padrão. Segundo essa explicação, a contagem passa a ser `-2m`, e não zero. O teorema de cancelamento invocado nesse passo exige uma contagem assinada de pontos duplos igual a zero. A OpenAI afirma que, por isso, a demonstração não sustenta a construção posterior de cirurgia orientada e branas embebidas, nem estabelece o teorema reivindicado pelo artigo. O aviso não **afirma** que o enunciado do teorema seja falso. Os outros dois avisos atribuem a lacuna a uma adaptação dessa construção. A OpenAI afirma que o teorema de algebraicidade reivindicado 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 por provar. 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 que esse artigo reivindica para produtos de superfícies K3 projetivas. São os três manuscritos identificados no ficheiro histórico; os avisos não apontam outros 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 verificou as três ligações dos avisos e os respetivos destinos arquivados em PDF. Foi uma análise de documentos públicos, não uma revisão matemática dos argumentos nem uma verificação de provas em Lean. ## Uma revisão mais ampla, com conclusões mais limitadas Na mesma [entrada do histórico de 7 de outubro](https://github.com/openai/math/blob/main/history.md), a OpenAI afirma ter revisto outros 14 manuscritos. Descreve reparações de demonstrações e alterações a afirmações, hipóteses e dependências em várias áreas, além da correção de uma citação obsoleta. Segundo a entrada, mais 13 manuscritos receberam referências atualizadas para edições relacionadas revistas. A OpenAI também comunica mais seis formalizações, elevando o número de resultados principais formalizados para 300 em 719, ou cerca de 42%. Estes números descrevem o relato da OpenAI sobre a atualização do seu repositório. Não medem a solidez dos argumentos revistos nem demonstram que todas as afirmações de um manuscrito formalizado tenham sido verificadas. O próprio repositório [README](https://github.com/openai/math) diz que a coleção contém trabalhos em diferentes fases de verificação e alerta para possíveis problemas em alguns resultados não formalizados. Durante esta reportagem, não encontrámos uma avaliação matemática independente e atempada deste erro de sinal específico e das demonstrações que dele dependem. A publicação de 6 de outubro tornou pública uma grande coleção de manuscritos produzidos por IA. A nossa anterior [análise do repositório](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) explica como fixar uma versão e distinguir um manuscrito dos seus artefactos de prova formal; a nossa [opinião sobre a capacidade de revisão da investigação](https://bigchange.ai/blog/ai-research-discovery-review-capacity) aborda o trabalho necessário para avaliar uma publicação desta dimensão. O novo registo de retirada dá uma razão concreta para preservar essa distinção. Nestes três artigos, a OpenAI identificou o passo da demonstração que falhou e manteve acessíveis os PDF anteriores. Continua em aberto, como questão matemática, se uma futura demonstração estabelecerá alguma das afirmações. ## Fontes e leitura adicional O [histórico do repositório](https://github.com/openai/math/blob/main/history.md) da OpenAI regista, sob 7 de outubro de 2026, as três retiradas, 14 revisões de manuscritos, 13 atualizações de referências a edições relacionadas e a contagem de formalizações. Os avisos individuais sobre as classes de [Weil](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md), [Kuga–Satake](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) e [Hodge para produtos de K3](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) explicam as lacunas alegadas, datam as retiradas de 6 de outubro e ligam a PDF arquivados numa revisão fixa. São registos da OpenAI e prova direta do que a empresa divulgou, não uma revisão independente das demonstrações. O [anúncio de 6 de outubro](https://openai.com/index/sharing-ai-progress-in-mathematics/) da OpenAI explica a divulgação pública inicial e os acrescentos previstos. A BIG CHANGE examinou, em 8 de outubro, o histórico atual, os três avisos e as ligações para o arquivo. Não executámos Lean, não inspecionámos todos os manuscritos revistos nem verificámos a matemática de forma independente. ## Sources - [Histórico do repositório matemático da OpenAI](https://github.com/openai/math/blob/main/history.md) — Descrição da OpenAI do erro de sinal, das três retiradas, das 14 revisões, das atualizações de referências relacionadas e das formalizações adicionais. - [Repositório matemático da OpenAI](https://github.com/openai/math) — Consulte os avisos dos manuscritos afetados, as versões arquivadas e os metadados das revisões; estes estabelecem o estado dos artefactos, não a sua correção independente. - [Partilhar o progresso da IA na matemática](https://openai.com/index/sharing-ai-progress-in-mathematics/) — Apenas contexto para a coleção inicial; não repetir as suas afirmações gerais como validação.