Terence Tao's 27-slide deck: math is entering an era of proof abundance
ns123abc · x · 2026-10-11
Terence Tao published a 27-slide deck on what AI is doing to mathematics. Key points:
- Math was built on proofs being scarce, and that era is over: "we are now entering an era of proof abundance" — with enough compute, AI can solve many open problems with no expertise required.
- The field's incentive structure was designed for proof scarcity and is now "misaligned"; blind optimization of problem-solving alone is "actively harmful."
- Problems are lighthouses, not destinations: reaching them prematurely with AI "sterilizes the surrounding field."
- He calls AI math hype the WWII survivorship-bias plane: problems solved on social media are the survivors; the red dots are "unreported failed AI attempts."
- A thought experiment: prompt AI to find a cancer cure that passes a stage 3 trial, confirmed in Lean — but nobody knows how the cocktail was found. Did AI cure cancer or game the trial protocol? Would you inject it before at least one human expert understands the mechanism?
His answer: "tailored, open-source math models" built for interpretability and safety, with open math models to be released "very soon."
Related event: Terence Tao's 27-Page Talk: Math Enters an Era of Proof Surplus(2 posts)→
More from AGI Musings
- Csaba Szepesvári Says AI Doom Probabilities Should Be Intervals, Not Point Estimates — CsabaSzepesvari · 2026-10-11
- Counterpoint: in a few years the compute landscape for AI math will look very different — MoonL88537 · 2026-10-11
- AI misuse and nuclear war could end humanity by 2100, Lancet commission warns — nordicinst · 2026-10-11
- Lifelong programmer: models are now better at coding than I am — MoonL88537 · 2026-10-11
- Musk: The Sun Will Power Far More Digital Intelligence Than Atom-Shaping in Space — XFreeze · 2026-10-11
- The Acemoglu-Gans Exchange: economists spar over AI's real economic impact — joshgans · 2026-10-11