La afirmación de OpenAI sobre Navier-Stokes: una propuesta de 166 páginas verificada con Lean construida en 88 horas

OpenAI declaró el 8 de septiembre de 2026 que un sistema interno había producido una propuesta para el problema del milenio de Navier-Stokes, con un trabajo intensivo iniciado el 1 de septiembre, un borrador analítico el 5 de septiembre y la verificación con Lean completada el 6 de septiembre. Para la vía de Navier-Stokes, la empresa cita unos 10.000 agentes concurrentes operando durante 88 horas, enviando 2,7 millones de mensajes y aproximadamente 130.000 millones de tokens de salida, mientras que todos los intentos sobre los problemas del milenio juntos alcanzaron 4,9 millones de mensajes y unos 300.000 millones de tokens. El modelo se describe como significativamente más capaz que GPT-6 Astra, el artículo se titula Finite Time Blowup for Navier-Stokes y tiene 166 páginas. La empresa presenta la publicación como un informe de progreso sobre la capacidad del modelo, no como una reclamación del premio, y dice que no tiene intención de reclamar el premio de un millón de dólares.

La propuesta se plantea como una refutación dirigida a las alternativas C y D del enunciado oficial del Clay Mathematics Institute. Las alternativas A y B piden una demostración de que unos datos iniciales suaves con viscosidad positiva permanecen suaves para siempre, mientras que C y D piden lo contrario: que un flujo incompresible tridimensional pueda perder suavidad en tiempo finito. La afirmación central, destacada como Teorema 1.1 en el artículo y resumida en el vídeo, es que un fluido que parte del reposo y permanece suave, cuando es impulsado por una fuerza externa suave de energía finita, puede desarrollar velocidades que crecen sin límite a medida que el tiempo se aproxima a un límite finito convencionalmente etiquetado como T igual a uno. El anuncio, recogido por la BBC y Nature, presenta esto como un cumplimiento de la redacción precisa del problema del milenio para cualquier viscosidad positiva.

El cuadro físico es el de un vórtice que se arremolina hacia el interior y se estira verticalmente como un espagueti, modelado matemáticamente mediante coordenadas de similitud que se contraen a ritmos distintos radial y axialmente. A medida que el núcleo esbelto se estrecha mucho más rápido de lo que se estira, la conservación del momento obliga a que el giro se acelere, con los gradientes de presión y los términos de transporte creciendo juntos. La incompresibilidad impide que el fluido que entra por los lados se acumule, desviándolo hacia un flujo vertical de salida, de modo que el movimiento hacia el interior y la aceleración del giro pueden seguir intensificándose. El vídeo traduce los números de Reynolds angulares no acotados del artículo como un momento que supera la difusión viscosa, lo que significa que el fluido realiza un número cada vez mayor de vueltas antes de que la fricción pueda amortiguar el movimiento.

La historia energética contraintuitiva es que una velocidad no acotada no implica necesariamente una energía no acotada. Como la región que alberga las velocidades extremas se encoge tan rápido, su volumen tiende a cero, y la energía cinética integrada en todo el espacio permanece uniformemente acotada. En el escalado de orden dominante del artículo, la contribución del núcleo de la explosión a la energía total incluso tiende a cero, un punto subrayado en el resumen de OpenAI y en la narración del vídeo. El resultado es un fenómeno de concentración más que una explosión, y así es como la construcción pretende cumplir la condición de energía finita exigida por el enunciado del milenio logrando aun así la explosión.

El ingrediente técnico más debatido es el carácter forzado de la explosión y la afirmación de que la fuerza externa permanece suave. En lugar de inyectar una fuerza infinita o singular en el momento crítico, la construcción organiza la aceleración, el gradiente de presión, el transporte y la fricción viscosa de modo que cada uno se vuelva grande pero se cancele en un balance detallado preciso, dejando una fuerza residual suave. El artículo describe esto como la adición de pulsos espacialmente oscilatorios cuyos flujos de momento no lineales cancelan la parte singular del residuo. En términos sencillos, las ondas internas y el momento redistribuyen la energía creciente de manera que el impulso aplicado externamente sigue pareciendo suave incluso cuando la velocidad diverge, que es el requisito difícil que impide un truco trivial.

