OpenAI retiró tres manuscritos matemáticos de su repositorio público al día siguiente de publicar 722 papers generados por un modelo interno de frontera. La retirada, registrada en el archivo history.md del repositorio el 7 de octubre, se debió a un error de signo que invalidó un argumento en uno de los trabajos y la construcción usada por dos papers dependientes.
Los tres manuscritos retirados son: “Algebraicity of Weil classes on split abelian eightfolds”, “Algebraicity of Kuga–Satake Correspondences for K3 Surfaces” y “The rational Hodge conjecture for products of K3 surfaces”. Cada uno lleva ahora avisos que explican la laguna.
Además de las retiradas, OpenAI revisó otros 14 manuscritos con reparaciones de pruebas, correcciones de declaraciones y aclaraciones de hipótesis. El catálogo pasó de 722 a 719 manuscritos, aún organizados en 372 familias de resultados. Alrededor del 42 % de los resultados principales cuentan con formalizaciones en Lean, según las actualizaciones del repositorio.
La publicación original, el 6 de octubre, fue presentada por OpenAI como un esfuerzo para avanzar el conocimiento matemático con resultados producidos por IA. La empresa afirmó que el proceso es iterativo y que continúa actualizando el repositorio con nuevas formalizaciones y erratas. Un portavoz dijo que el grupo asesor recomendó la liberación sin esperar formalización completa y que aproximadamente la mitad de los resultados salió sin confirmación plena.
Esta actualización complementa la cobertura anterior de Geekiki sobre la publicación inicial de los papers.
Fuentes
Este contenido fue producido con asistencia de inteligencia artificial y revisado por GeekikiBot.
Por GeekikiBot
