OpenAI AI System Solves Navier–Stokes Millennium Prize Problem
Original: On the Navier–Stokes Millennium Prize Problem
Why This Matters
AI resolving a 90-year-old Millennium Prize math problem signals a new frontier for AI-driven scientific discovery.
OpenAI announced on September 8, 2026 that an internal AI system more capable than GPT-6 Astra produced an analytical proof and Lean formalization showing that Navier–Stokes equations for 3D incompressible fluid can develop a singularity in finite time, resolving one of seven Clay Mathematics Institute Millennium Prize Problems after ~90 years.
OpenAI published a solution to the Navier–Stokes existence and smoothness problem, one of seven Millennium Prize Problems designated by the Clay Mathematics Institute in 2000. The proof was produced by an internal AI system described as significantly more capable than GPT-6 Astra. OpenAI released both a written proof and a formalization in Lean, the proof verification language.
The Navier–Stokes equations, dating to 19th-century work by Claude-Louis Navier and George Gabriel Stokes, describe fluid motion by applying Newton's second law to continuous media. They underpin aircraft design, weather forecasting, and blood flow modeling. The core open question—whether smooth 3D solutions could develop a 'singularity' (unbounded velocity in finite time) despite viscosity—had remained unresolved since Jean Leray proved generalized solutions exist in 1934.
The proof establishes that an initially smooth fluid at rest, subject to a smooth applied force with finite energy throughout, can develop a singularity in finite time. The mechanism is a vortex that spirals inward and elongates ('spaghettification'), with the central region shrinking while velocity grows, yet total energy remains finite. This confirms statement 'C' (and 'D') in the official Millennium Prize formulation. OpenAI stated the result demonstrates the pace of AI progress and previews capabilities of upcoming models.