Technology news and discussion on TalkFuse.
‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
Kurt Gödel’s notebooks from the early 1940s appear to contain hundreds of previously unknown theorems and ideas that anticipated later work in logic. Finnish logician Jan von Plato used the AI model Claude to analyse the densely written material, bringing its contents into view far faster than his team could manage by reading it page by page.
The 16 notebooks contain 1,009 pages, much of them written in Gabelsberger, an obsolete German shorthand. Von Plato had spent years transcribing and studying them; Claude produced a 650-page explanation within days, which he then checked against the source. The analysis identified dozens of ideas resembling results developed in the 1970s and 1980s, as well as 14 themes in logic that remain unexplored.
In short
- AI analysis has revealed hundreds of unknown results in Gödel’s notebooks.
- The notebooks span 1,009 pages, much of them in obsolete shorthand.
- Researchers say the material may point to unexplored areas of logic.