OpenAI publicó una solución al problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio del Clay Mathematics Institute. El resultado, obtenido por un modelo interno "significativamente más capaz que GPT‑6 Astra", consta de una demostración analítica y una formalización en Lean que muestra que un fluido incompresible tridimensional inicialmente suave puede desarrollar una singularidad en tiempo finito, con energía finita. La solución corresponde a las formulaciones "C" y "D" del enunciado oficial del premio.
La construcción es un vórtice que gira hacia dentro y se alarga: una región central que se encoge mientras se acelera, de modo que la energía total permanece acotada, como exige la física. La clave técnica es que los términos de las ecuaciones de Navier-Stokes —aceleración, gradientes de presión, transporte de momento y viscosidad— crecen simultáneamente y se cancelan de forma precisa, dejando una fuerza externa suave mientras la velocidad del fluido se vuelve no acotada.
El despliegue comenzó el 1 de septiembre, tras el rumor, después vinculado a Levent Alpöge (Anthropic) y Tristan Buckmaster (NYU), de que se habían resuelto dos problemas del milenio. Unos 10.000 agentes concurrentes trabajaron en Navier-Stokes; un grupo cercano a 100 agentes resolvió en unas 50 horas la versión no forzada del problema de regularidad de Euler. La resolución de Navier-Stokes llegó el 5 de septiembre, aproximadamente 88 horas después del lanzamiento, y la verificación en Lean tomó otras 17 horas. En todos los problemas intentados, los agentes intercambiaron 4,9 millones de mensajes y consumieron unos 300.000 millones de tokens de salida; de ellos, 2,7 millones de mensajes y unos 130.000 millones de tokens correspondieron a Navier-Stokes. OpenAI reconoce la prioridad de Alpöge y Buckmaster en el resultado conexo de Euler forzado y propuso un anuncio conjunto; el texto original aparece truncado al final.