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.
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."
@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...
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
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
Also: “There is no democracy without journalism. It can’t be done. That is why I am a journalist.”
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!
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...
“about four hours after our deadline, Bari Weiss sends an email to my boss, Tanya Simon. Two of the things in the email include, can we make the protesters look more violent? … And … Renee Good’s car. You need to describe her as driving toward the officer.” www.nytimes.com/2026/06/07/m...
"Ruptosis" sounds like the body's way to lobbest thou thy holy hand grenade. www.nature.com/articles/d41...
“I have been in combat in Afghanistan,” Mr. Pelley said. “I have been in combat in Iraq. I have been in the war zone in Ukraine multiple times, risking my life and the happiness of my family because of my devotion to the broadcast.”
www.nytimes.com/2026/06/02/b...
