
Exploring the distant universe, the insides of cells, the abstractions of math, the complexity of information itself, and much more, The Quanta Podcast is a tour of the frontier between the known and the unknown. In each episode, Quanta Magazine Editor-in-Chief Samir Patel speaks with the minds behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math. Quanta specifically covers fundamental research — driven by curiosity, discovery and the overwhelming desire to know why and how. Join us every Tuesday for a stimulating conversation about the biggest ideas and the tiniest details.
(If you've been a fan of the Quanta Science Podcast, it will continue here. You'll see those episodes marked as audio edition episodes every two weeks.)
Exploring the distant universe, the insides of cells, the abstractions of math, the complexity of information itself, and much more, The Quanta Podcast is a tour of the frontier between the known and the unknown. In each episode, Quanta Magazine Editor-in-Chief Samir Patel speaks with the minds behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math. Quanta specifically covers fundamental research — driven by curiosity, discovery and the overwhelming desire to know why and how. Join us every Tuesday for a stimulating conversation about the biggest ideas and the tiniest details.
(If you've been a fan of the Quanta Science Podcast, it will continue here. You'll see those episodes marked as audio edition episodes every two weeks.)


































































































































































































































































































































































The groundbreaking proof assistant Lean acts as a sort of automatic quality control. It’s gaining ground in the math world — in part because it can interact with AI to open new avenues of inquiry. But there are concerns, too. On this episode of The Quanta Podcast, host Samir Patel speaks with author Kevin Harnett about his new book, the first release from Quanta Books, “The Proof in the Code.” It was featured in a recent excerpt for Quanta Magazine.
Each week on The Quanta Podcast, Quanta Magazine editor in chief Samir Patel speaks with the people behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math.