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

302 points

by bookofjoe

6 hours ago

88 comments