---
type: "raw_signal"
id: "math-2-0-what-s-new-0bad32"
slug: "math-2-0-what-s-new-0bad32"
title: "Math 2.0 | What's new"
description: "Terence Tao publishes slides for his “Math 2.0” lecture"
retrieval_nugget: "Terence Tao publishes slides for his “Math 2.0” lecture"
observed_at: "2026-10-11"
record_date: "2026-10-11"
date_kind: "observed_at"
why_it_matters: "Source: https://terrytao.wordpress.com/2026/10/10/math-2-0"
novelty: "notable"
verification_level: "source-linked"
signal_type: "update"
source_platform: "terrytao.wordpress.com"
topics: []
entities: ["Terence Tao","Caltech","Math 2.0"]
related_patterns: []
source_url: "https://terrytao.wordpress.com/2026/10/10/math-2-0"
source_urls: ["https://terrytao.wordpress.com/2026/10/10/math-2-0"]
schema_version: "newruntime-agent-readable-v0.2"
stable_id: "signal:math-2-0-what-s-new-0bad32"
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/math-2-0-what-s-new-0bad32/","markdown":"https://newruntime.com/signals/math-2-0-what-s-new-0bad32.md","json":"https://newruntime.com/signals/math-2-0-what-s-new-0bad32.json"}
---

# Math 2.0 | What's new

## Retrieval answer

Terence Tao publishes slides for his “Math 2.0” lecture

Terence Tao publishes slides for his “Math 2.0” lecture

Terence Tao has published the slides for “Math 2.0,” a public lecture he gave at Caltech. He writes that the talk was originally planned under the title “Machine Assisted Proof” and was postponed from May to October; its content changed significantly in light of recent events.

Tao contrasts a mathematical culture centered on automated solving of open problems with a vision in which AI tools sustain the mathematical community and strengthen understanding of how mathematics advances real-world applications. He argues that solving problems is a proxy for broader scientific aims, including exploration and understanding. The lecture proposes using AI not only to produce proofs, but also to search for explanations, principles, and promising research directions.

The source records Tao’s argument and the lecture’s framing; it does not report an empirical evaluation of AI tools or demonstrate that a particular approach produces better mathematical outcomes.

Source: https://terrytao.wordpress.com/2026/10/10/math-2-0

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)