Cómo la IA de OpenAI mistradujó su propia demostración matemática de Navier-Stokes al código

Lo que OpenAI anunció

OpenAI anunció el 8 de septiembre de 2026 que un sistema multi-agente interno había producido una demostración dirigida al problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio con un premio de 1 millón de dólares del Instituto de Matemáticas Clay, según el sitio implicator.ai que rastrea IA. La empresa reportó que aproximadamente 10.000 agentes trabajaron durante 88 horas comenzando el 28 de agosto, generando 2,7 millones de mensajes de agentes y aproximadamente 130 mil millones de tokens de salida, antes de que un modelo separado, descrito como GPT-6 Astra, pasara 17 horas más verificando formalmente el argumento en el lenguaje de prueba Lean.

El resultado fue un manuscrito en lenguaje natural titulado «Explosión en tiempo finito para Navier-Stokes», acompañado por un proyecto Lean destinado a permitir que las computadoras verifiquen cada paso lógico, según implicator.ai y el artículo arXiv que posteriormente analizó el trabajo.

Los hallazgos de error de traducción

Un artículo publicado en el servidor de preprints arXiv, titulado «Navier-Stokes Perdido en la Traducción» y escrito por los matemáticos Alexander Bastounis, Fabian Circelli y Anders C. Hansen, examinó si el código Lean de OpenAI realmente coincide con el argumento matemático en el documento en lenguaje natural. Los autores distinguen entre una prueba Lean que simplemente se compila y una que es semánticamente fiel al razonamiento original, argumentando que la segunda es mucho más difícil de garantizar que la primera.

El artículo enumera desajustes concretos. En un caso, el Lema 8.6 del documento en lenguaje natural requiere acotar derivadas usando cuatro órdenes adicionales de entrada, escrito m+4, pero el teorema Lean coincidente requiere en su lugar cinco órdenes adicionales, m+5 — una condición más fuerte que la que afirma el documento. En otro, la ecuación 10.19 del manuscrito acota un término de flujo de presión usando solo una variable, llamada B_R, mientras que la versión Lean del mismo límite también depende de una segunda variable, A_R, derivada de una técnica matemática diferente.

Los autores concluyen que un archivo Lean que se compila exitosamente solo muestra que existe alguna demostración correcta para el teorema establecido, no que sea la misma demostración descrita en palabras. Escriben que el código Lean de OpenAI frecuentemente impone condiciones más fuertes en los límites de varias funciones que los resultados correspondientes en el documento en lenguaje natural, y recomiendan que las formalizaciones de Navier-Stokes y ecuaciones de Euler relacionadas de OpenAI se sometan a la misma revisión por pares que reciben las pruebas tradicionales antes de ser confiables.

Una disputa separada: ¿qué problema fue resuelto?

Independientemente de la cuestión de la traducción, varios matemáticos disputaron si OpenAI resolvió la versión de Navier-Stokes que más preocupa a los investigadores. La declaración oficial del problema 2000 del Instituto Clay, escrita por Charles Fefferman, incluye una opción etiquetada C que permite un término de forzamiento externo suave, mientras que la mayoría de los matemáticos se han enfocado en el caso sin forzamiento, informó Scientific American.

La demostración de OpenAI se dirige a la opción C. Luis Silvestre de la Universidad de Chicago y colegas publicaron un artículo argumentando que el mecanismo de explosión de OpenAI no puede funcionar una vez que se elimina la fuerza externa, informó Scientific American.

Parte de un patrón más amplio de escrutinio

El escrutinio de los reclamos matemáticos de OpenAI no es nuevo. En octubre de 2025, el entonces vicepresidente de OpenAI Kevin Weil dijo que GPT-5 había resuelto diez problemas de Erdős previamente sin resolver e hizo progreso en once más; matemáticos incluyendo Thomas Bloom dijeron que los resultados ya existían en la literatura publicada, y Weil retiró el mensaje, informó TechCrunch. Cuando OpenAI anunció en mayo de 2026 que un modelo de razonamiento había refutado una conjetura de geometría de Erdős que data de 1946, publicó declaraciones de apoyo de matemáticos Noga Alon, Melanie Wood y Thomas Bloom — el mismo Bloom que había señalado el error anterior — junto con el reclamo, informó TechCrunch.

El 7 de octubre de 2026, OpenAI publicó 372 resultados matemáticos generados por IA en GitHub, cada uno destinado a resolver un problema abierto o hacer un progreso sustancial hacia uno, la mayoría producida a partir de un único mensaje a un modelo interno a un costo de aproximadamente tres horas de tiempo de computación de ChatGPT Pro cada uno, informó the-decoder. Veinticinco ganadores de la Medalla Fields firmaron una carta abierta advirtiendo que la producción masiva de enunciados matemáticos verdaderos corría el riesgo de dañar el campo en lugar de avanzarlo, según el mismo informe, que señaló que la mayoría de los resultados no habían pasado por la revisión por pares estándar.

Dónde está el reclamo ahora

El Instituto de Matemáticas Clay aún enumeraba Navier-Stokes entre sus Problemas del Milenio sin resolver, informó implicator.ai. El presidente del Instituto Martin Bridson dijo que el anuncio fue emocionante pero que cualquier evaluación formal sería sin prisa y rigurosa.