Alex Bellos, The Guardian; ‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
"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."
