‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths

Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved theorems

Progress in the mathematical understanding of the text was painfully slow – about a page a week – until September, when von Plato enlisted the help of the AI model Claude. Within a couple of days, Claude had provided a comprehensive digest of the entire material, revealing Gödel had proved hundreds of theorems that no one knew about.

The most famous logician of modern times had, in fact, discovered significantly more than anyone had thought.

https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths

Which reminds me....I should dig up my copy of Gödel, Escher, Bach and re-read it. Great book.