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

Finnish logician Jan von Plato used the AI model Claude to analyze 16 notebooks by Kurt Gödel from the 1940s, revealing hundreds of previously unknown theorems and logic themes far ahead of their time. This discovery shows Gödel's extensive unpublished work anticipated results decades later and expanded logic beyond his famous incompleteness theorems.