OpenAI reported significant progress on a second Millennium Prize Problem, following its claim regarding the Navier-Stokes equations on September 8. The company has not disclosed the specific problem or a timeline for its announcement.
The Clay Mathematics Institute offers a $1 million prize for each of the seven Millennium Prize Problems. While OpenAI has not confirmed the subject of its latest work, online speculation suggests it may be the Hodge Conjecture, a mathematical puzzle dating back to 1950.
The previous Navier-Stokes proof involved approximately 10 000 AI agents working for 88 hours to produce a Lean-verified result. This work is currently under review by the Clay Mathematics Institute, though the process typically spans years.
The Navier-Stokes announcement faced controversy following a dispute with mathematician Tristan Buckmaster. Buckmaster alleged that OpenAI researcher Sébastien Bubeck pressured him to exclude his collaborator, Levent Alpöge, from the publication.
OpenAI stated it does not intend to claim the $1 million prize money for any solutions. Instead, the company uses these mathematical challenges as a benchmark to measure the performance and improvement rate of its internal AI models.
The competitive landscape in AI research remains intense. Anthropic recently reported that its Claude model formalized a proof of Fermat's Last Theorem in 11 days, prompting concerns from mathematician Terence Tao regarding the depletion of available mathematical problems.
