OpenAI Claims Navier-Stokes Millennium Prize Solution, Prompting a Mathematician's Rethink on AI Math
fortnow · x · 2026-09-14
Blogger Bill Gasarch had vowed he'd only write about AI math once AI solved a Millennium Prize Problem — and on September 8, OpenAI announced exactly that: a solution to the Navier-Stokes Millennium Prize Problem, with Lance Fortnow covering it the next day.
Back in May, after OpenAI resolved the Erdős Unit Distance problem, Gasarch sketched two futures: (1) such results would be rare flukes — counterexamples assembled from known math in a perfect storm; (2) AI makes seeking help so easy that everyone will end up prematurely outsourcing problem-solving. Reality has not been kind to option one: in August OpenAI solved ten open math problems, and the line between proving a conjecture and constructing a counterexample may be an illusion. The piece captures how mathematicians are adjusting to AI as a routine solver of open problems.
Related event: OpenAI Claims 10,000 Agents Solved Navier-Stokes Problem in 88 Hours(11 posts)→
More from AGI Musings
- UBI and discretionary income: what happens to middle-class lifestyles? — theearthcrosser · 2026-10-31
- One year later: is MIT's claim that 95% of AI pilots fail actually true? — killboy123 · 2026-10-31
- Nat Lambert: Open models could be what holds the AI ecosystem together — natolambert · 2026-10-31
- Kai-Fu Lee's 'AI Native' ships Nov 3 with endorsement from Satya Nadella — kaifulee · 2026-10-31
- Half-Life writer Chet Faliszek argues AI shortcuts erase the intentionality behind game craft — slhamlet · 2026-10-31
- Companies that replaced engineers with AI are rehiring seniors at a premium — DavidLinthicum · 2026-10-31