Amid AI math discourse, Thurston's 1994 'On Proof and Progress in Mathematics' resurfaces
keenanisalive · x · 2026-09-13
Responding to recent discourse around Navier–Stokes and AI mathematics, keenanisalive points to William Thurston's 1994 paper "On Proof and Progress in Mathematics" as saying everything that needs to be said. Written in response to Jaffe–Quinn, the paper argues mathematical progress goes beyond formal proofs of theorems, drawing on Thurston's work on foliations, geometrization of 3-manifolds, and dynamical systems.
More from AGI Musings
- Suchenzang: near-zero odds labs agree on a credible third-party safety evaluator — suchenzang · 2026-09-13
- View: Jensen Huang is the lone dissenter against frontier-lab doom, protecting open source — SumitGup · 2026-09-13
- Alexandr Wang: Alignment may be the gating factor for scaling at the frontier — alexandr_wang · 2026-09-13
- Claim: OpenAI delays IPO to at least 2027; critic calls it bond-market stress, not safety — SumitGup · 2026-09-13
- Benjamin Bratton: Intelligence explosions are a good thing for planets to do — bratton · 2026-09-13
- AI Progress Runs at the Speed of Its Slowest Bottleneck: Compute or Deployment — menhguin · 2026-09-13