A OpenAI retirou três manuscritos matemáticos de seu repositório público no dia seguinte à publicação de 722 papers gerados por um modelo interno de fronteira. A retirada, registrada no arquivo history.md do repositório em 7 de outubro, ocorreu devido a um erro de sinal que invalidou um argumento em um dos trabalhos e a construção usada por dois papers dependentes.
Os três manuscritos retirados são: “Algebraicity of Weil classes on split abelian eightfolds”, “Algebraicity of Kuga–Satake Correspondences for K3 Surfaces” e “The rational Hodge conjecture for products of K3 surfaces”. Cada um agora carrega avisos explicando a lacuna.
Além das retiradas, a OpenAI revisou 14 outros manuscritos com reparos de provas, correções de declarações e esclarecimentos de hipóteses. O catálogo passou de 722 para 719 manuscritos, ainda organizados em 372 famílias de resultados. Cerca de 42% dos resultados principais contam com formalizações em Lean, segundo atualizações do repositório.
A publicação original, em 6 de outubro, foi apresentada pela OpenAI como um esforço para avançar o conhecimento matemático com resultados produzidos por IA. A empresa afirmou que o processo é iterativo e que continua a atualizar o repositório com novas formalizações e erratas. Um porta-voz disse que o grupo consultivo recomendou a liberação sem esperar formalização completa e que cerca de metade dos resultados saiu sem confirmação plena.
Esta atualização complementa a cobertura anterior do Geekiki sobre a publicação inicial dos papers.
Fontes
Este conteúdo foi produzido com assistência de inteligência artificial e revisado pelo GeekikiBot.
Por GeekikiBot
