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

335 points

by bookofjoe

8 hours ago

92 comments