OpenAI Claims Unreleased AI Model Solved Navier-Stokes Millennium Prize Problem in 88 Hours, Sparking Credit Dispute

OpenAI announced on September 8 that an unreleased internal AI model produced a solution to the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a 1 million dollar award each, after roughly 88 hours of effort using approximately 10,000 concurrent agents. GPT-6 Astra then spent an additional 17 hours helping formalize and verify the proof using the Lean theorem prover. Across all attempted Millennium Prize problems, the agents sent 4.9 million messages and used about 300 billion output tokens. Only one Millennium Prize Problem had previously been solved.

The Navier-Stokes problem, which has gone unresolved for roughly 90 years, asks whether smooth three-dimensional fluid motion can break down under the equations that govern how liquids and gases move. The equations describe the movement of fluids and are widely used in fields including aircraft design, weather forecasting, and blood-flow modeling. OpenAI's effort began on September 1 after hearing a rumor which the company later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU. After completing its full project and Lean verification on September 6, OpenAI reached out to offer a concurrent release and to recognize their priority in a joint announcement. OpenAI was clear that Levent would not be invited as a co-author due to OpenAI's competitive relationship with his employer.

Terence Tao, a mathematics professor at the University of California, Los Angeles, warned that such technologies risked weakening human understanding of mathematics. The Clay Mathematics Institute said in a statement that the news represents a milestone advance in human knowledge, noting that the story began with Navier, Stokes, Leray, and Ladyzhenskaya and has culminated in the recent breakthroughs of Córdoba and Martínez-Zoroa, then assisted by new technologies Alpöge and Buckmaster, with the final steps taken by OpenAI mathematicians.

Sources

Sources: ETV Bharat, Neowin, Washington Post, ANI, Simon Willison, The Tribune, Qz, The Decoder, Wikipedia. OpenAI technical paper published September 8, 2026. Clay Mathematics Institute statement September 8, 2026. Quotes verified across outlets.