OpenAI Unveils AI-Generated Proof for Navier–Stokes Problem

The Navier–Stokes equations underpin models of fluid motion used in aircraft design, weather forecasting and blood-flow research. Mathematicians have spent roughly 90 years asking whether a smooth three-dimensional flow can develop a finite-time singularity, where velocity becomes unbounded. The Clay Mathematics Institute designated the question one of seven Millennium Prize Problems in 2000, carrying a $1 million award. A machine-generated, formally verified proof would mark a major advance for AI-assisted mathematics and automated reasoning.

OpenAI on Sept. 8, 2026, released a claimed solution produced by an internal model more capable than GPT-6 Astra and about 10,000 coordinating agents. The agents reached the result after 88 hours, followed by 17 hours of Lean formalization and verification. New York University mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge disputed the priority narrative and questioned whether Codex usage data influenced OpenAI’s model. OpenAI denied accessing specific user data, said the proofs and results differed, and does not plan to seek the $1 million prize. Independent review remains pending.