Hard Fork Hard Fork

Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT

Jun 5, 2026

Summary

Kevin Roose and Casey Newton discuss the impending IPOs of SpaceX, Anthropic, and OpenAI, analyzing their impact on San Francisco’s inequality and the rise of effective altruism philanthropy. They also welcome author Kevin Hartnett to explore AI’s breakthroughs in mathematics, including solving Erdős problems, and the resulting debate among mathematicians about AI’s role in research.

Topics discussed

Intro: Tech struggles and CPAP mishaps Show intro: SpaceX, Anthropic, and IPOs The massive IPOs of XAI, Anthropic, and OpenAI Inequality, status anxiety, and philanthropy Public markets, safety concerns, and Starlink Ad break: Doppel, Guggenheim, LinkedIn AI solving math problems and Erdos conjectures Interview with Kevin Hartnett on AI and math The Leiden Declaration and mathematician anxiety Ad break: Doppel, Guggenheim, LinkedIn HatGPT: Robot testing lawsuits and Airbnb HatGPT: Trump AI EO and George Santos HatGPT: Instagram hacks and Bluetooth bombs HatGPT: Survivor spoilers and prediction markets Outro and credits
Listen ad-free on Castria