The 'Truth Machine' That Is Changing Math
· 34 min
Episode The 'Truth Machine' That Is Changing Math
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.
Links in the notes 1
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.