AI unlocks Gödel's notebooks, said to contain hundreds of proved theoremstheguardian.com
254 points by bookofjoe 4 hours ago | 71 comments