La fascinación por el movimiento de los fluidos, desde un río caudaloso hasta la turbulencia atmosférica, se condensa en un conjunto de ecuaciones que desafían a la mente humana desde hace casi dos siglos: las ecuaciones de Navier-Stokes. Este sistema matemático, pilar de la ingeniería y la física, representa uno de los siete Problemas del Milenio del Instituto Clay de Matemáticas, dotado con un premio de un millón de dólares para quien logre una demostración crucial. Recientemente, una inteligencia artificial de OpenAI generó titulares sobre una supuesta resolución, pero el verdadero ‘problema de Navier-Stokes’ sigue oficialmente sin solución, planteando una distinción vital entre un avance computacional y la rigurosa demostración matemática.
Las ecuaciones de Navier-Stokes no son meras abstracciones teóricas; describen la dinámica de cualquier fluido, sea aire, agua, sangre o el humo de un cigarrillo, bajo la influencia de la presión, fuerzas externas como la gravedad y la fricción interna o viscosidad. Su aplicación es ubicua, desde el diseño aerodinámico de aeronaves hasta la predicción meteorológica y la comprensión del flujo sanguíneo. Sin embargo, a pesar de su eficacia práctica y su uso constante en innumerables campos de la ciencia y la ingeniería, la comunidad matemática aún carece de una prueba fundamental: la de que sus soluciones siempre existen y permanecen ‘suaves’, es decir, sin comportamientos infinitos o impredecibles bajo condiciones iniciales regulares.
La génesis de estas ecuaciones se remonta al siglo XIX, con dos figuras clave. Claude-Louis Navier las formuló inicialmente en 1822, basándose en un modelo molecular que, si bien era incorrecto para la física moderna, paradójicamente lo llevó a la expresión matemática acertada. Años más tarde, en 1845, George Gabriel Stokes reformuló y consolidó el sistema desde la mecánica de medios continuos, otorgándole la solidez teórica que hoy reconocemos. Desde entonces, el desafío de la turbulencia, ese comportamiento aparentemente caótico de los fluidos que vemos al abrir un grifo o en la estela de un avión, ha sido el epítome de la dificultad inherente a su comprensión completa.
El quid de la cuestión para el Instituto Clay no es simplemente calcular el movimiento de un fluido, sino demostrar que este cálculo ‘nunca se rompe’. El concepto de ‘singularidad’ es central aquí: si, bajo ciertas condiciones, alguna magnitud del fluido (como la velocidad o la presión) pudiera volverse infinita en un tiempo finito, la teoría colapsaría en ese punto crítico. La pregunta sin respuesta es si un fluido tridimensional, partiendo de un estado inicial ‘suave’ (sin discontinuidades), puede desarrollar una de estas singularidades de forma espontánea, sin la intervención de fuerzas externas específicas, o si, por el contrario, las soluciones siempre se mantienen bien definidas.
El pasado 8 de septiembre de 2026, OpenAI anunció que su sistema había generado una prueba, verificada por ordenador mediante el asistente Lean, de que un fluido tridimensional puede desarrollar una singularidad. Este logro fue el resultado de una búsqueda de 88 horas con miles de agentes en paralelo, y la formalización en Lean tomó otras 17 horas. Es crucial destacar que esta demostración se basó en una idea seminal de los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa, quienes en 2023 propusieron una estrategia para inducir singularidades a través de ‘cascadas de vorticidad’ mediante un forzamiento externo, un concepto refinado posteriormente por Tristan Buckmaster y Levent Alpöge.
Sin embargo, el anuncio de OpenAI, aunque notable por su capacidad computacional, no califica para el premio del milenio, como la propia empresa ha reconocido. La diferencia radica en una condición fundamental: el problema del Instituto Clay exige una demostración de la existencia o no de singularidades en fluidos *sin la aplicación de fuerzas externas*. La solución de la IA, por el contrario, implica un fluido tridimensional ‘sometido a una fuerza externa suave’. Este matiz es fundamental: una fuerza externa puede ser diseñada para precipitar una singularidad, lo que difiere sustancialmente de un sistema que genera tal comportamiento de manera autónoma, impulsado únicamente por su dinámica interna no lineal.
La comunidad matemática exige un proceso riguroso para la aceptación de cualquier solución a un Problema del Milenio, incluyendo su publicación en una revista arbitrada, un período de validación de al menos dos años y la aceptación generalizada por parte de expertos. Ninguna de estas condiciones se ha cumplido todavía. Aunque la verificación formal por Lean asegura la coherencia lógica de la prueba de la IA, no dictamina su relevancia para el enunciado específico del premio. Por ende, la búsqueda de una solución al enigma de Navier-Stokes, en su forma más pura y sin forzamientos externos, permanece como uno de los mayores desafíos pendientes de la ciencia, con el millón de dólares esperando a ser reclamado.
Si le ha parecido interesante este análisis, le invitamos a compartirlo y a dejar su opinión en los comentarios.
