OpenAI afirma que su IA resuelve Navier-Stokes

OpenAI afirma que un sistema interno de inteligencia artificial ha resuelto el problema de Navier-Stokes, una de las preguntas matemáticas del milenio. Según la compañía, la prueba demuestra que un fluido puede desarrollar una singularidad, es decir, que su velocidad crece sin límite en un tiempo finito aunque al principio se comporte de forma perfectamente suave.

El resultado todavía tendrá que superar el análisis de la comunidad matemática. OpenAI ha publicado una demostración y una formalización en Lean, un sistema que permite traducir una prueba matemática a un lenguaje que un ordenador puede revisar paso a paso.

Qué problema resuelve

Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos. Se usan, entre otras cosas, para diseñar aviones, predecir el tiempo y estudiar el flujo de la sangre. Su gran incógnita lleva abierta aproximadamente 90 años.

La pregunta se centra en un fluido tridimensional, de densidad constante y sin compresión: si empieza moviéndose de forma suave, ¿seguirá así para siempre o puede aparecer un punto en el que las ecuaciones dejen de comportarse bien?

La viscosidad tiende a suavizar el movimiento, como ocurre cuando la miel frena un remolino. El reto consiste en demostrar si esa fuerza siempre evita una explosión matemática o si, en determinadas condiciones, el fluido puede concentrar tanta velocidad que el modelo deja de ser válido.

En 2000, el Clay Mathematics Institute incluyó esta cuestión entre sus siete Problemas del Milenio y ofreció un premio de un millón de dólares por cada solución aceptada. OpenAI aclara que no pretende reclamar ese premio por su resultado.

Un remolino que se estira hasta romper el modelo

La solución descrita por OpenAI parte de un fluido inicialmente en reposo y le aplica una fuerza externa suave. El movimiento forma un vórtice, un remolino que se estrecha y se alarga hacia dentro, como un espagueti cada vez más fino.

En el centro, la región se hace más pequeña mientras la velocidad aumenta sin límite. Aun así, la energía total del fluido permanece finita. Ese detalle es esencial: la singularidad no aparece porque alguien introduzca una fuerza infinita, sino por la propia dinámica de las ecuaciones.

La propuesta también afirma que los términos que representan la aceleración, la presión, la transferencia de movimiento y la viscosidad crecen de forma muy intensa, pero se compensan con precisión. El resultado sería una fuerza externa suave junto a una velocidad que se dispara en tiempo finito.

Cómo trabajó la IA

OpenAI no usó un único chatbot para buscar la respuesta. Organizó un sistema de agentes, es decir, múltiples procesos de IA que podían explorar enfoques distintos, comunicarse y ejecutar código.

El grupo dedicado a Navier-Stokes reunió aproximadamente 10.000 agentes concurrentes. Estos agentes:

• Llegaron a la propuesta de solución en unas 88 horas.
• Enviaron alrededor de 2,7 millones de mensajes.
• Usaron aproximadamente 130.000 millones de tokens durante el trabajo sobre Navier-Stokes.
• Necesitaron otras 17 horas para formalizar y verificar la prueba con GPT-6 Astra.

El sistema también produjo una respuesta para un problema relacionado: la regularidad de las ecuaciones de Euler sin viscosidad. En ese caso, cerca de 100 agentes trabajaron durante unas 50 horas para demostrar una variante sin fuerza externa.

Qué cambia para ti

No significa que mañana los aviones, las previsiones meteorológicas o las simulaciones médicas vayan a funcionar de otra manera. Las ecuaciones ya se utilizan con aproximaciones numéricas y seguirán necesitándolo.

Lo importante es otro punto: una IA ha generado una prueba en un área donde los matemáticos llevan décadas sin una respuesta definitiva, y además ha intentado expresarla en un formato comprobable por ordenador. Si la comunidad confirma que el argumento es correcto y que encaja con la formulación oficial del problema, cambiará la forma de investigar matemáticas avanzadas.

También hay límites claros. Una formalización en Lean ayuda a detectar errores lógicos dentro del sistema, pero los expertos todavía deben revisar que la prueba formalizada representa exactamente el problema original y que no contiene supuestos ocultos. La publicación de OpenAI es una afirmación de resolución, no la aceptación automática del premio.

OpenAI asegura que su sistema interno es mucho más capaz que GPT-6 Astra y que fue entrenado mediante aprendizaje por refuerzo sobre un modelo previamente entrenado. La compañía presenta el resultado como una muestra del ritmo de avance de sus modelos, no como el final de la investigación matemática.

La cuestión que queda abierta no es solo si esta prueba resiste la revisión. También habrá que ver si estos sistemas pueden explicar sus descubrimientos de forma fiable, encontrar resultados nuevos en otros campos y trabajar bajo controles que permitan a los humanos entender y verificar cada paso. Ahí se medirá el alcance real de este anuncio.