¡Qué vaina! Imagínate abrir el grifo de tu casa; el agua sale lisita, tranquila, como si fuera de cristal. Pero de repente, ¡puf!, se vuelve un relajo, blanca, ruidosa, un desorden total. Pues mira, las ecuaciones de Navier-Stokes son como el chivo sin mecate que describe ese chorro antes y después, y es un misterio por qué se rompe justo ahí. El Instituto Clay de Matemáticas tiene un millón de dólares para quien demuestre que estas soluciones existen siempre sin romperse, ¡un real dineral que nadie ha podido cobrar en más de un siglo!
Asegún el reporte, la gente se puso a celebrar como si hubieran ganado la lotería cuando en septiembre de 2026, OpenAI soltó la noticia: su inteligencia artificial, después de 88 horas de ‘bregar’ duro con un viaje de agentes, había logrado una prueba. Los titulares volaron por ahí diciendo que la máquina había resuelto el problema de Navier-Stokes en tres días y medio. Pero ¡espera un momentico! El ‘tigueraje’ está en el detalle: la prueba de la IA logró que un fluido tridimensional generara una singularidad, o sea, que una magnitud se vuelva infinita, pero con una fuerza externa empujándolo. El premio del millón, ¡ah no!, ese pide que el fluido no tenga fuerzas de fuera, que se estrelle solo, ¿tú me entiendes? Por eso, ni OpenAI lo reclamó; la vaina sigue abierta.
Este sistema de ecuaciones de Navier-Stokes no es una sola, sino un ‘coro’ completo de ecuaciones en derivadas parciales. Lo que buscan es predecir dónde estará cada parte de un fluido un segundo después, considerando la presión, las fuerzas externas como la gravedad y la fricción interna, que es la viscosidad. Imagínate, estas ecuaciones son la base para diseñar las alas de los aviones, predecir el clima, cómo la sangre circula por las venas o el flujo de un río. ¡Son la ‘columna vertebral’ de media ingeniería moderna! Es bacano cómo algo tan fundamental y de uso diario todavía tiene este misterio guindando.
La historia de estas ecuaciones es un cuento chulo de cómo la ciencia avanza. Allá por 1822, Claude-Louis Navier, un ingeniero francés, las dedujo, aunque el modelo molecular que usó terminó siendo descartado. Es como cuando uno llega al mismo sitio pero por el camino equivocado, ¿tú sabes? Unos veintitrés años después, en 1845, George Gabriel Stokes, un físico irlandés, las derivó otra vez, pero esta vez con una base más sólida, viendo el fluido como una sustancia continua. De ahí que las conozcamos con el nombre doble de Navier-Stokes. Desde entonces, han sido una herramienta poderosa, aunque ese misterio de la singularidad, de que la solución se ‘rompa’, ha sido la chercha de los matemáticos.
Cuando el Instituto Clay lanzó sus siete Problemas del Milenio en el 2000, con un millón de dólares por cabeza, la ‘búsqueda’ para resolver Navier-Stokes se puso más intensa. Lo que ellos piden no es solo calcular cómo se mueven los fluidos —eso ya se hace—, sino demostrar que ese cálculo nunca se rompe. O sea, que empezando con un estado ‘suave’, las soluciones siguen siendo ‘suaves’ para siempre. ‘Suave’ en matemáticas significa que la solución no se dispara ni da saltos, no se vuelve infinita. Si hay un punto donde eso pasa, se llama singularidad, y ahí la teoría se jode. La vaina es que nadie ha podido demostrar que esto no ocurre, ni que sí ocurre. ¡Un verdadero dolor de cabeza que ha tenido a la comunidad científica en jaque por décadas!
Ahora, no fue que la IA se inventó la rueda de una vez. Los matemáticos españoles Diego Córdoba, del Instituto de Ciencias Matemáticas (ICMAT-CSIC), y Luis Martínez-Zoroa, quien es profesor de CUNEF Universidad, desde 2023, habían diseñado una estrategia ‘jevi’ para crear esas singularidades, apilando capas de vorticidad. Era como una cascada de remolinos que, combinados, podían romper la regularidad del fluido. Luego, Tristan Buckmaster y Levent Alpöge refinaron la idea para extenderla a las ecuaciones de Euler. Lo que hizo la máquina fue tomar ese camino ya trazado y recorrerlo a una velocidad que ningún equipo humano puede igualar. En 88 horas, la IA hizo lo que a un doctorando le tomaría años solo en leerse la bibliografía. Aunque hubo un pequeño lío al principio porque OpenAI no los citó de una vez en su anuncio, al final se aclaró el punto, reconociendo su aporte crucial en la metodología. ¡Así es el ‘tigueraje’ de la ciencia moderna!
Así que, a pesar de todo el ‘ajetreo’, el Instituto Clay de Matemáticas sigue con su página oficial listando el problema de Navier-Stokes como abierto. La verificación de Lean, el asistente de demostración que usó la IA, solo garantiza que la lógica interna de la prueba es coherente, no que resuelve el enunciado del milenio que exige el millón de dólares. Para que la prueba sea válida para el premio, tiene que publicarse, pasar al menos dos años, y ser aceptada por la comunidad matemática. Es decir, ¡la vaina no es de una vez! El verdadero reto, la singularidad sin fuerzas externas, sigue ahí, esperando por algún ‘cerebrito’ que se atreva a resolver este lío de siglos. El chorro del grifo sigue siendo el mismo ‘dilema’ para la ciencia. ¡A ver quién se lleva el millón, klk!Si te ha gustado este artículo, ¡compártelo con tus amigos, o déjanos un comentario!
