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
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- CJR: AI can't really 'go rogue' — why journalists should stop anthropomorphizing agents — ShakeelHashim · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Deep learning veteran warns: don't let entrenched disbelief derail prep for the next big tech — jachiam0 · 2026-10-27
- Should platforms serve third-party AI agents? The antitrust question — sjgadler · 2026-10-27
- Musk: robot RAM demand will dwarf everything else, and 100% of superintelligence compute goes to deep space — elonmusk · 2026-10-27