Why mathematicians resist AI proofs — and why it's not just gatekeeping
rbhar90 · x · 2026-09-15
A widely shared thread takes on mathematicians' anger at AI solving their problems. The author argues it's too easy to dismiss this as gatekeeping or job protection, and uses old Civilization-style maps to explain why mathematicians have a real point — the value of a proof goes beyond its conclusion, touching the core debate over understanding vs. output in the AI era.
More from AGI Musings
- Two Years Ago Twitter Seriously Debated If LLMs Could Plan or Do Arithmetic — maksym_andr · 2026-09-15
- Rob Leclerc: Safety Orgs' High p(doom) Means They'll Sandbag and Veto Every Model Release — robleclerc · 2026-09-15
- SF Takes an Abstract Noble-Savage View of Enterprise Workflows, While New Yorkers Feel It Viscerally — willcb · 2026-09-15
- Ten Years Ago Musk, Hassabis, Bostrom and Others Warned About AI Risks on One Panel — iruletheworldmo · 2026-09-15
- Why Couldn't AI Be Conscious? Reddit Thread Challenges Intuition-Based Objections — Successful-Lie1603 · 2026-09-15
- Reddit: Without continuous learning, models can't be called AGI — Monochrome21 · 2026-09-15