OpenAI retracta 3 papers de matemáticas por un error de signo

Tres papers retractados. Catorce corregidos. Un solo error de signo. Todo en el mismo día.

Eso es lo que OpenAI publicó el 7 de octubre en el "history.md" de su repositorio público de matemáticas: la admisión de que un error en una prueba obligó a retirar tres artículos científicos completos, y de que catorce trabajos más tuvieron que repararse porque dependían de esa cadena rota.

El detalle técnico es casi una broma: en un paper sobre clases de Weil había un signo mal puesto que invalidó un argumento clave de cancelación. Como fichas de dominó, los dos papers construidos encima se cayeron con él.

¿Qué retractó OpenAI exactamente?

Los tres artículos retirados trabajan en geometría algebraica avanzada:

• "Algebraicity of Weil classes on split abelian eightfolds" — el paper donde estaba el error de signo original
• "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces"
• "The rational Hodge conjecture for products of K3 surfaces"

Los tres llevan ahora un aviso que explica la brecha y enlaza al manuscrito archivado. Además, OpenAI detalló 14 manuscritos corregidos: argumentos reparados, hipótesis aclaradas, dependencias reescritas, y una cita obsoleta eliminada.

Y 13 papers más se actualizaron solo para citar las versiones corregidas de sus compañeros. En total: 30 documentos tocados en una sola pasada de limpieza.

El problema de fondo: nadie puede verificarlo

Aquí está la verdad incómoda. OpenAI viene publicando más de 700 manuscritos matemáticos — 719 resultados de línea principal según sus propios números, de los cuales 300 (~42%) están formalizados en un asistente de pruebas como Lean.

Eso significa que en teoría una máquina puede verificar cada paso lógico. Pero la comunidad matemática humana lee los preprints y se topa con paredes. Un matemático lo dijo sin filtros en los comentarios del blog de Scott Aaronson: "Mi primera mirada a los preprints es decepcionante: ilegibles. No conozco Lean, así que no voy a verificar las pruebas formalizadas."

Traducción: si no confías ciegamente en la máquina, no tienes manera práctica de saber si el resultado es verdad o humo.

El contexto que nadie te cuenta

Antes de esto, OpenAI ya había tenido que retractar un supuesto "avance matemático" de GPT-5 tras el escándalo, incluyendo un tweet borrado de un investigador propio que prometía un resultado que nunca existió. Fueron titulares durante días: "OpenAI retracts false GPT-5 math breakthrough claim after backlash."

La matemática no funciona por volumen. Funciona por consenso lento: alguien publica, la comunidad revisa durante meses o años, y solo entonces un teorema se vuelve verdad en el sentido práctico. OpenAI está saltándose ese paso por completo y llamando "resuelto" a lo que apenas acaba de salir de la máquina.

Y sí, hay quien defiende el modelo: los resultados son verificables en principio, el tsunami de pruebas va a llegar de todos modos, y formalizar es mejor que no hacerlo. Pero cuando el propio sistema admite que un signo mal puesto tumbó tres pruebas, la pregunta deja de ser filosófica: ¿cuántos errores más siguen escondidos en los 719?

Lo que esto significa para Latinoamérica

En nuestras universidades, un investigador de posgrado no tiene un cluster de cómputo a demanda para verificar resultados. Lee los papers, confía en ellos y construye encima.

Si esos papers cambian sin aviso —como acaba de pasar—, el trabajo del investigador latinoamericano queda colgado de un hilo. La IA reduce el costo de producir matemáticas, pero no el costo de verificarlas. Y ese costo lo terminan pagando los que tienen menos recursos.

La lección

Que una IA escriba una prueba bonita no es lo mismo que una prueba verdadera. Los 30 documentos que OpenAI tuvo que tocar son la prueba —irónicamente— de que la prisa es el peor enemigo de las matemáticas.

La próxima vez que veas un titular de "IA resuelve un problema del millón de dólares", pregúntate dos cosas: ¿quién lo verificó?, ¿y qué pasa si mañana descubren que había un signo mal puesto?

Comparte esto con alguien que todavía cree que la IA ya superó a los matemáticos. No lo ha hecho: ayer le retractaron tres papers.