{"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"},"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"}]}