Emily Riehl
Professor of mathematics at Johns Hopkins University and researcher in category theory and homotopy theory, interviewed about how AI is affecting mathematical research and practice.
Best podcasts with Emily Riehl
Ranked by the Snipd community
25 snips
Mar 27, 2026 • 19min
Move over, vibe-coding. Vibe-proving is here for math
Daniel Litt, an associate professor studying AI’s interaction with math, and Emily Riehl, a Johns Hopkins category theory researcher, discuss AI’s leap from flubbed arithmetic to contest-level wins. They debate AI-generated proofs, the rise of ‘vibe-proving,’ risks of bogus preprints, and the role of formal proof assistants. The conversation weighs changing workflows, verification standards, and what mathematicians will need going forward.
May 10, 2021 • 1h 17min
146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
Emily Riehl, an associate professor at Johns Hopkins, delves into the captivating realms of topology and category theory. She discusses how mathematics can reshape our understanding of the world, focusing on concepts like homotopy and invariance. Listeners will be intrigued by the philosophical debates between practical applications and intrinsic value in mathematics. Riehl also links topology to robotics, showcasing how abstract ideas have tangible implications. The episode highlights the fascinating connections between shapes, groups, and the structure of mathematical thought.
