AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
What happened
Finnish logician Jan von Plato led a Helsinki University project to decode 1,009 pages of Kurt Gödel’s 1940s notebooks written in the obsolete German Gabelsberger shorthand. After slow manual progress, he used the AI model Claude, which within days produced a comprehensive digest showing Gödel had proved hundreds of previously unknown theorems and anticipated results from the 1970s‑80s. The AI also identified 14 logical themes that had never been pursued. The work was funded by a €2.5 million European Research Council grant and involved a small team trained in the shorthand.
Why it matters
For readers, the discovery shows how AI can accelerate the study of historic scientific documents, potentially revealing hidden insights that reshape our understanding of mathematics. It also illustrates AI’s role as a research assistant rather than a replacement for human expertise.
Reality check
An automated, sceptical read of the sourceNotable. The AI dramatically sped up analysis that previously took weeks per page, uncovering many new theorems, but it built on existing human transcription work.
Is this a big deal?
Get stories like this every morning
The day's AI news in plain English, in your inbox at 8:30 IST. Free.
More AI news
Gemini 4 Hydrogen and OrchestratorIndustry news · 12 Nov 2026Gemini 4 HydrogenIndustry news · 12 Nov 2026I'm making LLMs work on small and old devicesIndustry news · 12 Nov 2026United Airlines bans AI agents from booking flights on behalf of travelersIndustry news · 11 Nov 2026My AI agents found an unmapped Maya site?Industry news · 11 Nov 2026This page was collected from theguardian.com and summarised automatically by AIPulsee's pipeline. See how it runs.