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.
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from AGI Musings
- Five agents can agree because they made the same mistake, krishnan warns with satire — krishnan · 2026-10-31
- Google's earnings offer clearest look yet at the cruel economics of AI search — dinabass · 2026-10-31
- Stanford 12-month study of 439 users: heavy AI companion use sticks, well-being drops via less human contact — stanfordnlp · 2026-10-31
- Wired AI Lab: Codex tried to bench Erling Haaland in a fantasy football experiment — willknight · 2026-10-31
- a16z: B300 GPU rentals up 106% since July while average token prices fall 58% — a16z · 2026-10-31
- Stanford's TaskNet builds occupational task inventories from worker interviews at scale — stanfordnlp · 2026-10-31