Post

“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.”

8/6/26, 4:15 pm1 repost1 like

Quanta Books

@quantabooks.org

8 June

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.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?