Reposted by Peter Rood
My first book is out this week, The Proof in the Code. Two notes:
1. It's a character-driven story about people who dared to envision a new way of doing mathematics.
2. I can still barely believe the perfect confluence between Lean and our AI moment.
www.quantabooks.org/books/the-pr...
quantabooks.org
The Proof in the Code - Quanta Books
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?