OpenAI's Navier-Stokes proof and credit dispute

OpenAI announced on September 8, 2026 that its AI system solved the Navier-Stokes Millennium Prize problem, but the announcement immediately produced a priority dispute with mathematicians who say their unpublished work was not properly credited. OpenAI launched the effort on September 1 after hearing rumors that two Millennium Prize problems had been solved by others, deploying roughly 10,000 concurrent agents that reached a resolution in about 88 hours, with formal verification via GPT-6 Astra requiring an additional 17 hours. The effort consumed approximately 2.7 million messages and 130 billion output tokens for the Navier-Stokes problem alone, with computing costs OpenAI executives put in the millions of dollars. OpenAI has stated it does not plan to claim the $1 million prize. The Clay Mathematics Institute has not yet acknowledged any party for a correct solution.