Terence Tao says AI may prove more theorems, but math will not get faster
xiaohu · x · 2026-07-28
Terence Tao says AI will likely produce many more mathematical proofs, but that does not mean mathematics itself will speed up.
In his ICCM talk, he splits math research into a pipeline: finding a proof, checking it, rewriting it so humans can understand it, getting peer acceptance, and eventually turning it into textbooks. He argues AI may accelerate only the first step, while the later steps remain human-heavy and valuable. He also warns that proofs that are too smooth can be counterproductive, because the hard parts are often what force real understanding. His recommendations: make AI disclosure routine, shift effort from racing to solve problems toward digesting proofs, and avoid publishing results that cannot be clearly explained.
Related event: Terence Tao Says AI Will Lead to an Era of Proof Excess in Math(2 posts)→
More from AGI Musings
- AI should not be steered by a handful of companies, the post argues — ctjlewis · 2026-07-28
- AI will become more probabilistic and adaptive, and ethics will matter more — AryHHAry · 2026-07-28
- AI extinction risk is now intuitive, not just an expert-only concern — zetalyrae · 2026-07-28
- What intelligence is, and why one Reddit essay says computation came after life — Bargian · 2026-07-28
- Math and theoretical physics conjectures may be AI’s next AlphaGo, but paradigm shifts still look out of reach — burny_tech · 2026-07-28
- Gowers on the Leiden Declaration: AI is forcing mathematics to rethink proof and certainty — burny_tech · 2026-07-28