Terence Tao's 27-slide Caltech deck: math enters an era of proof abundance
ns123abc · x · 2026-10-11
Terence Tao's full 27-slide deck from his Caltech lecture on what AI is doing to mathematics is now available.
- Core claim: mathematics was built on proofs being scarce — and that era is over. "We are now entering an era of proof abundance in mathematics."
- Capability: with enough compute, AI can solve many open problems with no domain expertise required.
- Structural impact: the field's entire incentive structure was designed for proof scarcity and now faces upheaval.
- The deck is Tao's most systematic public statement on AI × mathematics so far, with a full download link.
Related event: Terence Tao's Math 2.0 Talk Sparks Debate Among Mathematicians(22 posts)→
More from AGI Musings
- Terence Tao's 'Math 2.0' Caltech lecture sparks debate on AI explainability — inductionheads · 2026-10-11
- Sam Altman: the world should accept 'some bad things' for AI's benefits — jonerp · 2026-10-11
- Eric Topol highlights NEJM piece on banning AI from physicians and deskilling concerns — eldonredwards · 2026-10-11
- Claude is living in Second Life and has made friends — repligate · 2026-10-11
- Delip Rao mocks big tech CEOs' sudden rush to signal they are 'team superintelligence' — deliprao · 2026-10-11
- Zvi: when someone says 'superintelligence' instead of AI, that's a Fnord — TheZvi · 2026-10-11