Exploring the frontiers of science and math. Illuminating humanity’s quest to understand the universe. Capturing the wonder of discovery. For readers who want to know more.
Visit our website for more: www.quantabooks.org
Quanta Books
Loading...
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...
@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...
Quanta Books
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
Video
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.”
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
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.
Quanta Books
Quanta Books
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
