For centuries, mathematical discovery has been the province of patient, solitary minds — a domain where insight, not resources, determined who arrived at truth first. When Tristan Buckmaster set out to prove a difficult theorem, he entered a tradition stretching back millennia. What he did not anticipate was that OpenAI and Anthropic, armed with computational power no individual scholar can match, were pursuing the same destination — and would arrive there first. The episode asks a question that mathematics has never had to answer before: what becomes of a discipline built on human ingenuity w