Si se verifica, la importancia es fundamental más que industrial. Las ecuaciones de Navier-Stokes, que se remontan a los trabajos de Navier y Stokes del siglo XIX y se usan para el diseño de aeronaves, la predicción meteorológica y el flujo sanguíneo, tratan los fluidos como un medio continuo en lugar de seguir moléculas individuales. Una singularidad en tiempo finito con energía finita significaría que esa aproximación de continuo tiene un punto ciego matemáticamente demostrable: un fluido real no puede moverse infinitamente rápido, así que más allá de ese punto el modelo de continuo dejaría de ser un reflejo fiable de la realidad y habría que seguir el comportamiento a nivel de partículas. Como señalan New Scientist y Nature, saber que tal explosión es posible bajo un forzamiento suave permitido replantea los límites del modelado de continuo sin aportar por sí mismo un solver más rápido.

El método es un árbol de búsqueda masivamente paralelo más que un único modelo pensando durante 88 horas. OpenAI ejecutó primero unos 1.000 agentes durante 50 horas para obtener una refutación de regularidad de Euler sin forzamiento, luego trasladó la computación a Navier-Stokes y escaló a 10.000 agentes; 1.000 agentes necesitaron 11 horas para cerrar la etapa final una vez que se tuvo la idea de Euler. Se instruyó a grupos separados con las variantes A y B para buscar demostraciones de suavidad y con las variantes C y D para buscar refutaciones, con una capa de consolidación tipo Codex que polinizaba ideas intermedias, como trucos de equilibrio de presión, entre grupos aislados. La empresa estimó que reproducir la ejecución como cliente costaría del orden de 15 millones de dólares, y dijo que la formalización y verificación con Lean añadieron otras 17 horas mediante GPT-6 Astra, cifras repetidas en los informes de la BBC y Wired.

La verificación se apoya en el asistente de demostración Lean, que no lee el PDF como lo haría un humano, sino que comprueba los tipos de una traducción completa al lenguaje formal de Lean. El flujo va del argumento del PDF al teorema formalmente enunciado, luego a las derivaciones paso a paso en Lean y, por último, a la comprobación por el núcleo de que cada definición, lema y dependencia se sigue estrictamente de los axiomas declarados. Lean actúa como un revisor pedante que rechaza al instante cualquier salto no declarado, lo que lo convierte en una evidencia más sólida que preguntar a un modelo de lenguaje si las 166 páginas parecen correctas. Esa fortaleza tiene un límite entre sintaxis y semántica: una derivación perfectamente verificada de un enunciado mal formalizado sigue siendo una demostración del enunciado equivocado, por lo que los humanos aún deben auditar si la suavidad, el forzamiento, la energía acotada y las alternativas C y D se codificaron exactamente como pretende la formulación del Clay, junto con las bibliotecas importadas y los axiomas.

La cronología se solapó con trabajos liderados por humanos y desencadenó una disputa de prioridad sin evidencia establecida de copia. OpenAI afirma que el entrenamiento del nuevo modelo interno comenzó el 28 de agosto y que el enjambre se lanzó tras enterarse el 1 de septiembre de que dos problemas del milenio habían sido resueltos, luego comprendidos como relacionados con Tristan Buckmaster en NYU y Levent Alpoge en Anthropic. Buckmaster y Alpoge habían trabajado en el problema durante meses con Claude y Codex, publicando el 7 de septiembre una explosión de Euler con viscosidad cero y señalando avances en el caso forzado, mientras que un equipo de Caltech liderado por Anima Anandkumar reportó una solución con red informada por la física para la misma variante de Euler. OpenAI declara que ni los investigadores ni los agentes vieron ese trabajo no publicado antes de su difusión pública y que no se accedió a datos específicos de usuarios, añadiendo la advertencia de que no puede descartar que datos de uso desidentificados ayudaran indirectamente a mejorar el modelo, y subrayando que las demostraciones difieren y abordan entornos forzados frente a no forzados.

En términos prácticos, la propuesta cambia poco para la ingeniería del mañana. No proporciona un simulador de fluidos universal, ni código de dinámica de fluidos computacional más rápido, ni nuevos cierres de turbulencia; los ingenieros ya simulan fluidos bajo geometrías y condiciones de contorno específicas con métodos numéricos aproximados y no necesitan una demostración de explosión para diseñar un ala. El valor inmediato, según el propio planteamiento de OpenAI y el veredicto del vídeo, es la historia matemática y una señal concreta de que escalar la inferencia mediante el uso multiagente de herramientas puede producir construcciones novedosas y verificables, y no solo una mejor generación de texto. Como dijo el presidente del Clay, Martin Bridson, a New Scientist, la evaluación será deliberadamente pausada y rigurosamente comprobada, de modo que el problema sigue oficialmente abierto pendiente de la revisión por pares independiente, un proceso que las reglas del milenio ligan a al menos dos años después de la publicación.