CONFIRMADO

OpenAI afirma haber producido una solución al problema de existencia y suavidad de Navier Stokes, uno de los siete Problemas del Milenio. La empresa publicó una prueba analítica y una formalización en Lean que muestran que un movimiento fluido suave en tres dimensiones puede desarrollar una singularidad en tiempo finito. Es una afirmación extraordinaria, pero el hecho confirmado hoy es que OpenAI publicó el resultado y sus materiales de apoyo. Que la prueba resuelva por completo el problema del Clay Mathematics Institute todavía depende de una revisión matemática independiente.

El modelo detrás del resultado no es GPT 6 Astra

OpenAI dice que la prueba analítica salió de un modelo interno significativamente más capaz que GPT 6 Astra, cuyo entrenamiento continúa y cuyo nombre público y condiciones de acceso todavía se desconocen. Astra se utilizó para la formalización final en Lean, que tomó 17 horas adicionales. La distinción importa: el modelo público ayudó a convertir el argumento en algo comprobable por máquina, pero no fue el sistema al que OpenAI atribuye el descubrimiento central.

Diez mil agentes y 88 horas

El trabajo utilizó un sistema coordinado con unos 10.000 agentes concurrentes, acceso a una versión en caché de internet, ejecución de código y comunicación entre grupos. OpenAI afirma que los agentes produjeron 2,7 millones de mensajes y utilizaron aproximadamente 130.000 millones de tokens de salida durante el trabajo sobre Navier Stokes. La resolución llegó después de unas 88 horas, seguida de verificación formal. La escala no es un detalle. Apunta a una arquitectura de investigación en la que un modelo de frontera delega exploración, comparación, consolidación y formalización entre una gran población de trabajadores paralelos.

Qué se habría establecido

El resultado reportado es una refutación de la suavidad global en el contexto indicado. OpenAI describe un vórtice que gira hacia dentro y se alarga mientras la velocidad del fluido crece sin límite en tiempo finito, aunque la energía permanece finita. La empresa afirma que esto establece los enunciados C y D de la formulación oficial de Clay. También dice que no pretende reclamar el premio de un millón de dólares. La verificación en Lean comprueba la derivación codificada, pero investigadores independientes todavía deben revisar si el teorema formal coincide exactamente con todos los supuestos e interpretaciones del problema original.

Por qué cambia la carrera de modelos

Esto es más grande que otro benchmark. OpenAI está mostrando una frontera de capacidad por encima de su modelo insignia público y utiliza un resultado científico para revelar la dirección de la siguiente generación. La consecuencia práctica inmediata no es que las empresas puedan acceder al modelo oculto. Es que la brecha competitiva puede estar ampliándose más rápido de lo que sugieren los catálogos públicos, mientras el coste de ejecutar grandes enjambres de agentes se convierte en parte de la historia de capacidad.

La lectura de MaxAssistant

La señal confirmada es fuerte: los modelos de frontera pasan de resolver ejercicios acotados a coordinar programas de investigación largos con artefactos comprobables por máquina. La salvedad es igual de importante. El anuncio de una empresa no equivale a la aceptación comunitaria de una solución a un Problema del Milenio. Hasta que matemáticos independientes revisen la prueba y su formalización, debe leerse como un informe importante de capacidad y una resolución propuesta, no como consenso científico cerrado.

Fuentes

OpenAI, On the Navier Stokes Millennium Prize Problem: https://openai.com/index/navier-stokes-solution/ | alphaXiv, registro independiente del resultado publicado: https://alphaxiv.org/abs/2609.navier-stokes-solution | DEV Community, análisis del papel de Astra en la verificación: https://dev.to/alifar/openai-reports-navier-stokes-breakthrough-with-gpt-6-astra-used-for-lean-verification-19d2 | Clay Mathematics Institute, contexto oficial del problema: https://www.claymath.org/millennium-problems/navier-stokes-equation