Math Isn't Solved: AI Turns a Universe We Walked Into Wormholes
ignite_intelligence · reddit · 2026-09-22
Pushing back on "math is solved" takes, the author argues mathematics is an open system: thousands of open problems beyond the Millennium Prize Problems, and Gödel's incompleteness theorems guarantee the expansion never ends. AI now outperforms nearly every human at producing proofs — a tool turning centuries of foot travel across math's universe into wormholes. What's over is only ego-centric math.
More from AGI Musings
- AI x-risk debate reignited: distraction conspiracy or inconvenient truth? — AaronBergman18 · 2026-09-22
- Alex Epstein calls (P)doom 'fake threat analysis' that only manufactures fear — TinfoilTricorn · 2026-09-22
- Ruxandra Teslo: AI anxiety is about losing meaning and agency, not just jobs — anshulkundaje · 2026-09-22
- From Erdős to Millennium Problems: AI math progress is compounding fast — haider1 · 2026-09-22
- More inference than training machines means writing will soon beat reading — GregoryDiamos · 2026-09-22
- Hugging Face incident row: Andrew Ng calls AI fear a PR-driven setback, critics push back — aran_nayebi · 2026-09-22