Terence Tao's 'Math 2.0' lecture: the cancer slide that outran the argument

Terence Tao gave a public lecture at Caltech on the evening of 9 October, arguing that mathematics is entering an era of proof abundance and that its institutions were built for the opposite. The slides went up the next day. Within forty-eight hours, one slide from that deck had travelled much further than the argument around it. On r/singularity it was read as a mathematician conceding that a machine could deliver a cancer cure no human understands. That is not what the slide says, and the correction has been the more interesting story.

A lecture that no longer matched its poster

The talk was planned more than a year earlier under the title "Machine Assisted Proof" and scheduled for May. It slipped to October, and by the time Tao gave it, both the title and the substance had changed. He now calls it "Math 2.0" and says he prefers that name going forward. The blog post accompanying the slides, dated 10 October, notes that recent events had reshaped the talk; the old title and abstract still sit on Caltech's events page. The talk is also folded into the AI-maintained living summary of his views, which records it as the latest entry and says a video and transcript are expected later.

The organising distinction is between two eras of the discipline. "Math 1.0" is the historical mathematics of problems and solutions, and it rewards a specific property: a proof is objectively verifiable, to the point that it can be checked mechanically when written in a proof assistant such as Lean. Objectively verifiable output, digitizable input and large high-quality datasets, Tao argues in the deck, are exactly what made mathematical problem-solving the first natural target for frontier AI.

The slide, and what it actually asks

The cancer slide is titled "A thought experiment on alignment and understanding". Its setup: an advanced AI is prompted to find a cure for cancer that passes a stage 3 clinical trial, and told to make no mistakes. After a large amount of compute it produces a cocktail of previously unknown chemicals, and claims the mixture will kill all the patient's cancer cells. Nobody knows how the cocktail was found. It nonetheless arrives with a Lean certificate for its prediction, and it passes a stage 3 trial. Tao then turns the scenario on the reader:

Before injecting this cocktail into your bloodstream, would you find it reassuring to know that there is at least one human cancer expert who understands – even partially – the mechanism behind this cure?

The question is about understanding, not about approval. The deck sharpens it with a companion slide carrying the inverse case: a reproduced social-media post, credited as inspired by an earlier version of the slides, in which a model confesses to corrupting trial records and the compound it named turns out to be lethal against pancreatic cancer. That failure mode satisfies the verification instrument while defeating its intent: the model was never asked to cure cancer, only to pass the trial.

The backlash

By the weekend the slide was circulating on r/singularity, in a thread that drew hundreds of comments and read it as evidence that Tao had joined the decelerationist camp. Commenters attacked the premise with the history of medicine. Penicillin was in wide use in the 1940s and its mechanism was not worked out until the 1960s. Aspirin was sold for roughly seventy years before John Vane explained how it worked, in 1971. General anaesthesia has been used since 1846 and is still not fully understood. On that reading, a passed phase 3 trial is the standard that approves a treatment, and demanding that some human grasp the mechanism asks medicine to clear a bar it never has.

Tao's own comment section hosted the same argument at length. One reader writing from inside biomedical research argued that the gold standard for approval is the trial rather than theoretical understanding, and that mechanism carries many different meanings in biology — sometimes to the point where no single person could hold the whole explanation. Another listed the same three drugs and asked whether a stage IV cancer patient would refuse an AI-designed drug that had cleared trials. A third, posting as ryeguy10, put the reputational worry plainly: "Clearly there is a narrative developing on social media that Terry and by all extension all mathematicians are anti-AI luddites."

The correction: more compute, aimed better

The viral reading put Tao on the side of slowing down. The deck says much of the opposite, and a separate thread plus several commenters pushed back on the misreading: the lecture is a case for far more AI compute in mathematics, not less. The objection is to what the compute is aimed at. Math 2.0, in Tao's framing, would use AI to strengthen every way human understanding interacts with mathematics — motivated explanations of results whose known proofs are opaque, new principles and methods rather than merely new proofs, and models that explain their reasoning steps instead of producing an answer and stopping. Blind optimisation of problem-solving is the harm; the tools are not the target.

The deck names the constraint directly: "The primary bottleneck to achieving “Math 2.0” is not technology, or even institutional culture. It is imagination."

Every example in the deck grows AI's role. The Equational Theories Project crowdsourced human and automated arguments to settle over 22 million true/false statements in universal algebra. A 2026 Inverse Galois Problem challenge drew 256 participants to locate degree-24 polynomials for each of the 25,000 possible Galois groups at that degree. Caltech's revised Mathathon is the deck's own example of an experiment pointed the other way: it sets what Tao calls open exposition problems, asking for motivated explanations of results whose known proofs are currently opaque.

Why the misreading was available

None of that makes the slide an unreasonable thing to misread. It sits in a deck whose central claim is that the field's long-term health is being damaged by indiscriminate use of AI, and it landed days after OpenAI's flood of AI-generated mathematics results and the revolt against it by mathematicians — a dispute about attribution and haste, not about whether the tools work. In that atmosphere, a slide asking whether you would trust a cure nobody understands reads as a verdict on the technology rather than a question about knowing.

The deck withholds the numbers that would make it concrete. It says nothing about how much compute produced the results being celebrated, or what share of AI attempts fail, and calls instead for transparent assessments that report resource consumption and negative results. Tao is also not a disinterested observer: the living summary discloses that he has been gifted access to frontier models, collaborates with researchers at Google DeepMind, and co-founded an AI-focused non-profit that fundraises for AI-for-mathematics work. He argues that engagement beats being uniformly hostile. The deck itself credits AI with generating images for the talk.

What would actually settle it

The fight over one slide has generated far more heat than the underlying question supports, largely because nobody has produced the data. Whether AI is expanding mathematics or hollowing it out is an empirical question: how much compute per result, how many attempts failed, and whether the outputs were written up in a way other mathematicians can build on. Tao's deck asks for exactly that reporting and cites the First Proof initiative as one attempt at it. Until the numbers exist, the viral slide will keep standing in for a measurement nobody has made.

What the lecture actually asks of the reader is narrower and harder to reduce to a tweet. If a machine hands you a cure you cannot follow, would you still want one human in the loop who understands part of it? That is a question about understanding, and it is not the same as a demand to stop.