AMS confirms OpenAI mathematicians completed final steps on the Navier–Stokes problem
RexDouglass · x · 2026-09-09
The American Mathematical Society, in a statement by president Ravi Vakil and CEO John Meier, confirmed a milestone advance on the Navier–Stokes problem.
- The problem traces back to Navier, Stokes, Leray, and Ladyzhenskaya
- The breakthrough chain: recent work by Córdoba and Martínez-Zoroa → advances by Alpöge and Buckmaster assisted by new technologies → final steps by OpenAI mathematicians
- AMS calls the achievement and its process a long-lasting contribution to human understanding
If confirmed, this would mark AI's first substantive contribution to a top-tier open problem in mathematics.
Related event: AMS Confirms Navier-Stokes Breakthrough as Lean Proof Goes Open Source(4 posts)→
More from AGI Musings
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- Anthropic: junior tech hires fell from 27% to 9% as agent hours hit 6x employee hours — thione · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26
- Anthropic's S-1 Shows $6.6M Revenue Per Employee as AI Agents Log 6x Human Hours — jacalulu · 2026-10-26
- Ben Recht: The world needs a truly open language model, and it's easier to build than you think — beenwrekt · 2026-10-26
- Which jobs fall to AI first? The rule: any layer whose rules can be written as code — FinanceYF5 · 2026-10-26