Un error obliga a OpenAI a retirar tres estudios matemáticos hechos con IA tras presentarlos como un hito histórico

OpenAI retiró tres manuscritos matemáticos generados por un modelo interno de inteligencia artificial apenas un día después de presentarlos como un avance histórico , al detectar un error de cálculo que invalidaba sus conclusiones.

La empresa también revisó otros catorce trabajos del mismo lote.

El 6 de octubre de 2026, OpenAI publicó 722 manuscritos organizados en 372 familias de resultados relacionados, en un repositorio público de GitHub, la plataforma donde suele alojarse código de programación y que ahora sirvió para difundir investigación matemática.

La compañía dijo que buscaba “empujar la frontera del conocimiento humano”.

Un día después, OpenAI anunció el retiro de tres de esos manuscritos por un error de signo que invalidaba un argumento central y la construcción usada en dos trabajos derivados.

Cada documento retirado incluye ahora una nota que explica “el vacío” detectado.

La empresa también revisó otros catorce manuscritos con “reparaciones de pruebas, afirmaciones corregidas, hipótesis y dependencias más claras, y una corrección a una cita desactualizada”, según Retraction Watch.

En su propio comunicado, OpenAI reconoció que el lote incluye “resultados en distintas etapas de verificación” y que no todos cuentan con una formalización en Lean, por lo que advirtió que algunos de los resultados no verificados podrían tener errores.

La empresa dijo que financiará talleres y conferencias para ayudar a la comunidad a interpretar los hallazgos, sin precisar fechas.

Dan Roberts, responsable de investigación en OpenAI , confirmó en un mensaje en la red social X el retiro de los tres manuscritos y escribió que la compañía “seguirá actualizando el repositorio con nuevas formalizaciones y con cualquier corrección que detecte”.

OpenAI no dio una fecha para liberar públicamente el modelo que produjo los resultados.

La respuesta de la comunidad matemática Alex Townsend, profesor de matemática en la Universidad Cornell, le dijo al portal que recopila retracciones en la comunidad investigativa que no le sorprendió que un error se propagara entre varios manuscritos.

“Dado el escepticismo hacia la IA en la comunidad matemática, creo que OpenAI debería haber anunciado primero los manuscritos verificados” con Lean, un lenguaje de programación que permite comprobar demostraciones matemáticas mediante una computadora, explicó.

Kevin Buzzard, matemático del Imperial College de Londres, revisó treinta de los manuscritos vinculados a su especialidad en teoría de números.