OpenAI registró el 7 de octubre de 2026 la retirada de tres manuscritos matemáticos tras un error de signo que invalidó un argumento y una construcción utilizada en dos trabajos dependientes. La corrección se produjo un día después de que la empresa anunciara, el 6 de octubre, la publicación de resultados matemáticos generados por un modelo interno.

OpenAI retiró tres manuscritos tras un error

Según la historia del repositorio de OpenAI, el error de signo invalidó un argumento de cancelación de traza de estabilización y una construcción empleada en dos manuscritos dependientes. La actualización también registró correcciones en otros 14 manuscritos y cambios en las referencias de 13 más.

La retirada forma parte de las primeras correcciones registradas tras la publicación. OpenAI había anunciado el 6 de octubre que los resultados procedían de un modelo interno de frontera y los había publicado junto con artefactos de prueba. La evaluación, según la presentación de OpenAI, planteó unos 4.000 problemas abiertos.

Qué contiene el repositorio matemático de OpenAI

El repositorio de OpenAI reúne actualmente 719 manuscritos organizados en 372 familias. Una familia agrupa trabajos relacionados: puede incluir un resultado principal, argumentos complementarios, consecuencias o demostraciones alternativas. Por eso, las 372 familias y los 719 manuscritos son recuentos de unidades distintas.

Qué significa formalizar resultados en Lean

OpenAI informa de que 300 de los 719 resultados principales —aproximadamente el 42 %— tienen formalizaciones en Lean. Lean es un asistente de pruebas que permite comprobar mediante software los pasos de una demostración expresada formalmente.

Una formalización es una forma de revisión computacional de una prueba concreta; no equivale a una evaluación general de la importancia matemática de un resultado. OpenAI señala que la colección se encuentra en distintos estados de verificación, que no todos los resultados tienen formalizaciones en Lean y que algunos de los no formalizados podrían contener problemas.