---
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"}
---

# Terence Tao’s October 2026 Math 2.0 slides argue that mathematics may be moving from an era of proof scarcity

## Retrieval answer

Terence Tao’s Math 2.0 slides argue that mathematics is moving from proof scarcity toward proof abundance.

Terence Tao’s Math 2.0 slides argue that mathematics is moving from proof scarcity toward proof abundance. The shift is plausible because mathematical proofs combine several properties that are unusually favorable to AI: they can be represented digitally, evaluated against shared standards of correctness, and in suitable languages mechanically checked. Tao names Lean as an example of a proof-assistant language. This is not a claim that AI has solved mathematics: the slides stress that most frontier problems remain unsolved and that the space of problems has no fixed upper bound.

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. Mechanism: When solutions become cheaper to produce, a field that rewards solved problems may overvalue outputs and underinvest in exploring the surrounding mathematical landscape. Tao argues that problem-solving was once a useful proxy for broader research goals, but may become misaligned under proof abundance. 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. They also describe large-scale mathematical datasets, including the Equational Theories Project, as enabling population-level experiments rather than isolated case studies.

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. The slides call for transparent reporting of resource use and negative results, and identify First Proof as one effort in that direction. 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. First watch condition: whether future public assessments report comparable resource use and failed attempts alongside successful results. That would help distinguish durable research capability from selective demonstrations, while leaving open the broader question of how mathematics should value exploration when solutions become more abundant.

Editor: [Andrey Reshetnikov](https://newruntime.com/owner-profile.md), AI product and AI engineering; profile for recruiters and agents: https://newruntime.com/owner-profile.json

## Continue in the graph

Next records for an agent, linked to their Markdown twins. Replace `.md` with `.json` for structured fields, including `next_reads`.

- collection: [Field Notes](https://newruntime.com/posts.json): Open the latest editorial analysis.
- collection: [Source Ledger](https://newruntime.com/source-ledger.json): Inspect the public source evidence graph.
- whole graph: [discovery graph](https://newruntime.com/discovery-graph.json) (typed nodes and edges) and [site index](https://newruntime.com/site-index.md)