About this episode
In this episode, Lauren Williams, professor of mathematics at Harvard University and a 2025 MacArthur Fellow, speaks about the surprising and often messy reality of mathematical research. The conversation begins with a turbulent moment in academia, when federal grants supporting her work were suddenly canceled—only months before she received the MacArthur “Genius Grant,” an unexpected recognition that allowed her to continue her research. Williams explains her work in algebraic combinatorics, illustrating how abstract mathematics can connect to real-world systems. The discussion also explores the human side of discovery, from collaborations that span continents to the strange coincidence of research papers and babies arriving the same week. Finally, the episode dives into one of the most intriguing experiments in modern mathematics: the First Proof project, which tests whether artificial intelligence can produce genuine mathematical proofs, revealing both the promise and the current limitations of AI-generated reasoning.Chapters01:27 Winning the MacArthur Genius Grant01:43 Becoming a Woman in Mathematics at Harvard04:25 Research Applications10:04 The Human Side of Research12:20 The First Proof Project18:29 Advice for Young Mathematicians22:51 The Intersection of Mathematics and AIFollow Lauren Williams on Instagram (https://www.instagram.com/laurenkwilliams42/ )Website (https://people.math.harvard.edu/~williams/)Follow Breaking Math on Substack (https://breakingmath.substack.com/) Twitter (https://x.com/breakingmathpod) Instagram (https://www.instagram.com/breakingmathmedia/) Bluesky (https://bsky.app/profile/breakingmath.bsky.social) Website (https://www.breakingmath.io/) YouTube (https://www.youtube.com/@BreakingMathPod) Follow Noah on Instagram (https://www.instagram.com/profnoahgian/) Twitter (
