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
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31