{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/","md":"https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-07-24-tao-icm-mathematics-in-the-age-of-ai","date":"2026-07-24","date_precision":"day","short_title":"Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values","deck":null,"takeaway":"On 24 Jul 2026, at the International Congress of Mathematicians in Philadelphia, Terence Tao gave the public lecture \"Mathematics in the age of AI\".","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"Tao: slides 'Mathematics in the age of AI' (PDF)","url":"https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf","type":"official","group":"primary","domain":"teorth.github.io"},{"n":2,"title":"arXiv 2608.16753: Mathematics in the age of AI (essay)","url":"https://arxiv.org/abs/2608.16753","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"Tao on Mathstodon: slides uploaded, AI-made summary and interview","url":"https://mathstodon.xyz/@tao/116977934921819775","type":"official","group":"primary","domain":"mathstodon.xyz"},{"n":4,"title":"Terence Tao on AI in mathematics (and beyond), AI-collated summary","url":"https://teorth.github.io/tao-web/ai-views.html","type":"official","group":"primary","domain":"teorth.github.io"},{"n":5,"title":"Tao: AI 'interview' on his AI views","url":"https://teorth.github.io/tao-web/ai-views-interview.html","type":"official","group":"primary","domain":"teorth.github.io"},{"n":6,"title":"Scientific American: If AI can do math, what's the point of mathematicians?","url":"https://www.scientificamerican.com/article/mathematicians-confront-the-ai-apocalypse/","type":"press","group":"press","domain":"scientificamerican.com"},{"n":7,"title":"Simons Foundation: Watch: Terence Tao on AI and why we do math","url":"https://www.simonsfoundation.org/2026/08/13/fields-medalist-terence-tao-on-artificial-intelligence-and-why-we-do-math/","type":"press","group":"press","domain":"simonsfoundation.org"},{"n":8,"title":"YouTube recording (uploaded by Alvaro Lozano-Robledo)","url":"https://www.youtube.com/watch?v=sxAe4HJceFQ","type":"video","group":"reactions","domain":"youtube.com"}],"official":5,"filed":"2026-09-29","updated":"2026-10-18","orgs":["International Congress of Mathematicians","UCLA"],"title":"Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values","summary":"On 24 Jul 2026, at the International Congress of Mathematicians in Philadelphia, Terence Tao gave the public lecture \"Mathematics in the age of AI\". He argued that mathematics is entering a \"crisis in the foundations of mathematical values and practices\", comparable to the 1900–1930 foundations crisis. Setting aside the capability debate, he asked what the community's goals should be if strong AI capability arrives. An essay version is arXiv 2608.16753.","key_facts":["Venue: ICM 2026 public lecture, Pennsylvania Convention Center, Philadelphia, 24 Jul 2026 (7:15 pm)","Frames an 'AI Capability Conjecture' (weak vs strong forms) and conditions on it being true, then asks the orthogonal 'Goals and Values Question'","Uses problem-solving as a case study: from 'solve as many unsolved problems as possible' to results that are verified, clearly communicated, digested and incorporated into the definitive theory","Recommendation reported by press: results that cannot be shown correct and properly attributed, or explained by their authors, should not be published; disclose tool use","Slide footnote: 'All em-dashes in these slides were human-generated.'","Essay: arXiv 2608.16753 (17 Aug 2026, 12 pages, submitted to the ICM 2026 Proceedings)","Tao also published an AI-collated summary of his AI views and an AI-conducted 'hard hitting' interview of himself"],"key_numbers":[],"tags":["math","tao","icm","research-culture","policy"],"science":{"field":"mathematics","subfield":"meta-mathematics / research culture","problem":"How the mathematical community should respond to AI tools that can do research-level mathematics","result":"Programmatic lecture and essay reframing the debate from AI capability to the community's goals and values.","open_since":"","ai_system":["n/a"],"human_role":"Human-led","verification":{"key":"none","label":"Unverified claim","text":"Public lecture; essay submitted to ICM Proceedings"},"status":"confirmed","shock":""},"body_md":"## What happened\n\nTao's public lecture at the quadrennial ICM compared the present moment to the early-20th-century crisis in foundations. That crisis ended with a rigorous, standardized framework. Tao said the community now needs to codify its *values* in the same way. He deliberately did not argue about which AI capabilities are real. He treated a \"reasonably strong\" capability conjecture as a working hypothesis and asked what mathematicians actually want. Press described the lecture as more foreboding than his earlier comments.\n\n## Why it matters\n\nIt was the most prominent framing of AI-and-mathematics at the field's main quadrennial event. It came just before the wave of AI results (Astra's ten advances, Navier–Stokes) and the community statements that followed (Fields Medallists' letter, Palomar, SAIR).","disputed":[],"related":[{"id":"2026-09-11-fields-medalists-letter-ai-mathematics","url":"https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/","date":"2026-09-11","date_precision":"day","short_title":"Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems","deck":null,"takeaway":"It marked open tension between AI labs and the mathematical community at the moment AI began producing major results, and shaped norms for credit and verification.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["mathandai.org"]},{"id":"2026-08-18-palomar-lean-registry","url":"https://postcutoff.com/e/2026-08-18-palomar-lean-registry/","date":"2026-08-18","date_precision":"day","short_title":"Palomar launches: a registry of Lean-verified mathematics to curb misrepresented AI proof claims","deck":null,"takeaway":"Formal verification became the main way to trust AI mathematics in 2026.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":6,"official":6,"filed":"2026-09-29","updated":"2026-10-29","orgs":["Lean FRO","ICARM"]},{"id":"2026-06-02-leiden-declaration-ai-mathematics","url":"https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/","date":"2026-06-02","date_precision":"day","short_title":"Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)","deck":null,"takeaway":"It is the broadest grassroots statement of mathematicians' norms on AI: disclosure, attribution, integrity of proof, and independence from industry.","category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Lorentz Center","International Mathematical Union"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[{"id":"big-think-terence-tao-6-essential-concepts-of-math","title":"One of the world's greatest mathematicians explains 6 essential concepts of math | Terence Tao","url":"https://postcutoff.com/v/big-think-terence-tao-6-essential-concepts-of-math/"},{"id":"simons-foundation-icm-2026-public-lecture-tao","title":"ICM 2026 Public Lectures - Terence Tao","url":"https://postcutoff.com/v/simons-foundation-icm-2026-public-lecture-tao/"},{"id":"tao-icm-2026-mathematics-in-the-age-of-ai","title":"Terence Tao: \"Mathematics in the Age of AI\" (ICM 2026)","url":"https://postcutoff.com/v/tao-icm-2026-mathematics-in-the-age-of-ai/"},{"id":"ipam-terence-tao-integrated-explicit-analytic-number-theory-network","title":"Terence Tao - The integrated explicit analytic number theory network - IPAM at UCLA","url":"https://postcutoff.com/v/ipam-terence-tao-integrated-explicit-analytic-number-theory-network/"}],"models":[],"changes":[{"date":"2026-10-18","type":"edit","text":"Videos added (ipam-terence-tao-integrated-explicit-analytic-number-theory-network, big-think-terence-tao-6-essential-concepts-of-math), from Tao's Oct 17 post on recent talks"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-10-18","human_review":null,"version":{"date":"2026-10-18"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":85,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":24,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":115,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":54,"in_training_data":false}],"short_url":null}