Sandberg: extracting understanding from opaque proofs needs methods we don't yet have
anderssandberg · x · 2026-09-13
Sandberg notes that path (1)—humans and AI deriving deep understanding from opaque solutions—will require hard work because no method exists yet; experimental mathematics may point vaguely in the right direction. The motivation problem also needs solving.
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