Tao emphasizes that proofs are unusually amenable to objective verification, including mechanical checking in systems such as Lean, and that mathematical literature is increasingly digitized. He also cautions that most frontier problems remain unsolved and that optimizing only for problem-solving could harm the long-term health of mathematics. The slides call for more transparent assessments that report resource use and negative results, and point to large-scale data projects as a basis for experimental mathematics. Source: https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf
Raw SignalOct 12, 20261 min read1 source
Terence Tao’s October 2026 Math 2.0 slides argue that mathematics may be moving from an era of proof scarcity
In one minute
Terence Tao’s October 2026 Math 2.0 slides argue that mathematics may be moving from an era of proof scarcity toward proof abundance as AI systems solve some problems once considered difficult.