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

# 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 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.

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

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: [Raw Signals](https://newruntime.com/signals.json): Open every source-linked raw signal.
- 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)