The 'Truth Machine' That Is Changing Math

Quanta Science Podcast by Quanta Magazine

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,...View more