Terence Tao says AI is pushing math from proof scarcity to proof abundance
lmthang · x · 2026-07-25
Terry Tao’s talk frames mathematics as a five-stage pipeline: proof generation, verification, exposition, publication, and canonicalization. AI is already strong at generating candidate proofs and making progress on verification, but the later stages still depend heavily on humans.
- Tao argues the field is moving from proof scarcity to proof abundance.
- The remaining bottlenecks are not just finding proofs, but turning them into something that is clearly communicated, accepted, and eventually absorbed into the standard body of knowledge.
- The broader message is that AI can become a real tool for mathematicians and scientists, but only if it helps with the full lifecycle of mathematical knowledge, not just raw 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