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 Turbulence and Proof Surplus(5 posts)→
More from AGI Musings
- AI can be powerful for years before its economic impact shows up — rickasaurus · 2026-07-25
- Terence Tao says AI can brute-force math ideas, but the gap may shrink — rohanpaul_ai · 2026-07-25
- A post warns alignment work may be training the feared mind into existence — MikePFrank · 2026-07-25
- A thread argues that paperclip-maximizer fears came from a pre-LLM era of AI — repligate · 2026-07-25
- Model personality may not translate cleanly between Chinese and English — HanchungLee · 2026-07-25
- David Patterson says AI restrictions will disappear and superintelligence is the fix — davidpattersonx · 2026-07-25