- El problema busca determinar si el flujo de fluidos incompresibles puede generar singularidades donde la velocidad o presión sean infinitas.
- OpenAI ha presentado una posible solución mediante agentes de IA, aunque existen fuertes controversias sobre el plagio de trabajos de matemáticos españoles.
- La resolución total implica probar la regularidad global y la existencia de soluciones suaves, un reto que vincula la matemática pura con la física de la turbulencia.
Imagina que intentas predecir exactamente cómo se moverá cada gota de agua en un río o el baile caprichoso del humo de un cigarro en el aire. Parece una tarea sencilla, pero en realidad estamos ante uno de los desafíos matemáticos más bestias de la historia, conocido como el problema de Navier-Stokes. Este reto no es solo una curiosidad académica, sino que forma parte de los siete problemas del milenio, donde el Instituto Clay de Matemáticas ha puesto sobre la mesa un millón de dólares para quien sea capaz de domar estas ecuaciones, un campo fundamental para quienes estudian qué estudian las ciencias formales.
La historia nos lleva hasta el siglo XIX, cuando el francés Claude-Louis Marie Navier y el irlandés George Gabriel Stokes sentaron las bases de este modelo. Lo que buscan es describir el flujo de fluidos, centrándose especialmente en los fluidos incompresibles, aquellos cuya densidad no cambia aunque se muevan, como ocurre con la sangre en nuestras venas o la leche en un vaso. El quid de la cuestión es saber si estas ecuaciones siempre funcionan o si pueden \»romperse\» creando singularidades, puntos donde la velocidad o la presión se vuelven infinitas y el modelo deja de ser útil para predecir el futuro.
El enigma de la regularidad y las singularidades
Para ganar el premio, no basta con hacer cálculos aproximados; hace falta una demostración matemática rigurosa sobre la existencia y regularidad de las soluciones. En lenguaje llano, hay que probar si el fluido se comporta de forma gradual y continua o si, por el contrario, puede dar un salto brusco hacia el infinito. El problema se divide en cuatro afirmaciones técnicas (A, B, C y D). Las primeras se centran en la regularidad global sin fuerzas externas, mientras que las últimas analizan qué pasa cuando existen fuerzas externas y si estas pueden provocar que el sistema estalle matemáticamente.
Aquí es donde entra en juego la turbulencia, ese caos aparente que vuelve locos a ingenieros y físicos. Mientras que un matemático busca la unicidad y suavidad de la solución, un ingeniero prefiere modelos computacionales que le permitan diseñar un avión en unas pocas horas. Esta brecha de objetivos demuestra que el problema es un iceberg de complejidad donde se mezclan la intermitencia física y la precisión numérica.
La irrupción de la Inteligencia Artificial y la polémica de OpenAI
Recientemente, el mundo científico ha quedado boquiabierto con un anuncio de OpenAI. La empresa afirma haber resuelto las afirmaciones C y D del problema utilizando una estratégia de agentes de IA: unos 10.000 agentes trabajando a piñón durante 88 horas. Según su artículo de 166 páginas, han demostrado que los fluidos forzados (como el agua bajo la gravedad) pueden desarrollar singularidades. Si esto se confirma tras la revisión por pares, estarían cumpliendo los criterios para llevarse el millón de dólares, aunque todavía dejan en el aire el caso de los fluidos no forzados.
Sin embargo, no todo es color de rosa, ya que ha estallado una guerra de egos y acusaciones de plagio. Se dice que OpenAI pudo haberse aprovechado de los trabajos previos de los matemáticos españoles Diego Córdoba y Luis Martínez Zoroa. Estos dos expertos del ICMAT han avanzado durante años en el problema, y sus ideas fueron fundamentales para que Tristan Buckmaster y Levent Alpöge lograran pruebas clave. La comunidad científica debate ahora si OpenAI ha sido honestos con la autoría intelectual de este avance histórico.
Fundamentos técnicos: De la derivada material a la simulación
Para entender la complejidad del asunto, hay que bajar al barro de las fórmulas. Se utiliza la descripción euleriana, donde para seguir una partícula fluida se emplea la derivada sustancial o material. Esta combina la variación local en un punto fijo con la derivada convectiva, que es el cambio provocado por el movimiento mismo del fluido. Es una matemática densa que incluye el teorema del transporte de Reynolds y el teorema de Gauss para convertir integrales de superficie en volúmenes.
En la práctica, estas ecuaciones son no lineales y fuertemente acopladas, lo que las hace imposibles de resolver con lápiz y papel para casos complejos. Por eso recurrimos a métodos numéricos de elementos o diferencias finitas. Curiosamente, este caos matemático tiene una aplicación muy cotidiana: los videojuegos. Gracias a trabajos como los de Jos Stam, se utilizan versiones simplificadas de Navier-Stokes en las GPU para crear fuego y humo hiperrealistas en tiempo real, aunque siempre luchando contra la disipación numérica.
Este viaje desde las pizarras del siglo XIX hasta los servidores de OpenAI nos muestra que, aunque la IA sea una herramienta brutal, la intuición humana de matemáticos como Córdoba y Martínez-Zoroa sigue siendo el motor real del progreso. La resolución de este problema no solo supone un premio económico, sino una llave para entender la turbulencia y los límites de nuestros modelos físicos, cerrando un ciclo que comenzó con Navier y que ahora se expande hacia la computación cuántica y la IA.
