NExRYGNExRYG

Noticia

Una IA resuelve Navier-Stokes. ¿O no?

OpenAI dice que su modelo resolvió uno de los siete problemas del milenio en 88 horas con 10.000 agentes. No está validado, y ya hay pelea por el crédito.

R.G.Garcia3 min de lectura

El 8 de septiembre de 2026, OpenAI publicó lo que describe como una solución al problema de Navier-Stokes: uno de los siete Millennium Prize Problems del Clay Mathematics Institute, con un premio de un millón de dólares asociado.

Si se confirma, es histórico. Ese "si" es todo el artículo.

Qué son las ecuaciones de Navier-Stokes

Describen cómo se mueven los fluidos. Agua, aire, sangre, el humo de un cigarro. Las usamos a diario en aeronáutica, meteorología y medicina, y funcionan.

La pregunta abierta desde hace décadas no era si funcionan, sino si son matemáticamente sólidas siempre: dada una situación inicial suave, ¿la solución sigue siendo suave para siempre, o puede "romperse" en algún momento?

La respuesta que aporta OpenAI: puede romperse. En tres dimensiones, un fluido puede formar una singularidad en tiempo finito.

Cómo dicen que lo hicieron

Esta parte es tan interesante como el resultado. Arrancó el 1 de septiembre y dio el resultado el 5, con 17 horas más de formalización verificada en Lean.

No fue un modelo pensando solo. Fue una flota de agentes trabajando en paralelo sobre un modelo interno que OpenAI describe como más capaz que GPT-6 Astra, y luego Astra formalizó la prueba en Lean para que fuese verificable por máquina.

0 hPara resolverlo, más 17 h de formalización
0Agentes trabajando en paralelo
0,0 MMensajes intercambiados entre agentes
0 mil MTokens consumidos

Por qué todavía no cuenta

Aquí es donde hay que frenar.

No está revisado por pares. Es un anuncio de empresa, no un artículo publicado en una revista científica.

El Clay Institute no lo ha validado, y sus propias reglas lo impiden por ahora: exigen publicación en una revista con revisión y un periodo de espera de dos años antes de considerar un premio.

Hay disputa por el crédito. El matemático Tristan Buckmaster, de la Universidad de Nueva York, ha cuestionado públicamente la atribución, y hay trabajo no publicado de otros investigadores en juego.

  1. 1 septiembre 2026

    Arranca el trabajo

    Una flota de agentes en paralelo sobre un modelo interno.

  2. 5 septiembre 2026

    Sale el resultado

    88 horas, más 17 de formalización verificada en Lean.

  3. 8 septiembre 2026

    OpenAI lo anuncia

    Comunicado de empresa. Aquí es donde estamos hoy.

  4. Pendiente

    Revisión por pares

    Ningún matemático externo ha validado la prueba todavía.

  5. Pendiente

    Publicación en revista

    El Clay Institute la exige para siquiera mirar el premio.

  6. Dos años después

    Acaba la espera obligatoria

    Sólo entonces el Clay Institute puede pronunciarse.

Un anuncio no es un resultado. Entre "OpenAI dice que lo ha resuelto" y "está resuelto" hay, como mínimo, dos años de distancia.

El detalle que parece de película

Lo es, literalmente. En Gifted (2017), la madre de la protagonista resuelve este mismo problema en secreto y deja la prueba escondida.

Que la realidad se parezca al guion no valida nada, pero explica por qué la noticia ha corrido tanto.


Contenido informativo. Es un anuncio, no un resultado validado. Fuentes: OpenAI, Axios y Simon Willison (8 de septiembre de 2026).

Esto mismo, en vídeo

La versión corta, en @nexryg.tech.

Te puede interesar

Lo mejor del catálogo en relación calidad precio, analizado y con nota NEx.

Sigue leyendo