Hacker News new | past | comments | ask | show | jobs | submit
taylorbuley | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Thank you! Godel's work get us comfortably uncomfortable with unknowability but damn, to think there's more out there! I'm dying to know more.