AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems | Hacker News

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (theguardian.com)

298 points by bookofjoe 6 hours ago | 85 comments

Loading...