OpenAI retiró tres manuscritos relacionados de su colección pública de matemáticas tras encontrar un error de signo en la demostración del primero. El historial del repositorio de la empresa, en una entrada del 7 de octubre, también registra revisiones de otros 14 manuscritos y referencias actualizadas en otros 13. Los tres avisos de retirada están fechados el 6 de octubre. Señalan una laguna en las demostraciones, no una refutación de las afirmaciones matemáticas.

El gran cambio

  • Qué cambió: OpenAI sustituyó tres manuscritos por avisos de retirada. Según la empresa, un error de signo invalidó un paso de cancelación usado en el primer artículo y una construcción de la que dependían los otros dos.
  • Por qué importa: Quien cite o utilice estas afirmaciones concretas dispone ahora de un aviso preciso y una versión archivada que puede examinar. Las demostraciones originales no pueden considerarse establecidas solo porque se publicaran.
  • Qué observar: El repositorio se compromete a conservar las versiones anteriores y registrar las revisiones. Una revisión independiente debe examinar cada afirmación y demostración corregida; el registro de cambios, por sí solo, no establece que el resto de la colección sea sólido.

Dónde se detuvo la demostración

El primer artículo retirado, « Algebraicity of Weil classes on split abelian eightfolds», afirmaba demostrar un resultado de algebraicidad en un contexto específico de variedades abelianas. Su aviso de retirada explica el problema según la propia convención de puntos dobles con signo del artículo. La demostración comenzaba contando -m, donde m es positivo. Asignó a cada m traza de estabilización inversa el signo de +1, por lo que el recuento parecía cancelarse hasta cero. OpenAI afirma ahora que cada traza tiene signo -1 debido a las orientaciones de origen opuestas de las dos ramas de la cúspide estándar. Según esa explicación, el recuento pasa a ser -2m, no cero.

El teorema de cancelación aplicado en ese paso exige que el recuento con signo de puntos dobles sea cero. OpenAI dice que, por tanto, la demostración no respalda la construcción posterior de cirugía orientada y branas embebidas ni establece el teorema que reivindicaba el artículo. El aviso no dice que el enunciado del teorema sea falso.

Los otros dos avisos atribuyen la laguna a una adaptación de esa construcción. OpenAI afirma que sigue sin demostrarse el teorema de algebraicidad reivindicado en « Algebraicity of Kuga–Satake Correspondences for K3 Surfaces ». El aviso de « The rational Hodge conjecture for products of K3 surfaces » dice lo mismo del teorema que ese artículo reivindicaba para productos de superficies K3 proyectivas. Son los tres manuscritos que identifica el archivo histórico; los avisos no señalan como retirados otros resultados de la colección sin relación con ellos.

Cada aviso enlaza un PDF anterior a la retirada en la revisión adc7f1241b42e322a6451854ab7e4b4c146bf78a. BIG CHANGE comprobó los tres enlaces de los avisos y sus destinos en los archivos. Fue una inspección de documentos públicos, no una revisión matemática de los argumentos ni una comprobación de pruebas en Lean.

Una revisión más amplia, con conclusiones más acotadas

En la misma entrada del historial del 7 de octubre, OpenAI afirma haber revisado otros 14 manuscritos. Describe reparaciones de demostraciones y cambios en afirmaciones, hipótesis y dependencias en varias áreas, además de corregir una cita obsoleta. Según la entrada, otros 13 manuscritos recibieron referencias actualizadas a ediciones relacionadas revisadas. OpenAI también informa de seis formalizaciones más, lo que eleva el total de resultados principales formalizados a 300 de 719, alrededor del 42 %.

Esas cifras describen la versión de OpenAI sobre la actualización de su repositorio. No miden la solidez de los argumentos revisados ni muestran que se haya comprobado cada afirmación de un manuscrito formalizado. El propio repositorio README señala que la colección contiene trabajos en distintas etapas de verificación y advierte de que algunos resultados no formalizados pueden tener problemas. Durante esta cobertura no encontramos una evaluación matemática independiente y oportuna de este error de signo concreto y de las demostraciones que dependen de él.

La publicación del 6 de octubre puso a disposición del público una gran colección de manuscritos producidos con IA. Nuestra anterior inspección del repositorio explica cómo fijar una versión y distinguir un manuscrito de sus artefactos de prueba formal; nuestra opinión sobre la capacidad de revisión de la investigación analiza el trabajo necesario para evaluar una publicación de esta magnitud. El nuevo registro de retirada ofrece un motivo concreto para mantener esa distinción. En estos tres artículos, OpenAI ha identificado el paso fallido de la demostración y ha mantenido accesibles los PDF anteriores. Sigue siendo una pregunta matemática abierta si una futura demostración establecerá alguna de sus afirmaciones.

Fuentes y lecturas adicionales

El historial del repositorio de OpenAI registra las tres retiradas, 14 revisiones de manuscritos, 13 actualizaciones de referencias a ediciones relacionadas y el recuento de formalizaciones bajo el 7 de octubre de 2026. Los avisos individuales sobre las clases de Weil, Kuga–Satake y Hodge para productos de K3 explican las lagunas alegadas, fechan las retiradas el 6 de octubre y enlazan PDF archivados en una revisión fija. Son registros de OpenAI y prueban directamente qué comunicó la empresa, no que los argumentos hayan pasado una revisión independiente.

El anuncio del 6 de octubre de OpenAI explica la publicación inicial y las incorporaciones previstas. BIG CHANGE examinó el 8 de octubre el historial vigente, los tres avisos y sus enlaces de archivo. No ejecutamos Lean, no inspeccionamos todos los manuscritos revisados ni verificamos las matemáticas de forma independiente.