Episode
Is AI the End of Mathematics, or Its Most Exciting New Beginning?
- Published
- Aug 20, 2026
- Duration seconds
- 4688
- Processing state
not_requested
Actions
POST https://stenobird.com/v1/public/podcasts/economics-matters-with-laurence-kotlikoff-6614501/episodes/is-ai-the-end-of-mathematics-or-its-most-exciting-new-beginning/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/economics-matters-with-laurence-kotlikoff-6614501/is-ai-the-end-of-mathematics-or-its-most-exciting-new-beginning.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
What does it feel like to watch an AI solve a problem in a single prompt that you've spent years working on, and produce a stronger result than your own published papers? Professor Kotlikoff grew up academically alongside two economists, Yuri Dadush and Michael Pomerleano, who were his classmates when he began his PhD at Harvard in 1973. In this episode, he sits down with their sons: Daniel Dadush , a professor of mathematics and optimization at Utrecht University, and Daniel Pomerleano , a professor of pure mathematics at UMass Boston, both of whom are watching AI upend their fields in real time. This is a conversation about what's actually happening inside mathematics right now: which problems AI has solved, how it solved them, what those solutions reveal about the limits of human specialization, and whether the next generation of mathematicians will bother showing up at all. What You'll Learn: [00:17:39] The moment ChatGPT produced a stronger result than two of Daniel Dadush's published conference papers: what happened in a single prompt session [00:31:13] The Erdos Distance Problem: open for 60+ years, solved by AI in a few pages, and why the ideas inside it cracked other problems too [00:35:39] The cycle double cover conjecture: an open problem with a short proof human mathematicians simply overlooked [00:36:26] Why AI proofs tend to be strikingly short: what that reveals about how differently machines approach mathematics [00:41:46] Why AI companies used math as their benchmark: what solving long chains of abstract reasoning was really designed to prove [01:00:39] The PhD thesis problem: how Daniel P. generated what would have been a strong thesis three years ago, in an afternoon, with a problem list and ChatGPT [01:08:46] Why pure mathematics may become a less a…