The Information Machine
Following·Day 6·first covered 8 Sep 2026·7 sources

OpenAI Claims Navier-Stokes Proof; Credit Dispute Follows

The gist

A claimed solution to a Millennium Prize problem is rare, but the dispute over credit raises questions about whether researchers can safely use frontier AI labs' tools when working on unpublished discoveries, as Axios reported.

The full picture

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.

How it developed
8 September 2026

OpenAI announced AI progress on Navier-Stokes; Buckmaster and Alpöge posted fluid blowup proofs and disputed OpenAI contact, per Unite.AI report.

Sources
2 more sources
The daily email

Want this in your inbox?

I send one email each morning with the stories that moved. If you would rather just read here, that works too.

Subscribe free