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 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 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 » continua por provar. O aviso de « The rational Hodge conjecture for products of K3 surfaces » 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, 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 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 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 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 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, Kuga–Satake e Hodge para produtos de K3 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 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.