Disappearing Grants, Genius Grants, and the AI Proofs with Lauren K. Williams

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.

Chapters
01:27 Winning the MacArthur Genius Grant
01:43 Becoming a Woman in Mathematics at Harvard
04:25 Research Applications
10:04 The Human Side of Research
12:20 The First Proof Project
18:29 Advice for Young Mathematicians
22:51 The Intersection of Mathematics and AI

Follow Lauren Williams on
Instagram (instagram.com/laurenkwilliams42 )
Website (people.math.harvard.edu/~williams)

Follow Breaking Math on
Substack (breakingmath.substack.com)
Twitter (x.com/breakingmathpod)
Instagram (instagram.com/breakingmathmedia)
Bluesky (bsky.app/profile/breakingmath.bsky.social)
Website (breakingmath.io)
YouTube (youtube.com/@BreakingMathPod)

Follow Noah on
Instagram (instagram.com/profnoahgian)
Twitter (x.com/ProfNoahGian)
Bluesky (bsky.app/profile/profnoahgian.bsky.social)

Follow Autumn on
Twitter (x.com/1autumn_leaf)
Bluesky (bsky.app/profile/1autumnleaf.bsky.social)
Instagram (instagram.com/1autumnleaf)
email: breakingmathpodcast@gmail.com