Get the latest tech news
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved theorems
None
Or read this on Hacker News
