Is AI the End of Mathematics, or Its Most Exciting New Beginning?

<p><strong>What does it feel like to watch an AI solve a problem in a single prompt that you&#39;ve spent years working on, and produce a stronger result than your own published papers?</strong></p><p><br></p><p>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: <strong>Daniel Dadush</strong>, a professor of mathematics and optimization at Utrecht University, and <strong>Daniel Pomerleano</strong>, a professor of pure mathematics at UMass Boston, both of whom are watching AI upend their fields in real time.</p><p>This is a conversation about what&#39;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.</p><p><br></p><p><strong>What You&#39;ll Learn:</strong></p><ul><li><strong>[00:17:39]</strong> The moment ChatGPT produced a stronger result than two of Daniel Dadush&#39;s published conference papers: what happened in a single prompt session</li><li><strong>[00:31:13]</strong> 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</li><li><strong>[00:35:39]</strong> The cycle double cover conjecture: an open problem with a short proof human mathematicians simply overlooked</li><li><strong>[00:36:26]</strong> Why AI proofs tend to be strikingly short: what that reveals about how differently machines approach mathematics</li><li><strong>[00:41:46]</strong> Why AI companies used math as their benchmark: what solving long chains of abstract reasoning was really designed to prove</li><li><strong>[01:00:39]</strong> 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</li><li><strong>[01:08:46]</strong> Why pure mathematics may become a less attractive field for the next generation: and what&#39;s lost if that happens</li><li><strong>[01:09:23]</strong> The conference room scenario: an audience member spinning up 20 AI agents during a talk to answer the speaker&#39;s own research question before the talk ends</li><li><strong>[01:11:42]</strong> The policy question: NSF funding going to zero for economics while $200 billion flows to A