After the Proof Checks: Kevin Hartnett on Lean, AI, and Mathematical Understanding
1. Guest Background Kevin Hartnett joins Machine Learning Street Talk as the author of Proof in the Code, a book about computer assisted mathematics and the people building its infrastructure. Beginning with the computa...