OpenAI anunció que retirará tres artículos matemáticos preliminares tras detectar un error de signo en una prueba fundamental. El error invalida un paso de cancelación de la traza de estabilización y también debilita dos artículos posteriores basados en ese resultado. Los manuscritos retirados son: • 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 OpenAI añadió avisos a los artículos y enlazó las versiones archivadas para que los lectores puedan ver el fallo.
¿Qué más se actualizó?
Además de las retiradas, OpenAI corrigió otros 14 manuscritos. Los cambios subsanan lagunas en las pruebas, aclaran hipótesis y corrigen citas. Entre los temas abordados figuran las alturas de Lipschitz, los programas de modelos mínimos de Kähler y las deformaciones hipersimplécticas. También se actualizaron otros 13 artículos para citar las versiones revisadas de trabajos relacionados. La organización añadió además seis nuevas formalizaciones, con lo que la proporción de resultados principales verificados formalmente asciende a cerca del 42 % (300 de 719).
Por qué importa
Para los matemáticos que siguen el trabajo de OpenAI en verificación formal, la retirada deja una laguna en la literatura que podría afectar a investigaciones que citaron esos tres resultados. Ahora los lectores pueden ver exactamente dónde se produjo el error y evitar basarse en una prueba defectuosa. La comunidad en general también se beneficia de los 14 artículos corregidos y las nuevas formalizaciones, que mejoran la fiabilidad de la biblioteca matemática de OpenAI.
