Navier-Stokes y OpenAI: qué significa que la IA resuelva un misterio de 200 años

Cada vez que abres la llave del lavamanos, bates leche en una taza de café o abordas un avión, confías en una premisa silenciosa: el aire y el agua se mueven de manera continua, predecible y suave. Si empujas un líquido con suavidad, esperas que responda con suavidad. Sin embargo, durante más de dos siglos, la física y la matemática no habían podido demostrar si las ecuaciones que rigen esos movimientos garantizan esa calma para siempre o si esconden un punto ciego donde el agua, matemáticamente hablando, se rompe.

Ese dilema acaba de dar su giro más drástico. OpenAI publicó una demostración matemática rigurosa, acompañada de más de 160 páginas técnicas y una verificación completa en el demostrador formal Lean 4, que comprueba que las ecuaciones tridimensionales de Navier-Stokes pueden desarrollar una singularidad —una velocidad que se dispara al infinito en tiempo finito— a partir de un fluido en reposo impulsado por una fuerza suave. No lo hizo un matemático aislado frente a una pizarra; lo coordinó un enjambre de aproximadamente 10.000 agentes de inteligencia artificial trabajando durante 88 horas consecutivas.

Un enigma de 200 años y el premio de un millón de dólares

Para dimensionar la noticia hay que retroceder a la primera mitad del siglo XIX. Entre 1822 y 1845, el ingeniero francés Claude-Louis Navier y el físico angloirlandés George Gabriel Stokes formularon el conjunto de ecuaciones diferenciales que lleva sus nombres. Su objetivo era elemental y ambicioso: describir la segunda ley de Newton (fuerza igual a masa por aceleración) aplicada a medios continuos como el agua, el aceite o el aire, incorporando la viscosidad —la fricción interna que hace que la miel sea más espesa que el agua—.

La industria aprendió a convivir con ellas mediante aproximaciones y simulaciones por computadora. Los túneles de viento digitales de la Fórmula 1, los modelos meteorológicos del clima global y el diseño de turbinas hidroeléctricas funcionan calculando Navier-Stokes tramo a tramo. Pero en el terreno de la matemática pura quedaba una espina clavada: nadie había logrado demostrar si las soluciones tridimensionales completas siempre existen de forma continua y suave para todo el tiempo futuro, o si podían colapsar.

Por esa razón, en mayo del año 2000, el Instituto Clay de Matemáticas incluyó la «Existencia y suavidad de Navier-Stokes» como uno de los siete Problemas del Milenio, ofreciendo un millón de dólares a quien lograra resolverlo. La pregunta oficial permitía dos desenlaces opuestos: demostrar que las soluciones nunca se rompen o construir un contraejemplo explícito donde la ecuación sufra un «blowup» (una explosión hacia el infinito).

¿Qué significa que una ecuación «se rompa»? El ejemplo del remolino

En el mundo cotidiano, el agua no explota ni alcanza velocidades infinitas porque está hecha de moléculas y átomos discretos. Cuando las escalas bajan del nanómetro, la mecánica cuántica y la física molecular toman el control. Pero en la física teórica y en el software de ingeniería, el fluido se modela como un continuo matemático perfecto. Y en ese continuo, las matemáticas permiten concentraciones extremas.

Imagina una patinadora sobre hielo que gira sobre su propio eje. Si extiende los brazos, gira a un ritmo moderado. Si los recoge pegados al pecho, gira a toda velocidad por conservación del momento angular. En un fluido pasa algo similar: si un remolino aspira agua hacia su núcleo, las partículas que entran se ven obligadas a rotar cada vez más rápido.

Como el agua no se puede comprimir, no puede simplemente acumularse en el centro. La única salida es escapar disparada hacia arriba y hacia abajo a lo largo del eje vertical. En condiciones normales, la viscosidad actúa como un freno natural que disipa la energía en forma de calor y suaviza los cambios bruscos. El desafío histórico era saber si la viscosidad siempre gana esa batalla o si la rotación concentrada puede volverse tan violenta que supere cualquier disipación.

