@quantabooks.org just released their first book, on the story of Lean by @kevinhartnett.bsky.social. It's a great story, about a pretty significant part of what's happening in math right now.
www.quantabooks.org/books/the-pr...
As Grant Sanderson (@3blue1brown.com) says, the program Lean is "one of the most important things happening to math right now—future generations may come to regard it as the Euclid’s Elements of our time."
“With marvelous clarity and narrative flair," acclaimed mathematician and author Steven Strogatz (@stevenstrogatz.com) declares, THE PROOF IN THE CODE “introduces us to ... the people reimagining what math can be.”
Read more about the future of mathematics in Kevin Hartnett’s (@kevinhartnett.bsky.social) THE PROOF IN THE CODE, publishing tomorrow: www.quantabooks.org/books/the-pr...
Read more about Lean in Kevin Hartnett’s THE PROOF IN THE CODE, publishing June 9: www.quantabooks.org/books/the-pr...
From award-winning science writer Anil Ananthaswamy (@anilananth.bsky.social): To learn about the future of computer science, math and AI, read Kevin Hartnett's (@kevinhartnett.bsky.social) THE PROOF IN THE CODE.
Available June 9.
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
In his book, "The Proof in the Code: How a Truth Machine Is Transforming Math and AI," @kevinhartnett.bsky.social tells the story of computer program Lean in an effort to answer a longstanding question: Can computers reveal universal truths? Out today from @quantabooks.org: https://bit.ly/43X5To1
