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

Reported by theguardian.com. AI Lounge's full brief on this story is being written.