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 historytambé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 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 continua sem demonstração. O aviso de The rational Hodge conjecture for products of K3 surfaces 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 entryentrada 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 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 anterior explica como fixar uma versão e distinguir um manuscrito de seus artefatos de prova formal; nossa opinion on research-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 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, e 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. 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 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.