matemáticas

física

Por qué Navier-Stokes realmente importa

OpenAI dice que un sistema de IA demostró que una ecuación de fluidos puede colapsar en tiempo finito. Aquí está el problema real de Navier-Stokes, con precisión.

2026-09-10

OpenAI dijo que un sistema de IA resolvió un problema matemático que llevaba abierto desde 1934.

Internet reaccionó antes de entender la afirmación.

Se formaron tres bandos de inmediato.

Bando uno: la IA acaba de hacer ciencia real. Un hito. El CEO de OpenAI, Sam Altman, puede estar contento.
Bando dos: espera un momento. 10 mil agentes probando por ensayo y error no es lo mismo que una idea. Eso es fuerza bruta.
Bando tres: simplemente confundido. ¿Cómo puede algo llegar al infinito, en tiempo finito, si la fuerza detrás se mantiene finita todo el tiempo?

Este es el problema real. Nadie se pone de acuerdo sobre qué se está afirmando.

Esa es la historia. No quién tiene razón sobre la IA.

La pelea, formalizada

Imagina un fluido a mitad de una negociación.

Inercia versus viscosidad: flujo caótico y arremolinado a la izquierda que se asienta en líneas de corriente suaves y paralelas a la derecha.

Empújalo en una dirección. Quiere seguir en esa dirección. Se concentra. Se retuerce. Acelera donde ya iba rápido. Eso es la inercia.

Algo empuja de vuelta. La viscosidad. Suaviza el movimiento. Cambia energía concentrada por un flujo calmado y disperso.

La velocidad que tiene el fluido en este momento es justo donde está esa pelea ahora mismo.

Un árbitro se sienta entre ambos: la presión. No toma partido. Tiene un solo trabajo: evitar que el fluido se acumule en algún punto. Todo lo que entra tiene que salir. La presión se ajusta al instante para exigir eso.

Esa es la ecuación completa:

\partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f, \qquad \nabla\cdot u = 0.

$\partial_t u$ es el resultado. $(u\cdot\nabla)u$ es el movimiento de la inercia. $\nu\Delta u$ es la respuesta de la viscosidad. $-\nabla p$ es el árbitro. $\nabla\cdot u = 0$ es la regla que impone. $f$ es cualquier cosa que empuje desde afuera. Normalmente nada. A veces no.

A veces la pelea se calma. Nada acelera. Cada término se cancela. Eso es un flujo estacionario, el tipo de diagrama de un libro de texto sobre flujo en tuberías.

El Clay Mathematics Institute puso esta pelea en su lista de los siete Problemas del Milenio: ¿una solución se mantiene suave para siempre, o eventualmente se rompe?

¿Puede la pelea fallar por completo? ¿Puede la inercia vencer tan mal a la viscosidad que el resultado deje de ser un número finito?

Qué tan estricto es realmente “suave”

“Suave” se queda corto.

El matemático Charles Fefferman escribió el planteamiento oficial del problema para Clay. Pide que la velocidad inicial $u^\circ$ decaiga más rápido que cualquier potencia de la distancia. En cada derivada espacial:

|\partial_x^\alpha u^\circ(x)| \le C_{\alpha K}(1+|x|)^{-K}, \quad \text{para todo } \alpha, K.

La velocidad aquí es una perturbación que se desvanece lejos de sí misma. Cada tasa de cambio de ella también se desvanece.

Eso es comportamiento tipo función de Schwartz: una perturbación idealizada y perfectamente localizada.

La fuerza $f$ recibe el mismo trato pero en espacio y en tiempo:

|\partial_x^\alpha \partial_t^m f(x,t)| \le C_{\alpha m K}(1+|x|+t)^{-K}, \quad \text{para todo } \alpha, m, K.

El problema oficial tiene 4 enunciados. Los enunciados (A) y (B) prescinden por completo de la fuerza. Simplemente fijan $f = 0$ . Los enunciados (C) y (D) permiten una fuerza real, pero solo una tan disciplinada como esta.

Nada de bombear energía extra. Nada de infinito colado a través del término de forzamiento.

Eso es lo que “la fuerza se mantiene finita” realmente significa, con precisión.

Supongamos que una solución falla. Llega a un tiempo finito $T$ . Pasado ese punto no puede seguir siendo suave y de energía finita. Fefferman es explícito sobre cómo se ve eso:

La velocidad explota cuando $t \to T$ . No la presión. No una derivada suelta.

Por eso tampoco nadie puede llegar a una respuesta simulando. Un número que sube hasta $10^{50}$ no prueba nada, todavía podría dar la vuelta. Lo que se necesita es una prueba: un par específico y bien portado $(u^\circ, f)$ que inevitablemente explote, sin importar cuánto corra el reloj. Diez mil agentes no pueden acortar eso a fuerza de volumen.

