{"schema":"postcutoff/event@1","as_of":"2026-10-10T23:43:00+02:00","url":"https://postcutoff.com/e/2026-10-09-tao-math-2-0-caltech-lecture/","md":"https://postcutoff.com/e/2026-10-09-tao-math-2-0-caltech-lecture/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-09-tao-math-2-0-caltech-lecture","date":"2026-10-09","date_precision":"day","short_title":"Terence Tao's Caltech lecture 'Math 2.0'","deck":"AI has ended 'proof scarcity', and blind problem-solving is now 'actively harmful' to mathematics","takeaway":"On the evening of 9 Oct 2026 Terence Tao gave the public lecture \"Math 2.0\" at Caltech (AIM Public Lecture Series, Beckman Auditorium) and posted the slides on his blog on 10 Oct. It was his first full talk after OpenAI's 722-manuscript release.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"Terence Tao: Math 2.0 (blog post, 10 Oct 2026)","url":"https://terrytao.wordpress.com/2026/10/10/math-2-0/","type":"official","group":"primary","domain":"terrytao.wordpress.com"},{"n":2,"title":"Slides: Math 2.0 (Caltech, Oct 2026, PDF)","url":"https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf","type":"official","group":"primary","domain":"teorth.github.io"},{"n":3,"title":"Caltech: AIM Public Lecture Series, Terence Tao (event page, old title 'Machine Assisted Proof')","url":"https://www.caltech.edu/campus-life-events/calendar/aim-public-lecture-series-terence-tao-1","type":"official","group":"primary","domain":"caltech.edu"},{"n":4,"title":"Terence Tao: living summary of his views on AI (AI-maintained)","url":"https://teorth.github.io/tao-web/ai-views.html","type":"official","group":"primary","domain":"teorth.github.io"},{"n":5,"title":"OfficeChai: Tao hints OpenAI wasn't behaving responsibly, says it is making math less fertile (on the Mastodon post)","url":"https://officechai.com/ai/terence-tao-hints-openai-wasnt-behaving-responsibly-by-simultaneously-releasing-300-math-proofs-says-its-making-math-less-fertile/","type":"press","group":"press","domain":"officechai.com"},{"n":6,"title":"The Independent: Mathematicians are very, very angry at OpenAI. Here's why (9 Oct)","url":"https://www.independent.co.uk/tech/mathematicians-are-very-very-angry-at-openai-here-s-why-b3064273.html","type":"press","group":"press","domain":"independent.co.uk"},{"n":7,"title":"Terence Tao on Mathstodon (6 Oct): Math 1.0 vs Math 2.0","url":"https://mathstodon.xyz/@tao/117395267721642920","type":"discussion","group":"reactions","domain":"mathstodon.xyz"}],"official":4,"filed":"2026-10-10","updated":"2026-10-10","orgs":["UCLA","Caltech"],"title":"Terence Tao's Caltech lecture 'Math 2.0': AI has ended 'proof scarcity', and blind problem-solving is now 'actively harmful' to mathematics","summary":"On the evening of 9 Oct 2026 Terence Tao gave the public lecture \"Math 2.0\" at Caltech (AIM Public Lecture Series, Beckman Auditorium) and posted the slides on his blog on 10 Oct. It was his first full talk after OpenAI's 722-manuscript release. He argues that frontier labs have moved mathematics from an era of \"proof scarcity\" to one of \"proof abundance\". Problem solving was a good proxy for the field's real goals under scarcity, he says, but \"further blind optimization of problem-solving alone is now actively harmful to the long-term health of mathematics\". He proposes a \"Math 2.0\" in which AI strengthens human understanding: open exposition problems, living networks of results, Mathlib-scale formal libraries, ablation studies, and open, interpretable maths models, which he says will be released \"very soon\".","key_facts":["Venue: AIM Public Lecture Series, Beckman Auditorium, Caltech, Friday 9 Oct 2026, 7:00–8:30 pm. Announced over a year earlier as 'Machine Assisted Proof' for May; postponed to October and, 'with recent events', substantially rewritten. Caltech's page still carries the old title and abstract","Slides posted 10 Oct on Tao's blog (math.GM, talk) as math-2-0-caltech-2026.pdf; the content was also added to Tao's 'AI-maintained' living summary of his views on AI","Core thesis (slides): proofs are objectively verifiable, digitizable and backed by large, high-quality data, so frontier labs 'have thus prioritized advances in mathematical problem-solving capability'; 'we are now entering an era of proof abundance in mathematics'","'Increasingly often, no special expertise from the user prompting the AI is required to obtain such solutions.' AI performance is 'extremely jagged: astounding in some directions, while inadequate in others'","'Despite the impression given by press releases and social media, most of the problems at the current frontier of mathematics remain unsolved, even with massive computational expenditure.' He calls for assessments that report 'resource consumption and negative results' and cites First Proof (1stproof.org) as one such effort","Open problems as 'lighthouses': 'Reaching these lighthouses prematurely by automated tools can disrupt the exploration of the paths not taken, and sterilize the surrounding field.' 'Indiscriminate use of AI to solve problems in a non-renewable fashion damages the long-term health and progress of the field'","Alignment thought experiment: an AI finds a cancer cocktail whose model prediction is 'confirmed in Lean' and that passes a stage 3 trial; would you inject it without 'at least one human cancer expert who understands the mechanism'?","Examples given of 'Math 2.0' uses: 'open exposition problems' (the revised Caltech event, Nov 13–15); the Integrated Explicit Analytic Number Theory Network (a living 'spreadsheet' of results); Mathlib; ablation studies; exploring 'the neighborhood of a theorem'; 'tailored, open-source math models' ('Some open math models to be released very soon - stay tuned!')","New experimental mathematics: the Equational Theories Project (2024–25, 22M+ universal-algebra statements settled) and the 2026 SAIR/LMFDB Inverse Galois challenge IGP24 (degree-24 polynomials for all 25,000 possible Galois groups; stage two will extend to degree 31)","Closing line: 'The primary bottleneck to achieving \"Math 2.0\" is not technology, or even institutional culture. It is imagination.' Acknowledgements: Nestor Guillen, Bryna Kra, Rachel Ward, Po-Shen Loh; 'AI was used to generate images and diagrams for this talk'","Coverage: OfficeChai ran 'Terence Tao Says Math 2.0 Must Move Past Problem-Solving in the Age of AI' (10 Oct, per Google News; not read) after an earlier piece on his Mastodon post; The Independent and the Daily Mail (9 Oct) had quoted the Mastodon version (6 Oct), which introduced the Math 1.0 / 2.0 terms"],"key_numbers":[],"tags":["math","tao","research-culture","ai-for-math","openai","lean","exposition","policy"],"science":{"field":"mathematics","subfield":"meta-mathematics / research culture","problem":"How mathematics should respond to AI-driven 'proof abundance' after OpenAI's 722-manuscript release","result":"Public lecture and slides arguing that problem-solving has become a misaligned proxy and proposing 'Math 2.0' uses of AI (exposition problems, living result networks, formal libraries, open interpretable maths models).","open_since":"","ai_system":["n/a"],"human_role":"Human-led","verification":{"key":"none","label":"Unverified claim","text":"Public lecture; slides posted on the author's blog"},"status":"confirmed","shock":""},"body_md":"## What happened\n\nTao's Caltech public lecture had been booked more than a year earlier under the title \"Machine Assisted Proof\". It slipped from\nMay to October and, in his words, \"with recent events the talk changed significantly\". He gave it on Friday evening, 9 October,\nthree days after OpenAI posted 722 AI-written manuscripts on GitHub, and posted the slides the next morning. The short blog post\nsums it up as three parts: the historical \"Math 1.0\", \"the current state induced by the excessive emphasis on automated solving of\nopen problems by AI\", and a \"Math 2.0\" in which AI tools \"sustain both the internal mathematical community, and the role that\nmathematical understanding plays in advancing and aligning the applications of mathematics to the real world\".\n\nThe slides give the argument in steps. Mathematics was built around proof scarcity. Proofs are objectively checkable (even by Lean),\nfully digital and backed by a huge digitized literature, which makes them ideal for machine learning. Frontier labs therefore\ninvested heavily in maths, and the field is now in an era of proof abundance. Many hard open problems can be solved \"in relatively\nshort amounts of time\" given compute and frontier models, often by users with no special expertise. Tao separates this from the\npublic impression. A slide titled \"Reporting bias\" mocks the feeling that every problem on social media is being solved by AI, and\nhe insists most frontier problems remain open \"even with massive computational expenditure\", asking for reports that include\ncompute used and failed attempts.\n\nHis central claim is about alignment within mathematics. Solving open problems was always a proxy for longer-term goals, mainly\nhuman understanding that can then be carried safely into messier applied problems. The proxy worked under scarcity and \"has become\nmisaligned in the era of proof abundance\". Open problems are \"lighthouses\", and reaching them early with automated tools can\n\"sterilize the surrounding field\". A diagram shows AI short-circuiting the cycle from pure problems to understanding to aligned\napplied solutions. A medical thought experiment (a Lean-confirmed, trial-passing cancer cocktail that nobody understands) makes the\npoint that verification is not the same as understanding.\n\nThe constructive half lists \"Math 2.0\" uses of AI: open exposition problems instead of open research problems (the revised Caltech\nevent, renamed \"Old Problems, New Proofs\", Nov 13–15), the Integrated Explicit Analytic Number Theory Network, large formal libraries\nsuch as Mathlib, ablation studies (re-proving a theorem without a key input), mapping the \"neighborhood of a theorem\", interactive\nsyntheses of whole theories, and open, interpretable maths models. On the last he adds: \"Some open math models to be released very\nsoon - stay tuned!\" He also points to large-scale \"experimental mathematics\" (the Equational Theories Project, the IGP24 Inverse\nGalois challenge). He ends: \"The primary bottleneck to achieving 'Math 2.0' is not technology, or even institutional culture. It is\nimagination.\"\n\n## Why it matters\n\nTao is the mathematician most often cited on AI and maths, and this is his fullest public statement after OpenAI's release. It turns\nhis 6 October Mastodon post into a framework that other commentators already use, \"proof scarcity\" giving way to \"proof abundance\".\nIt is neither a boycott call nor a celebration. He accepts the capability jump and calls further problem-solving races harmful, and\nhe makes specific proposals that institutions can adopt. The \"open math models\" remark suggests a non-lab, open-source tool release\nis coming (no date or details given).","disputed":[],"related":[{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":71,"official":13,"filed":"2026-10-07","updated":"2026-10-10","orgs":["OpenAI"]},{"id":"2026-10-05-quanta-is-ai-the-end-of-math","url":"https://postcutoff.com/e/2026-10-05-quanta-is-ai-the-end-of-math/","date":"2026-10-05","date_precision":"day","short_title":"Quanta's math editor asks 'Is AI the End of Math As We Know It?'","deck":"Young mathematicians form an Association for Human Mathematics","takeaway":"Quanta is the most widely read outlet for research mathematics, and this is its first long editorial on the crisis.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":10,"official":2,"filed":"2026-10-05","updated":"2026-10-10","orgs":["Quanta Magazine","Association for Human Mathematics"]},{"id":"2026-09-28-mathathon-joint-statement","url":"https://postcutoff.com/e/2026-09-28-mathathon-joint-statement/","date":"2026-09-28","date_precision":"day","short_title":"Caltech 'Mathathon' is reworked into 'Old Problems, New Proofs' after an open letter from mathematicians","deck":null,"takeaway":"It is part of the September 2026 push by research mathematicians to set norms for AI in their field, after the Fields medalists' letter, the ICIAM statement and OpenAI's advisory group.","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Caltech","XTX Markets","SAIR"]},{"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-07-24-tao-icm-mathematics-in-the-age-of-ai","url":"https://postcutoff.com/e/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":"It was the most prominent framing of AI-and-mathematics at the field's main quadrennial event.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":5,"filed":"2026-09-29","updated":"2026-09-29","orgs":["International Congress of Mathematicians","UCLA"]},{"id":"2026-02-14-first-proof-challenge","url":"https://postcutoff.com/e/2026-02-14-first-proof-challenge/","date":"2026-02-14","date_precision":"day","short_title":"AI solves about half of 10 unpublished research problems in the 'First Proof' challenge","deck":null,"takeaway":"It gave a cleaner measure than olympiads of whether AI can do research maths: at the time, about half the time.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-05","orgs":["Google DeepMind","OpenAI"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[{"id":"2026-10-10-tao-math-2-0-blog","title":"Math 2.0","url":"https://postcutoff.com/p/2026-10-10-tao-math-2-0-blog/"}],"videos":[],"models":[],"changes":[{"date":"2026-10-10","type":"filed","text":"Created from the blog post, the slides PDF and the Caltech event page"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-10","run":null,"sources_read":"The blog post, the slides PDF and the Caltech event page","updated":"2026-10-10","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":162,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":101,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":192,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":131,"in_training_data":false}],"short_url":"https://postcutoff.com/s/terence-tao-caltech-lecture"}