00:00:00 - AI Claims to Solve Major Math Problems
00:02:08 - Mathematicians React to the Breakthroughs
00:10:14 - Will AI Solve or Transform Mathematics?
00:33:01 - AI’s Mathematical Creativity
00:39:12 - How Breakthroughs Change Research
00:47:00 - The Future of Mathematical Papers and Proofs
01:05:30 - The Riemann Hypothesis and Prime Numbers
01:11:33 - AI Formalizes Fermat’s Last Theorem
01:29:49 - Navier–Stokes and the Mystery of Fluid Dynamics
01:38:14 - Fluid Flow Control and Nature
01:40:07 - Navier–Stokes and Finite-Time Blowup
01:48:09 - Engineering Challenges, Turbulence, and the Unique Games Conjecture
02:11:32 - Unique Games Conjecture breakthrough
02:15:59 - Why mathematicians do math
02:20:22 - The value of struggle and discovery
00:02:45:04 - Online algorithms and modeling real-world requests
00:02:49:14 - Why deep learning works and the role of natural data
00:03:04:00 - Hard problems, AI in mathematics, and learning with LLMs
03:18:42 - AI Use and Student Performance
03:20:43 - Advice for Learning and Navigating Change
03:26:23 - Finding Meaning Amid Uncertainty and AI