{"type":"post","id":"terence-tao-s-october-2026-math-2-0-ea2478","slug":"terence-tao-s-october-2026-math-2-0-ea2478","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 Math 2.0 slides argue that mathematics is moving from proof scarcity toward proof abundance.","retrieval_nugget":"Terence Tao’s Math 2.0 slides argue that mathematics is moving from proof scarcity toward proof abundance.","published_at":"2026-10-12","updated_at":"2026-10-12","record_date":"2026-10-12","date_kind":"published_at","topics":[],"source_urls":["https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:terence-tao-s-october-2026-math-2-0-ea2478","status":"published","visuals":[],"editorial_provenance":{"schema_version":"newruntime-editorial-copy-v1","content_status":"source_grounded_final","final_copy_sha256":"sha256:ad16c9d33437d64417969a2d27eac3d066b43e8f2ed2cf3be0d4a1a4fe79d8d0","reviewed_at":"2026-10-12T04:01:58.498Z","source_evidence_count":1,"verified_claim_count":3,"site_analysis_schema_version":"newruntime-site-analysis-v1","site_object_kind":"field_note","observed_fact_count":3,"implication_count":2,"watch_condition_count":1,"related_record_count":0},"analysis":{"schema_version":"newruntime-site-analysis-v1","object_kind":"field_note","thesis":"The central change Tao identifies is not simply faster problem solving, but a possible mismatch between abundant solutions and the incentives that historically organized mathematical research.","observed_facts":[{"text":"The slides describe mathematical proofs as objectively verifiable and say they can be mechanically checked when written in a suitable proof-assistant language such as Lean.","source_urls":["https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf"]},{"text":"The slides state that most problems at the current frontier of mathematics remain unsolved, despite computational expenditure.","source_urls":["https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf"]},{"text":"The slides call for assessments reporting resource consumption and negative results, and identify First Proof as one effort in this direction.","source_urls":["https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf"]}],"mechanism":"When solutions become cheaper to produce, a field that rewards solved problems may overvalue outputs and underinvest in exploring the surrounding mathematical landscape.","why_now":"The slides point to substantial AI investment in mathematical problem-solving and to current systems finding solutions to some problems previously thought difficult.","implications":["The implication is that the evaluation unit should include more than whether a result was produced: the path, resource consumption, failures, and independently checkable evidence matter.","If problem-solving becomes abundant, mathematical institutions may need to reward exploration and frontier expansion more explicitly."],"evidence_boundary":"This source is Tao’s presentation and its examples, not an independent audit of AI mathematical capability or proof that research incentives have already changed.","watch_conditions":["First watch condition: whether future public assessments report comparable resource use and failed attempts alongside successful results."],"related_records":[],"new_branch_reason":"No prior New Runtime record is supplied; this presentation creates a distinct analytical record about mathematical research incentives under possible proof abundance."},"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/posts/terence-tao-s-october-2026-math-2-0-ea2478/","markdown":"https://newruntime.com/posts/terence-tao-s-october-2026-math-2-0-ea2478.md","json":"https://newruntime.com/posts/terence-tao-s-october-2026-math-2-0-ea2478.json"},"next_reads":[{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.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"}]}