Post

Meanwhile, per @wsj.com: Lean & LLMs “have forced mathematicians for the first time in more than a century to reckon with…their field.” Kevin Hartnett’s (@kevinhartnett.bsky.social) book on Lean’s story is just what readers need to understand the news. Read more: 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?

No replies yet.