OpenAI has announced an AI-generated solution to the Navier–Stokes Millennium Prize Problem, one of the most challenging unsolved problems in mathematics. The solution includes a comprehensive writeup and a formal proof developed using Lean, a proof assistant. The Navier–Stokes equations are fundamental in fluid dynamics, and solving them has been a major goal for mathematicians. This development could mark a significant milestone in both mathematical research and the application of AI in theoretical problem-solving, pending verification by the mathematical community.
Read originalEarlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
OpenAI · May 20, 2026 · Related
TechCrunch AI · May 20, 2026 · Related
The AI Daily Brief · May 24, 2026 · Background
NVIDIA Blog · July 6, 2026 · Background
OpenAI · August 1, 2026 · Background
The Rundown AI · August 3, 2026 · Related
The Rundown AI · August 3, 2026 · Related
The Verge AI · August 11, 2026 · Related
TechCrunch AI · September 21, 2026 · Related
WIRED AI · September 28, 2026 · Same story
Wes Roth · October 7, 2026 · Related
WIRED AI · October 14, 2026 · Related
The Verge AI · October 26, 2026 · Related
AI tackles Navier–Stokes Millennium Prize Problem
12 developments