Terence Tao says AI could turn mathematics from proof scarcity to proof abundance
burny_tech · x · 2026-07-26
Terence Tao’s slide deck argues that AI may push mathematics from proof scarcity to proof abundance.
- Open problems could increasingly yield unverified solutions, which then need proof verification, exposition, publication, digestion, and canonicalization before becoming part of the field.
- Tao warns that without policy and cultural changes, the system will develop major “proof indigestion”: many AI-generated proofs will pile up waiting for verification, readable writeups, peer review, and community consolidation.
- The core takeaway is that math may need new workflows for validating and absorbing the volume of AI-generated results, not just better theorem generation.
Related event: Terence Tao at ICM 2026: AI Ushers Math into an Era of Proof Surplus(12 posts)→
More from AGI Musings
- Speedrunning could become a weird RL playground for future AI labs — burny_tech · 2026-07-26
- With enough test-time compute, AI could discover many useful quantum algorithms — jachiam0 · 2026-07-26
- Indie AGI build log outlines a 13.2B-parameter byte-level causal model — flowersslop · 2026-07-26
- AI has turned advanced intelligence tools into something consumers can now access — sull · 2026-07-26
- AGI depends on expanding human curiosity and agency, not just capability — sebkrier · 2026-07-26
- Why an AI can’t reliably tell if it’s at full capacity, and what weak tests still help — dbojan76 · 2026-07-26