Anders Sandberg: once AI understands opaque proofs, human mathematics is essentially over
anderssandberg · x · 2026-09-13
AI researcher Anders Sandberg argues that once AI reaches the stage of extracting deep understanding from opaque solutions, human mathematics is "over" in a sense. Humans may retain a taste for what makes problems interesting, but he doubts this lasts indefinitely—eventually it will be like chess. Closing with Hilbert's "Wir müssen verstehen – wir werden verstehen," he suggests understanding is the point, not the struggle.
Related event: After AI Solves the Math, What's Left for Humans?(20 posts)→
More from AGI Musings
- Benn Stancil publishes long programming essay 'How to lose your mind' on AI-era coding — bennstancil · 2026-09-13
- Experiments show shared faulty inputs raise all-route agent failures from 4.6% to 7.0% — monkey_spunk_ · 2026-09-13
- Blogger: Dario's AI safety essay reads like US-style military-civil fusion in disguise — bilawalsidhu · 2026-09-13
- Peter Wildeford's case for pacing AI: 'already low-key out of control' amid an 'insane September' — KatjaGrace · 2026-09-13
- The intelligence explosion can't happen inside a data centre: the Goodhart Singularity argument — Alex__007 · 2026-09-13
- Altman says top AI leaders meeting to slow down AI 'will happen' and may be underway — 4KTV · 2026-09-13