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.
More from AGI Musings
- Is AI writing the new Ozempic? One-line analogy captures ambivalence about AI-assisted work — vishalmisra · 2026-09-14
- Ex-DeepMind researcher Alex Turner resigns and warns: stop AI from self-improving beyond control — Turn_Trout · 2026-09-14
- "The AI Doc" documentary hits Netflix Sept 15, featuring 40+ AI experts and 3 frontier lab CEOs — aza · 2026-09-14
- WSJ's AI-Doom Coverage Spends Millions in Compute on Math Proofs, and Readers Ask Why — RaccoonMinimum172 · 2026-09-14
- TCS researcher: AI aids discovering new fields, more joy than angst — Aaroth · 2026-09-14
- Industrialized farming frees land near cities for people and nature — Afinetheorem · 2026-09-14