Terence Tao on AI-era math: entering an age of proof abundance
lmoroney · x · 2026-10-19
Terence Tao has been publicly exploring AI's impact on mathematics via his Caltech "Math 2.0" lecture and a Numberphile interview, arguing AI is moving math into an era of "proof abundance" where problems once considered hard are increasingly solved quickly with AI assistance.
Related event: Terence Tao Says AI Ushers Math into an Era of Proof Surplus(2 posts)→
More from AGI Musings
- Study of 102 students finds AI use reinforces the illusion of understanding — robertonappe · 2026-10-19
- Anthropic research finds verbalizable representations form a global workspace in LLMs — MoonL88537 · 2026-10-19
- Mike King: Google's Generative UI means rank tracking as we know it is dead — VeryWellVersed · 2026-10-19
- Why computational programs likely can't be conscious: Anna Ciaunica's embodied-mind argument — AnnaCiaunica · 2026-10-19
- Nathan Lambert: using models outside coding makes me feel AGI is a while away — natolambert · 2026-10-19
- Hacker used AI agents and ~$5,000 in tokens to breach 100+ corporate sites — deanwball · 2026-10-19