"Truth Machine". Now, that's.. a lot. Gödel is cancelled? Did I miss the memo?
bsky.app/profile/simo...
Tuomas Pernu
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
