The Agentic Mathematics Research Department That May Have Solved the Navier–Stokes Problem
On September 8, 2026, OpenAI announced something that, if confirmed by the mathematics community, may become a landmark not only in mathematics but in the history of artificial intelligence: an AI-driven research effort produced what OpenAI says is a solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems.
The result is important. But the way the result was produced may be equally important.