Even a proof oracle wouldn't end math: conjectures like Thurston's matter as much as proofs
keenanisalive · x · 2026-09-13
Imagining a hypothetical oracle that instantly proves or disproves any statement (a metaphor for AI mathematicians), keenanisalive argues math wouldn't be over: you'd still need to figure out how theorems relate, build the bigger picture, and explain it. He cites Thurston's geometrization conjecture — Perelman won the first Millennium Prize for proving it, but without Thurston's 1982 conjecture there'd be nothing to prove. Proofs are just part of the story.
Related event: Debate on X: What Remains of Human Mathematics After AI Solves Problems(26 posts)→
More from AGI Musings
- Video argues AI can't take everyone's jobs: excess demand means no mass layoffs — EGarrett28 · 2026-09-13
- Halvar Flake: METR's independence from frontier labs is only nominal — AccBalanced · 2026-09-13
- X Thread: Give AI Legal Standing to Be Held Liable as an Alignment Mechanism — JohnWittle · 2026-09-13
- Fine-Tuned Open Models: 95% Cheaper, Better, Trained in 48 Hours — Are Frontier Labs' Moats Gone? — ayushtweetshere · 2026-09-13
- One Horror Story of User Liability Would Force the AI Industry to Change, Argues Dev — jd_pressman · 2026-09-13
- Two-Year-Old Prediction of AI Regulatory Capture Is Playing Out, Says Post — beffjezos · 2026-09-13