Por qué tres dimensiones rompen la tregua

Los fluidos bidimensionales no pueden hacer algo que los tridimensionales sí: estirar su propia rotación.

Imagina un tubo de fluido girando. Estíralo, hazlo más delgado y más largo. Como una patinadora que recoge los brazos, tiene que girar más rápido.

Una instantánea del movimiento incompresible local. El naranja marca una rotación angular más rápida; el verde azulado marca una rotación más lenta. La velocidad de circulación también depende del radio. Las trayectorias muestran un espiral hacia adentro y un estiramiento axial. — Imagen: OpenAI. El naranja marca una rotación más rápida, el verde azulado una más lenta. El espiral hacia adentro y el estiramiento axial son el mecanismo descrito arriba, no una impresión artística de este.

El flujo 3D puede retorcerse y tirar de sí mismo de esta forma. El 2D no puede. No hay una tercera dirección hacia la cual estirarse.

Esa diferencia geométrica es casi toda la historia. La regularidad en 2D se resolvió hace décadas. En 3D sigue abierta.

Ese es el bucle de retroalimentación en un solo cuadro. El fluido se enrosca hacia adentro. Se estira a lo largo del eje. El estiramiento acelera la rotación. La región naranja se aprieta a medida que avanza.

Deja que ese bucle se descontrole por completo, en tiempo finito, en lugar de estabilizarse a medida que la viscosidad lo alcanza. La velocidad se concentra en una región cada vez más pequeña. Lo bastante rápido como para divergir.

Esa “región que se encoge” resuelve un acertijo.

El problema sigue exigiendo energía total finita: $\int |u|^2\,dx$ se mantiene acotada.

Suena como si eso debiera descartar velocidad infinita en cualquier parte. No lo hace.

Una integral mide el total, no el pico. $1/x^{1/4}$ se dispara al infinito cuando $x\to0$ , pero su cuadrado sigue siendo integrable cerca de cero.

Gráfico de 1 sobre x elevado a 1/4: la curva se dispara hacia el infinito cuando x se acerca a cero, pero el área bajo su cuadrado se mantiene finita. — $1/x^{1/4}$ es un ejemplo: infinito en un punto, finito en total.

Un colapso en 3D podría funcionar de la misma forma. Infinito en un punto. La energía repartida por todo el espacio se mantiene completamente ordinaria.

Pero no te relajes todavía. La viscosidad no es un muro fijo esperando para detener al fluido. Crece con la velocidad que el fluido ya lleva. Mientras más fuerte empuja la inercia, más fuerte empuja de vuelta la viscosidad.

Asi que la escapatoria no sale gratis. Cada paso que el vórtice da hacia el colapso, su propio oponente también se fortalece. Si la inercia puede ganar esa carrera, en tiempo finito, contra una defensa que reacciona al ataque, es la pregunta abierta de verdad. No es un tecnicismo. No es una nota al pie. Es el problema entero, dicho de otra forma.

Dónde está realmente parado esto

Esto es lo que está establecido. OpenAI publicó un informe completo, y una formalización en Lean, un asistente de pruebas que verifica cada paso lógico por máquina, que cualquiera puede ejecutar.

Esto es lo que no. Si la comunidad matemática, trabajándolo de forma independiente, está de acuerdo en que es correcto.

La propia página de Clay todavía lista a Navier–Stokes como abierto. OpenAI no está reclamando el premio.

Calculado y formalizado no es lo mismo que revisado por pares. Revisado por pares no es lo mismo que aceptado. Esto está en el primer peldaño.

Lo que OpenAI construyó, y quién merece el crédito, viene después.

Ok. ¿Y ahora qué?

Quita las letras. Mira lo que hay debajo.

Un modelo. Escrito en 1822. Corregido en 1845. Doscientos años.

Supone que el fluido es continuo. Sin moléculas. Sin grano. Solo números que varían suavemente, para siempre.

Nadie ha visto jamás ese fluido. No existe. Es una conveniencia que resulta funcionar sorprendentemente bien.

(A) hasta (D) ponen a prueba la conveniencia, no el agua. Si la idealización puede llevarse a una contradicción en sus propios términos.

Gane o pierda, ningún grifo se entera.

Todos los modelos están equivocados. Algunos son útiles. Navier-Stokes ha sido de la segunda clase durante dos siglos. Esta pelea es sobre si también es, en silencio, de la primera clase — y siempre lo fue.

Para los matemáticos, esa es la pregunta entera.

Para Sam Altman, nunca fue la pregunta. Fue un evento de valuación.