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.
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.
