OpenAI y Navier–Stokes: una solución generada por agentes de IA
Qué afirma OpenAI sobre su solución al problema de Navier–Stokes, cómo se modela el vórtice y por qué GPT-6 Astra no fue el modelo que encontró la prueba.
Pregunta
¿Una inteligencia artificial acaba de resolver uno de los Problemas del Milenio?
La respuesta más precisa es: OpenAI publicó una solución propuesta y una formalización en Lean para el problema de existencia y suavidad de Navier–Stokes, pero el reconocimiento matemático oficial todavía está pendiente.
Hay además una confusión importante con el modelo. No fue GPT‑6 Astra el sistema que encontró la solución. OpenAI afirma que utilizó un modelo interno todavía no disponible públicamente y que dicho modelo es significativamente más capaz que GPT‑6 Astra en este tipo de razonamiento. Astra participó después en la formalización y verificación de la prueba.
Visualización del vórtice asociado a la solución propuesta. Imagen publicada por Quanta Magazine con crédito a OpenAI.
El problema del milenio
Las ecuaciones de Navier–Stokes describen el movimiento de fluidos como el agua y el aire. En el caso tridimensional e incompresible, el problema pregunta si, partiendo de condiciones suaves y físicamente razonables, las soluciones permanecen suaves para todo tiempo o si pueden desarrollar una singularidad en tiempo finito.
En términos sencillos: ¿puede una solución inicialmente regular producir velocidades infinitas en una región que se concentra cada vez más, aunque la energía total permanezca acotada?
La ecuación, en la forma utilizada en el artículo, puede escribirse como:
∂t u + (u · ∇)u − νΔu + ∇p = f
∇ · u = 0Aquí u representa la velocidad, p la presión, ν la viscosidad y f una fuerza externa. El Instituto Clay estableció cuatro alternativas formales: demostrar existencia y suavidad en el espacio completo o en el toro tridimensional, o demostrar un caso de ruptura en alguno de esos dos escenarios.
Qué afirma OpenAI
El artículo técnico de OpenAI construye, para cualquier viscosidad positiva, un flujo que:
- comienza con velocidad inicial cero;
- utiliza una fuerza externa suave y de soporte compacto;
- mantiene la energía cinética uniformemente acotada;
- desarrolla una velocidad no acotada en tiempo finito;
- establece las alternativas de ruptura
CyDde la formulación de Fefferman.
La solución se organiza alrededor de un vórtice axisimétrico. El fluido entra hacia el eje, gira cada vez más rápido y desarrolla un flujo axial que se aleja de la zona central. Mientras el núcleo se contrae, una familia de pulsos oscilatorios transporta momento y cancela los términos divergentes del balance de Navier–Stokes.
El modelamiento del vórtice
Si τ = 1 − t representa el tiempo restante hasta la singularidad, el artículo describe escalas aproximadas para el núcleo:
ancho radial: ℓr ≍ τ^(1/2)
altura axial: ℓz ≍ τ^(1/2−h), con 0 < h < 1/100El radio disminuye más rápido que la altura. Por eso el vórtice se vuelve progresivamente más delgado y alargado, como una columna que se concentra en el eje.
En esa región, las velocidades angular y axial crecen aproximadamente como τ^(−1/2−h), mientras que el volumen del núcleo se reduce. El resultado contraintuitivo es que la velocidad local puede crecer sin límite mientras la energía cinética total continúa acotada.
La imagen superior no representa una fotografía de un fluido real ni una simulación de agua explotando. Es una visualización del campo de flujo matemático: los tonos cálidos representan rotación más rápida, los tonos fríos rotación más lenta y las trayectorias muestran el espiralamiento hacia dentro junto con el estiramiento axial.
El papel de los agentes y de GPT‑6 Astra
OpenAI describe un sistema multiagente con grupos de agentes que exploraban distintas variantes del problema y podían comunicarse entre sí. El grupo que produjo la resolución de Navier–Stokes involucró aproximadamente 10.000 agentes concurrentes.
Según la publicación oficial:
- los agentes llegaron a la resolución después de aproximadamente 88 horas;
- intercambiaron 2,7 millones de mensajes;
- utilizaron cerca de 130.000 millones de tokens de salida;
- la formalización y verificación en Lean tomó 17 horas adicionales;
- esa última etapa se realizó mediante GPT‑6 Astra.
La diferencia es relevante: Astra no aparece como el modelo que descubrió la construcción matemática, sino como el modelo utilizado para convertirla en una prueba formal verificable por Lean.
Interpretación y límites
La formalización en Lean es una señal importante porque permite verificar muchas de las inferencias lógicas de la prueba de manera mecánica. Sin embargo, todavía hay una revisión conceptual que debe hacer la comunidad matemática: comprobar que la afirmación formalizada corresponde exactamente a la formulación oficial del Problema del Milenio y que todas las hipótesis se interpretaron correctamente.
El propio OpenAI indica que no pretende reclamar el premio de un millón de dólares. Además, la página del Clay Mathematics Institute todavía presenta Navier–Stokes como un problema no resuelto oficialmente.
Por eso, el titular responsable sería:
OpenAI publica una solución generada por un sistema multiagente para Navier–Stokes, formalizada en Lean y pendiente de validación matemática independiente.
Más allá del premio, el resultado plantea una pregunta importante: si un sistema puede explorar millones de rutas matemáticas, formalizar una construcción y producir una prueba de 165 páginas, ¿cómo cambiará el trabajo de los matemáticos y qué parte de la comprensión debe seguir siendo humana?