/OpenAI afirma haber resuelto el Problema del Milenio de Navier-Stokes
El 8 de septiembre de 2026, investigadores de OpenAI publicaron un manuscrito matemático en el que afirman haber resuelto uno de los siete Problemas del Milenio del Instituto Clay de Matemáticas: la cuestión de la existencia y suavidad de las ecuaciones de Navier-Stokes, el modelo matemático que describe el movimiento de los fluidos. Aquí te contamos qué demostraron, cómo lo hicieron y por qué el anuncio está envuelto en una polémica.
¿Qué es el Problema del Milenio de Navier-Stokes?
Las ecuaciones de Navier-Stokes son la piedra angular de la física de fluidos. Formuladas en el siglo XIX, describen matemáticamente cómo se mueven los fluidos incompresibles reales (agua, aire, sangre), considerando densidad, presión y viscosidad.
En el año 2000, el Instituto Clay de Matemáticas incluyó estas ecuaciones entre sus siete Problemas del Milenio, con un premio de 1 millón de dólares por su resolución. La descripción oficial del problema, escrita por Charles Fefferman, plantea lo esencial:
> Dado un fluido incompresible en tres dimensiones con condiciones iniciales suaves y energía cinética acotada, ¿las ecuaciones garantizan que el flujo permanecerá siempre suave, o es posible que en un tiempo finito la velocidad se vuelva infinita (una singularidad o blowup)?
El problema admite dos vías de resolución: demostrar la regularidad global (casos A y B), o construir un contraejemplo de singularidad (casos C y D). OpenAI afirma haber resuelto esta segunda vía.
La solución propuesta por OpenAI
El anuncio oficial de OpenAI sostiene que su sistema demostró los casos C y D: la existencia de un blowup en tiempo finito bajo una fuerza externa suave, partiendo del reposo.
Metodología: un enjambre de 10.000 agentes de IA
Para construir la compleja demostración analítica, OpenAI empleó un modelo interno de razonamiento de frontera, más avanzado que su modelo público GPT-6 Astra, coordinado en un enjambre de 10.000 agentes autónomos que trabajaron en paralelo:
- 88 horas de cómputo hasta alcanzar la resolución (el 5 de septiembre).
- ~130.000 millones de tokens de salida (2,7 millones de mensajes entre agentes) dedicados al problema de Navier-Stokes.
- Verificación formal en Lean completada en 17 horas adicionales.
- Mínima intervención humana directa: la generación del razonamiento matemático fue guiada autónomamente por los sistemas multiagente.
El paper completo está disponible en este PDF y la prueba formalizada en Lean en GitHub.
La mecánica del vórtice y el colapso
El contraejemplo se basa en la construcción geométrica de un vórtice concentrado:
1. El fluido parte del reposo y se le aplica una fuerza externa infinitamente suave y de soporte compacto. 2. La fuerza genera un filamento de vórtice en forma de "columna de espagueti": a medida que se acerca al tiempo crítico (t = 1), el radio del núcleo se reduce mucho más rápido que el estiramiento axial. 3. En el núcleo, el fluido espirala hacia adentro; por incompresibilidad, ese flujo radial fuerza una evacuación de alta velocidad a lo largo del eje vertical. 4. Al acercarse al eje, el fluido conserva su momento angular y acelera drásticamente la rotación (spin-up). 5. Para evitar que la viscosidad frene la aceleración, se introducen pulsos oscilatorios localizados que extraen energía de la cizalladura del fondo y cancelan los errores analíticos. 6. En el instante crítico, la velocidad puntual tiende a infinito, pero como la región de alta velocidad se comprime a un espacio infinitesimal, la energía cinética total permanece finita.
Implicaciones físicas y teóricas
- Ruptura de la hipótesis del medio continuo: Navier-Stokes trata al fluido como un continuo matemático, pero un fluido real está hecho de moléculas. La prueba muestra que las ecuaciones contienen matemáticamente el límite de su propia aplicabilidad: son una teoría efectiva.
- Límites de la disipación viscosa: durante décadas se debatió si la viscosidad positiva siempre impedía singularidades. El resultado prueba que la transferencia inercial no lineal puede superar la disipación bajo geometrías extremas.
- Sin impacto en la ingeniería práctica: las simulaciones numéricas usan mallas finitas y pasos discretos, por lo que nunca alcanzan las escalas infinitesimales donde ocurre la singularidad.
El cimiento humano: Diego Córdoba y Luis Martínez-Zoroa
Aunque OpenAI produjo la prueba, la comunidad reconoce que la idea conceptual no nació de un modelo de lenguaje, sino del programa inductivo multiescala ideado por los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa, quienes lo desarrollaron previamente en las ecuaciones de medios porosos incompresibles (IPM). Su trabajo fundacional está en arXiv. El matemático Tristan Buckmaster llegó a declarar que Martínez-Zoroa es merecedor de la Medalla Fields por este logro estructural.
El trabajo paralelo de Buckmaster y Alpöge
De forma paralela, Tristan Buckmaster (NYU) y Levent Alpöge (Anthropic) avanzaron decisivamente usando modelos de IA (Claude de Anthropic y Codex de OpenAI), demostrando blowup en tiempo finito para las ecuaciones de Boussinesq, de Euler en 3D (sin viscosidad) e IPM, con verificación formal en Lean. El matemático Terence Tao reseñó este trabajo en su blog. Buckmaster lo describió como un auténtico "momento Kasparov vs. Deep Blue" para las matemáticas.
La controversia: prioridad y conflicto entre OpenAI y Anthropic
El anuncio desató un conflicto ético y corporativo, documentado por Nature, Fortune y Scientific American:
1. Rumores iniciales: a finales de agosto circularon rumores de que un equipo de Anthropic había resuelto dos Problemas del Milenio, lo que motivó a OpenAI a probar si sus propios agentes podían lograrlo. 2. Sospechas de filtración: Alpöge y Buckmaster habían usado Codex de OpenAI para resumir y depurar sus borradores. Tras el anuncio, Buckmaster expresó dudas sobre si sus borradores pudieron influir en los modelos de OpenAI. OpenAI y Sam Altman negaron cualquier uso indebido o acceso a datos privados. 3. La llamada entre Bubeck y Buckmaster: OpenAI propuso que Buckmaster liderara la redacción de la prueba, pero pidió excluir a Levent Alpöge de la autoría por su afiliación con Anthropic. Ante la negativa de Buckmaster, Sebastien Bubeck hizo un comentario interpretado como intimidación profesional: "¿Por qué arruinarías tu carrera?". 4. Aclaraciones: Bubeck se disculpó públicamente, aclarando que evitaba compartir propiedad intelectual confidencial con un empleado de Anthropic. Sam Altman destacó que las demostraciones eran distintas (Euler sin viscosidad vs. Navier-Stokes con viscosidad).
El papel de Lean y el proceso de revisión
Lean es un verificador formal de teoremas que comprueba, paso a paso, que no hay saltos lógicos ni errores algebraicos en la demostración. Mientras la búsqueda de la prueba llevó 88 horas de enjambre, la verificación en Lean se completó en 17 horas.
Sin embargo, Lean solo verifica que la lógica sea correcta a partir de las definiciones ingresadas por el usuario: no juzga si esas definiciones reflejan fielmente el problema físico real. Por eso el Instituto Clay exige un mínimo de dos años de escrutinio público y revisión por pares antes de considerar el premio. OpenAI, por su parte, declaró que no pretende reclamar el premio del Milenio por este resultado.
Nota relacionada:
---
Fuentes y enlaces:
- Anuncio oficial de OpenAI
- Paper de OpenAI (PDF)
- Prueba formalizada en Lean (GitHub)
- Problema oficial de Navier-Stokes — Instituto Clay
- Descripción oficial por Charles Fefferman (PDF)
- Nature: OpenAI claims huge maths breakthrough
- Terence Tao sobre el trabajo de Alpöge y Buckmaster
- Córdoba y Martínez-Zoroa (arXiv)
- Fortune: OpenAI cracked Navier-Stokes
- Scientific American