{"type":"raw_signal","id":"terence-tao-s-october-2026-math-2-0-c6500b","slug":"terence-tao-s-october-2026-math-2-0-c6500b","title":"Terence Tao’s October 2026 Math 2.0 slides argue that mathematics may be moving from an era of proof scarcity","description":"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.","retrieval_nugget":"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.","observed_at":"2026-10-12","record_date":"2026-10-12","date_kind":"observed_at","why_it_matters":"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. 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 cautio","novelty":"notable","verification_level":"source-linked","signal_type":"update","source_platform":"teorth.github.io","topics":[],"entities":["Terence Tao","Caltech","Lean","First Proof","Equational Theories Project","Inverse Galois Problem challenge"],"related_patterns":["scientific-agents-need-artifact-evidence"],"source_url":"https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf","source_urls":["https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"signal:terence-tao-s-october-2026-math-2-0-c6500b","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/signals/terence-tao-s-october-2026-math-2-0-c6500b/","markdown":"https://newruntime.com/signals/terence-tao-s-october-2026-math-2-0-c6500b.md","json":"https://newruntime.com/signals/terence-tao-s-october-2026-math-2-0-c6500b.json"},"next_reads":[{"type":"collection","path":"/signals/","url":"https://newruntime.com/signals/","title":"Raw Signals","reason":"Open every source-linked raw signal.","media_type":"text/html","json_url":"https://newruntime.com/signals.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}