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

by bookofjoe | View on Hacker News