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
- CJR: journalists should stop hyping AI's supposed humanity — just say 'rogue' — ShakeelHashim · 2026-10-27
- PhD applicant emails up 4x YoY due to AI — writing without AI now makes you stand out — AI4Code · 2026-10-27
- Weil's collapse shows BigLaw dies from eroding belief, not a broken business model — jkubicki · 2026-10-27
- All 8 Transformer paper authors left Google, and rival labs captured most of the frontier value — signulll · 2026-10-27
- Anthropic's S-1 pledges AI for curing diseases and serving 4.6B underserved patients — petergyang · 2026-10-27
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27