Super nerd here to spread the joy of learning.
📖 Publisher @quantabooks.org at @simonsfoundation.org
📚 Author list: Terence Tao, David Tong, Kevin Hartnett
⚛️ Founding EIC @quantamagazine.bsky.social
💼 Prev @nytimes.com, CASW, CUNY J-School
🚴🏼🎾♟️
Thomas Lin
Loading...
Get the inside story on Terry Tao’s journey into Lean and AI for math. This is an abridged chapter from @kevinhartnett.bsky.social’s THE PROOF IN THE CODE, available in bookstores tomorrow!
Thomas Lin
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
@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...
Video
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
Love that @kevinroose.com said on Hard Fork that THE PROOF IN THE CODE by @kevinhartnett.bsky.social is “the most interesting book I’ve ever read about math.”
www.nytimes.com/2026/06/05/p...
"Ruptosis" sounds like the body's way to lobbest thou thy holy hand grenade. www.nature.com/articles/d41...
Also: “There is no democracy without journalism. It can’t be done. That is why I am a journalist.”
