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 May Usher in an Era of Proof Surplus in Math(3 posts)→
More from AGI Musings
- Douglas Hofstadter's classic talk: analogy as the core of cognition — ArtificialOther · 2026-10-16
- MIT's Neil Thompson: AI comes for tasks before jobs, and fixed costs favor big firms — bigdata · 2026-10-16
- Open-weight models thrive because of China's ecosystem — and new regulation may end that — tokenbender · 2026-10-16
- Podcast host says Claude's 'go to the ER now' warning caught his cancer and likely saved his life — davidsenra · 2026-10-16
- Amba Kak: 64% of Americans now say the data center rush isn't a good thing — AINowInstitute · 2026-10-16
- Peter Diamandis: Stop waiting for the next AI model — it's always weeks away, start building today — PeterDiamandis · 2026-10-16