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: AI Ushers Math into an Era of Proof Surplus(14 posts)→
More from AGI Musings
- Mathematician Daniel Litt Launches Problem Repo to Track Human vs AI Progress: 15 Problems, 1 Solved — littmath · 2026-09-11
- Should AI models be taught morality? Breakout incidents expose missing ethical training — Pfungus_ · 2026-09-11
- SoftBank's Masayoshi Son predicts 100 trillion self-replicating AIs: "humans' era as top life form is ending" — Puzzleheaded-King584 · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- The AlphaFold lesson: AI-solved math may mean fewer mathematicians needed — kiki-le-koala · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11