Exploring LLMs: Strengths and Limitations in Mathematical Proofs

Mathematicians have started to prepare for a profound shift in what it means to do math.

This is the second episode of our new weekly series The Quanta Podcast, hosted by Quanta magazine Editor-in-Chief Samir Patel. This week's guest is Jordana Cepelewicz; she recently published "Mathematical Beauty, Truth and Proof in the Age of AI" for Quanta's AI special package.
(If you've been a fan of Quanta Science Podcast, it will continue as 'audio edition episodes' in this same feed every other week.)