Una IA encontró una singularidad en Navier–Stokes, pero la prueba sigue bajo examen

Un sistema de inteligencia artificial produjo una demostración según la cual las ecuaciones de Navier–Stokes, usadas para describir el movimiento de fluidos, pueden desarrollar una singularidad: una situación matemática en la que la velocidad calculada crece sin límite en un tiempo finito. El resultado apunta a una de las preguntas más famosas de la matemática contemporánea, aunque todavía no equivale a un veredicto cerrado: la comunidad debe revisar que la prueba y su formalización respondan exactamente al problema planteado.

Las ecuaciones de Navier–Stokes relacionan velocidad, presión y viscosidad —la resistencia de un fluido a deformarse—. Sirven para modelar desde corrientes oceánicas y el aire alrededor de un avión hasta el flujo de la sangre. Como tratan al fluido como un medio continuo, no siguen una por una sus moléculas. Esa aproximación es muy útil, pero deja abierta una pregunta profunda: si se parte de un flujo suave, ¿las ecuaciones conservan siempre un comportamiento suave o pueden llegar a un punto en que su solución se rompa?

Desde el año 2000, la pregunta forma parte de los Problemas del Milenio del Clay Mathematics Institute. El desafío no consiste en predecir que el agua real vaya a moverse a velocidad infinita. En la naturaleza, la descripción continua deja de ser adecuada mucho antes de llegar a esa escala. Lo que se busca es saber qué permiten o prohíben las propias ecuaciones, y por eso el resultado importa para la teoría de los fluidos y de las ecuaciones diferenciales.

El documento difundido por OpenAI describe un fluido inicialmente en reposo al que se aplica una fuerza externa suave. La construcción matemática genera un vórtice cuya zona central se vuelve cada vez más delgada y rápida. Según el trabajo, la velocidad se vuelve ilimitada al acercarse un instante determinado, aún cuando la energía cinética total permanece acotada. El detalle difícil es que la fuerza aplicada debe seguir siendo suave: no alcanza con introducir desde afuera una perturbación infinita para forzar el fallo del modelo.

Para encontrar la construcción, el equipo usó grupos de agentes de IA que exploraron variantes del problema y combinaron resultados intermedios. La demostración resultante tiene 166 páginas y fue traducida al lenguaje Lean, un sistema que comprueba paso a paso que una cadena de razonamientos se ajusta a reglas lógicas explícitas. Esa verificación reduce la posibilidad de un error formal dentro de la versión codificada, pero no sustituye por completo la revisión matemática: todavía hay que confirmar que el enunciado formalizado coincide con precisión con el problema del Milenio y examinar las decisiones que conectan la demostración con su interpretación.

La cautela es especialmente importante porque el resultado se anunció hace pocos días y porque existió trabajo simultáneo sobre problemas relacionados. Otros investigadores obtuvieron avances en las ecuaciones de Euler, que describen fluidos sin viscosidad y ayudan a estudiar el camino hacia Navier–Stokes, pero no son el mismo sistema. Distinguir esas variantes es clave: una singularidad con una fuerza permitida por el enunciado puede resolver una formulación, mientras que cambiar las condiciones puede dejar otra pregunta abierta.

Si la revisión confirma el alcance anunciado, el episodio mostraría dos cosas a la vez. Por un lado, aportaría una respuesta a un problema que resistió décadas de análisis. Por otro, daría un ejemplo inusual de colaboración entre exploración automática, pruebas largas y verificación formal. No transformaría de inmediato los pronósticos meteorológicos ni el diseño de aviones; su valor inmediato es entender mejor los límites matemáticos de un modelo fundamental. Pero también plantea una cuestión práctica para la ciencia: cómo evaluar, atribuir y comunicar pruebas que pueden ser correctas en una computadora antes de que una comunidad humana alcance a leerlas en detalle.