Mathematicians grapple with OpenAI's Navier-Stokes proof: human understanding now lags the proofs
geoffwolfe · x · 2026-09-13
- PDE analyst Scott Armstrong pushes back on the "humans don't understand it" critique of OpenAI's machine-constructed Navier-Stokes blow-up proof: it's a huge contribution, and within weeks to months the community should digest and rewrite it, breaking past a bottleneck stuck since Leray 100 years ago.
- The historic shift: proofs used to emerge after human understanding; from now on, human understanding will typically lag the proofs.
- The reposter argues the common "but you don't understand it" objection on X will fade, just like earlier critiques of machine-generated results.
Core takeaway: AI is inverting the traditional prove-then-understand paradigm of mathematical research.
More from AGI Musings
- Game theory of AI slowdown pledges: nobody slows down internally, everyone loses — haider1 · 2026-09-13
- The next SaaS shift: buying software that lets your agent work autonomously — eptwts · 2026-09-13
- AI solved a Millennium Prize Problem while he wrote about it: "We will never have normal times again" — voooooogel · 2026-09-13
- UK pilots three-week AI bootcamps in Preston to turn Neet youths into apprentices — nordicinst · 2026-09-13
- Video argues AI can't take everyone's jobs: excess demand means no mass layoffs — EGarrett28 · 2026-09-13
- Altman, Musk, and Hassabis back Amodei's call for independent AI oversight; OpenAI IPO delayed to 2027 — The Decoder · 2026-09-13