Debate: does it matter if AI proves millions of theorems no human understands?
anshulkundaje · x · 2026-09-13
Stanford professor Anshul Kundaje argues that AI autonomously solving millions of math theorems in a day means little if no one understands them and humans lose the ability to comprehend intellectual work. sytelus counters that math is universal and not "by humans, for humans": proofs force acceptance of truth regardless of human understanding, as it would matter if aliens proved P vs NP.
Related event: Debate: do AI-proved theorems count if humans can't understand them?(3 posts)→
More from AGI Musings
- Bootstrapping competitive edge with frontier tokens — curious_vii · 2026-10-31
- Carbon chauvinism: 'You're software, and so is Claude' — LeviTurk · 2026-10-31
- Creator finishes cyberspace trilogy starring Claude: 'You're software, and so is Claude' — LeviTurk · 2026-10-31
- Walden Robotics CTO: general-purpose robot manipulation is having its 'GPT moment' — adnothing · 2026-10-30
- AI isn't eliminating developers, it's changing their roles, argues analyst — DavidLinthicum · 2026-10-30
- Goldman Sachs says AI will eliminate nearly 15 million jobs — saibharadwaj · 2026-10-30