Lo que construyó OpenAI es un vórtice extremadamente esbelto donde el radio del núcleo se encoge más rápido de lo que se reduce su altura. Alrededor de esa columna giratoria diseñaron una serie de pulsos oscilatorios —pequeñas ondas concéntricas de alta frecuencia— que intercambian momento con el fondo. Esas ondas absorben y cancelan todas las irregularidades residuales, logrando que desde afuera la fuerza aplicada parezca dócil y perfectamente suave, mientras en el centro la velocidad puntual se desborda sin límite en un tiempo finito.

10.000 agentes y Lean 4: cómo se construyó la demostración

El método detrás del resultado es tan revelador como el teorema mismo. Históricamente, resolver un problema de este calibre requería décadas de aislamiento: Andrew Wiles tardó siete años en secreto para el Teorema de Fermat, y Grigori Perelman pasó años trabajando en la Conjetura de Poincaré. Aquí el proceso fue radicalmente colectivo y digital.

• Enjambre de agentes autónomos: cerca de 10.000 agentes de inteligencia artificial orquestados en paralelo exploraron hipótesis, construyeron perfiles asintóticos y corrigieron términos de error durante 88 horas de cómputo.
• Más de 100.000 millones de tokens consumidos: los modelos descompusieron la demostración en lemas analíticos intermedios, calculando integrales tensoriales y estimaciones de energía que llenarían estantes enteros de cuadernos.
• Verificación mecánica en Lean 4: para evitar cualquier error sutil o alucinación del modelo, cada paso fue formalizado en el asistente de pruebas por computadora Lean. La comunidad matemática no necesita confiar a ciegas en un modelo de lenguaje; el compilador verifica la validez lógica de cada deducción.

La verificación por computadora en Lean transforma la relación con la IA: el modelo ya no pide fe sobre sus conclusiones; entrega un código formal cuya corrección puede auditarse de manera determinista.

¿Reemplazó la IA el trabajo de los matemáticos?

La tentación inmediata tras un anuncio como este es proclamar que los investigadores humanos han quedado obsoletos. La realidad técnica cuenta una historia distinta: este avance no nació de un vacío generado por máquinas, sino del trabajo acumulado de matemáticos contemporáneos.

La estrategia de amplificación dinámica y cancelación de tensiones mediante oscilaciones se apoya directamente en técnicas pioneras desarrolladas por matemáticos como Diego Córdoba y Luis Martínez-Zoroa, así como en trabajos paralelos de Tristan Buckmaster y Levent Alpöge en ecuaciones de fluidos forzados. Los agentes no reinventaron el cálculo diferencial desde cero; exploraron y ensamblaron caminos técnicos sobre los cimientos que la comunidad matemática construyó durante décadas.

Más que un reemplazo, estamos presenciando el surgimiento de la matemática amplificada. Así como los ingenieros civiles dejaron de calcular puentes a mano con reglas de cálculo en los años setenta para diseñar estructuras complejas con software de elementos finitos, los matemáticos ahora cuentan con enjambres de agentes capaces de verificar conjeturas monstruosas, buscar contraejemplos en espacios multidimensionales y redactar código formal libre de errores tipográficos.

Qué lección deja esto para la adopción de tecnología

Mirar este hito desde Colombia y América Latina no es solo un ejercicio de curiosidad científica. Deja una lección muy concreta sobre la madurez de la inteligencia artificial: el verdadero poder de los agentes no está en hacer resúmenes rápidos en una ventana de chat, sino en orquestar sistemas complejos con reglas de validación implacables.

Cuando una empresa en nuestra región automatiza su facturación, sincroniza su logística de despachos o integra agentes de servicio al cliente, busca exactamente el mismo principio: velocidad de ejecución respaldada por verificación rigurosa, donde cada paso quede registrado y ningún dato quede al azar.