Claude did not solve the Riemann Hypothesis. But what it actually did may be one of the clearest examples yet of how rapidly AI systems are changing the way difficult mathematics can be attacked. In Episode 53, Lester Nare and Krishna Choudhary go from first principles on arguably the most famous unsolved problem in mathematics. We begin with Euler and the Basel problem, build the Riemann zeta function from the ground up, show why it is intimately connected to prime numbers, explain analytic continuation and the famous 1 + 2 + 3 + 4 + … = -1/12 result, and finally arrive at the Riemann Hypothesis itself: the claim that every non-trivial zero of the zeta function lies on the critical line. Then we get into Claude. An unreleased Anthropic model was prompted to take a serious run at the problem. It orchestrated roughly 60 autonomous sub-agents, tested hundreds of mathematical approaches, executed Python code, searched academic literature, challenged its own proposed strategies, created adversarial referees to attack its work, and ultimately produced a new result pushing a related bound well beyond the previous state of the art. The strange part? The human prompting it was not a mathematician. One of his key instructions was essentially: “Believe in yourself.” We break down what Claude actually accomplished, what it absolutely did NOT accomplish, why moving a bound from roughly 42% toward two-thirds does not mean the Riemann Hypothesis is “two-thirds solved,” and what this tells us about the emerging capabilities of agentic AI systems in mathematics and scientific research. Then, in the second half, it’s transfer season. We introduce the Summer Transfer Window for Scientists and look at 42 researchers who have moved from American institutions to universities and research centers abroad over the past year—including major moves involving chemistry, battery research, gravitational-wave astrophysics, and neuroscience. We discuss what these transfers reveal about the increasingly competitive global market for scientific talent and the state of U.S. research funding. Explore the FFP science funding tracker: ffppod.com/funding Help shape Year Two and enter the anniversary merch giveaway: ffppod.com/survey Support the show: ffppod.com/donate Follow: @FFPPod on X / Instagram / TikTok / Facebook CHAPTERS 00:00 Opening 00:39 Episode 53 01:49 Has AI reached a mathematical singularity? 07:23 Inside Claude’s attempt 10:28 Euler and the Basel problem 15:50 How Euler connected the zeta function to primes 22:05 Gauss and the distribution of prime numbers 25:55 Riemann takes the zeta function into the complex plane 30:26 Analytic continuation 33:15 Why 1 + 2 + 3 + 4 + … = -1/12 38:34 What is the Riemann Hypothesis? 41:55 Why the non-trivial zeros matter 47:28 A century of progress toward the critical line 53:39 Claude pushes the bound 55:10 Montgomery, Dyson, and the physics connection 57:39 “Believe in yourself” 59:02 Claude builds a 60-agent research lab 1:03:44 650 approaches and the E2 breakthrough 1:07:20 Claude creates hostile referees 1:09:04 Pushing toward two-thirds 1:13:49 Can the proof be machine-verified? 1:16:16 What this actually tells us about AI 1:19:03 AI capability, risk, and the hype cycle 1:23:15 FFP Nation and the Year Two survey 1:25:24 The Summer Transfer Window for Scientists 1:28:52 Omar Yaghi: Berkeley → Tsinghua 1:33:53 Shirley Meng: Chicago → Singapore 1:37:31 John Baker: NASA → France 1:39:59 A neuroscience package deal to Birmingham 1:42:27 The battle over U.S. science funding 1:46:10 Closing THE RIEMANN HYPOTHESIS • The Basel problem • Leonhard Euler and π²/6 • Infinite and geometric series • The Riemann zeta function • Euler’s product formula • The Fundamental Theorem of Arithmetic • Prime numbers as the “atoms” of the integers • Carl Friedrich Gauss and the prime-counting function • The Prime Number Theorem • Bernhard Riemann’s 1859 paper • Complex numbers and the complex plane • Analytic continuation • The zeta function at negative integers • Ramanujan and 1 + 2 + 3 + 4 + … = -1/12 • Trivial and non-trivial zeros • The critical strip and critical line • Why the zeros encode information about the distribution of primes • G. H. Hardy • Atle Selberg • Norman Levinson • Historical bounds on zeros lying on the critical line CLAUDE AND AI MATHEMATICS • Claude’s attempt at the Riemann Hypothesis • Agentic and orchestrated AI systems • Approximately 60 autonomous sub-agents • Hundreds of mathematical approaches tested • Python execution and computational experimentation • Academic literature retrieval • Hugh Montgomery and pair correlation • Freeman Dyson and random matrix connections • Enrico Bombieri • E2 and E2-pairs • Autonomous strategy changes • Adversarial “hostile referee” agents • Machine-checkable mathematical proofs • Lean 4 • What the new result does—and does not—establish • AI capability, scientific discovery, and AI safety