---
type: "post"
id: "math-2-0-what-s-new-analysis-88cf11"
slug: "math-2-0-what-s-new-analysis-88cf11"
title: "Math 2.0 | What's new"
description: "Thesis: AI-assisted mathematics should be judged by whether it grows mathematical understanding, not only by whether it produces solutions."
retrieval_nugget: "Thesis: AI-assisted mathematics should be judged by whether it grows mathematical understanding, not only by whether it produces solutions."
published_at: "2026-10-11"
updated_at: "2026-10-11"
record_date: "2026-10-11"
date_kind: "published_at"
topics: []
source_urls: ["https://terrytao.wordpress.com/2026/10/10/math-2-0"]
schema_version: "newruntime-agent-readable-v0.2"
stable_id: "post:math-2-0-what-s-new-analysis-88cf11"
status: "published"
visuals: []
editorial_provenance: {"schema_version":"newruntime-editorial-copy-v1","content_status":"source_grounded_final","final_copy_sha256":"sha256:b248a6fe902c411f88371e0dd63ec6df95891668b694247e88be2fedbb68fc73","reviewed_at":"2026-10-11T14:03:32.448Z","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":"AI-assisted mathematics should be judged by whether it grows mathematical understanding, not only by whether it produces solutions.","observed_facts":[{"text":"Tao says he uploaded slides from his public lecture “Math 2.0,” given the previous evening at Caltech.","source_urls":["https://terrytao.wordpress.com/2026/10/10/math-2-0"]},{"text":"Tao says the talk was originally titled “Machine Assisted Proof,” scheduled for May, postponed to October, and changed significantly in light of recent events.","source_urls":["https://terrytao.wordpress.com/2026/10/10/math-2-0"]},{"text":"Tao describes the talk as addressing automated solving of open problems and a future where AI supports the mathematical community and mathematics’ real-world applications.","source_urls":["https://terrytao.wordpress.com/2026/10/10/math-2-0"]}],"mechanism":"When automated systems optimize for solving open problems alone, they can bypass the exploration and explanation through which researchers build understanding. The mechanism Tao proposes is to use AI for explanations, new principles, and exploration around hypotheses, alongside problem solving.","why_now":"Tao says the lecture’s content changed significantly after it was postponed from May to October, in light of recent events, and contrasts this with the earlier “Machine Assisted Proof” title.","implications":["The first implication is that an AI-for-mathematics agenda should value tools that help researchers understand and explore, not just generate proofs.","This is a perspective on research priorities, not evidence that a particular AI method improves mathematical outcomes."],"evidence_boundary":"Evidence boundary: the public post shares slides and Tao’s perspective; it does not report controlled results or validate the proposed approach.","watch_conditions":["The first watch condition is whether future systems or research programs provide inspectable evidence that AI-supported explanations and exploration improve mathematical understanding."],"related_records":[],"new_branch_reason":"This starts a distinct analytical record because no prior New Runtime record is supplied for this specific lecture and its argument."}
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/math-2-0-what-s-new-analysis-88cf11/","markdown":"https://newruntime.com/posts/math-2-0-what-s-new-analysis-88cf11.md","json":"https://newruntime.com/posts/math-2-0-what-s-new-analysis-88cf11.json"}
---

# Math 2.0 | What's new

## Retrieval answer

Thesis: AI-assisted mathematics should be judged by whether it grows mathematical understanding, not only by whether it produces solutions.

Thesis: AI-assisted mathematics should be judged by whether it grows mathematical understanding, not only by whether it produces solutions. Tao’s lecture makes that distinction central to its “Math 2.0” framing.

Mechanism: When automated systems optimize for solving open problems alone, they can bypass the exploration and explanation through which researchers build understanding. The mechanism Tao proposes is to use AI for explanations, new principles, and exploration around hypotheses, alongside problem solving. Why now: Tao says the lecture’s content changed significantly after it was postponed from May to October, in light of recent events, and contrasts this with the earlier “Machine Assisted Proof” title.

The first implication is that an AI-for-mathematics agenda should value tools that help researchers understand and explore, not just generate proofs. The first watch condition is whether future systems or research programs provide inspectable evidence that AI-supported explanations and exploration improve mathematical understanding. Evidence boundary: the public post shares slides and Tao’s perspective; it does not report controlled results or validate the proposed approach. This begins a distinct analytical record because no prior New Runtime record is supplied for this specific lecture and its argument.

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)