Mathematician: OpenAI's Navier-Stokes proof is a once-in-a-century contribution; human understanding will now lag machine proofs
tszzl · x · 2026-09-13
Mathematician Scott Armstrong pushes back on skepticism about OpenAI's Navier-Stokes blow-up construction, calling it a huge contribution: PDE analysts will need weeks to a month to digest it, and once someone rewrites it accessibly, human understanding of these equations will break the bottleneck stuck since Leray 100 years ago.
He highlights the real paradigm shift: proofs used to emerge after human understanding, but from now on machines will typically write the proofs first, with human understanding following closely behind. The quoted tweet meanwhile mocks the discourse that treats "listing all known truths without explanations" as the bar for AI in math — like a professor declaring the class will skip explanations entirely.
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