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 ( ) Website ( ) Follow Breaking Math on Substack ( ) Twitter ( ) Instagram ( ) Bluesky ( ) Website ( ) YouTube ( ) Follow Noah on Instagram ( ) Twitter ( ) Bluesky ( ) Follow Autumn on Twitter ( ) Bluesky ( ) Instagram ( ) email: breakingmathpodcast@gmail.com

You can listen to Disappearing Grants, Genius Grants, and the AI Proofs with Lauren K. Williams online on Radio and Podcast. Open the player on this page to stream the available audio.

Disappearing Grants, Genius Grants, and the AI Proofs with Lauren K. Williams is an episode from Breaking Math Podcast by Autumn Phaneuf & Noah Giansiracusa.

This episode is 25:46 long.

This episode was published on Mar 11, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Breaking Math Podcast when more episodes are available from the podcast feed.