
The Proof in the Code: How Lean Is Quietly Rewriting Trust in Math (w/ Kevin Hartnett)
In this episode, Autumn and Noah talk with Kevin Hartnett about why mathematicians are willing to spend years reducing an idea to a level of detail a machine can check, whether formal verification can catch an AI that's



























