AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems(theguardian.com)
318 points by bookofjoe | 90 comments
Guardian article on how logician Jan von Plato used the AI model Claude to decode Kurt Gödel's shorthand notebooks, revealing hundreds of unknown proved theorems.