OpenAI dice haber resuelto un problema del milenio

El martes, OpenAI publicó la frase más ambiciosa de su historia: "compartimos una solución al problema de Navier-Stokes", uno de los siete Problemas del Milenio que el Instituto Clay premia con un millón de dólares desde el año 2000. La produjo un modelo interno sin nombre que la empresa describe como "significativamente más capaz que GPT-6 Astra", el tope de gama que lanzó hace menos de una semana. Es, si se sostiene, el mayor resultado intelectual atribuido a una IA hasta la fecha. Y precisamente porque es tan gordo, conviene contarlo con toda su letra pequeña.

Qué ha pasado exactamente

Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos (el agua de un grifo, el aire de un ala) desde hace casi dos siglos, y la gran pregunta abierta era si sus soluciones pueden "romperse": si un fluido perfectamente normal puede, según las ecuaciones, alcanzar velocidad infinita en tiempo finito. La prueba de OpenAI dice que sí: construye un fluido en reposo, con una fuerza suave aplicada y energía finita todo el rato, que desarrolla una singularidad. Interesante hasta para quien odie las matemáticas: si las ecuaciones permiten algo físicamente imposible, es que el mapa no es el territorio, y el modelo estándar de los fluidos tiene los días contados como espejo fiel de la realidad.

El cómo importa tanto como el qué. Según OpenAI, el 1 de septiembre oyeron rumores de que dos Problemas del Milenio estaban a punto de caer, y lanzaron a su modelo interno contra todos los que siguen abiertos. El grupo que atacó Navier-Stokes llegó a involucrar del orden de 10.000 agentes simultáneos que se repartieron el trabajo por su cuenta, intercambiaron 2,7 millones de mensajes y quemaron unos 130.000 millones de tokens de salida. La resolución llegó el sábado 5, unas 88 horas después de arrancar; la formalización en Lean (el lenguaje que permite verificar una prueba por ordenador, sin fiarse de nadie) tardó 17 horas más. Coste estimado: varios millones de dólares. Para un solo teorema.

La letra pequeña matemática

El enunciado oficial del premio admite varias formas de resolver el problema, y OpenAI eligió la puerta C: demostrar la singularidad para las ecuaciones con una fuerza externa aplicada. Es una opción legítima sobre el papel, pero buena parte de la comunidad matemática considera que el problema "de verdad" es el de las ecuaciones sin fuerza, que sigue abierto. El presidente del Instituto Clay habló de "un día emocionante" y de una evaluación "deliberadamente pausada y absolutamente rigurosa": su web sigue listando Navier-Stokes como no resuelto, sus normas exigen publicación en revista y dos años de aceptación de la comunidad, y OpenAI ya ha dicho que no perseguirá el premio.

Y luego está la bronca. Tristan Buckmaster (NYU) y Levent Alpöge (matemático empleado de Anthropic) llevaban desde mediados de agosto trabajando en la misma dirección, usando Claude, Codex y Astra como herramientas, y publicaron el día 7 su propia prueba para un caso simplificado (sin viscosidad), anunciando que la general está en camino. Buckmaster sostiene que OpenAI se lanzó a por esta vía precisamente tras oír los rumores de su trabajo; OpenAI reconoce que el rumor fue el detonante, asegura que no vio nada de su material y ofrece un matiz muy 2026: "no podemos descartar que datos anonimizados derivados de su uso de nuestros productos hayan mejorado nuestros modelos". El mismo día, un tercer equipo de Caltech publicó otra solución del caso simplificado con una red neuronal especializada. Tres pruebas en 48 horas para un problema de 90 años.

La lectura sin humo

Separemos las tres noticias que viajan juntas. La primera es matemática y tiene asteriscos: se ha resuelto una variante importante de un Problema del Milenio, pendiente de verificación independiente, y el problema canónico sigue abierto. La segunda es tecnológica y es enorme sin asteriscos: una IA ha producido matemática de frontera nueva y verificada formalmente, algo que hace un año era ciencia ficción, y no lo ha hecho un genio digital solitario sino una multitud de agentes coordinándose solos. Es la tesis del año (más cómputo en paralelo, no modelos más listos) llevada al extremo.

La tercera es comercial, y es la que explica el momento del anuncio: OpenAI acaba de contarle al mundo que tiene en el horno algo "significativamente más capaz" que el modelo que te vendió la semana pasada, sin nombre, sin fecha y sin precio. Eso también es el anuncio: el teorema como tráiler. Que sea probablemente cierto no quita que sea marketing; que sea marketing no quita que, esta vez, el producto haya demostrado un teorema.

Fuentes: OpenAI · Nature · CNBC · 8-9 septiembre 2026