GoKawiilClaude AI helps decode Kurt Gödel's unpublished 1940s notebooks
A Helsinki University project led by logician Jan von Plato has used the AI model Claude to transcribe and analyze 1,009 pages of Kurt Gödel's handwritten workbooks, written in obsolete German shorthand. Progress that previously took about a page per week was completed within days, revealing hundreds of previously unknown theorems Gödel had proved in mathematics and logic.
GoKawiil's interpretation of the reporting above, not reported fact.
The discovery suggests Gödel's private research went far beyond his published incompleteness theorems, potentially reshaping historians' understanding of 20th-century logic. Von Plato says the notebooks anticipate results not formally established until decades later and contain 14 unexplored logical themes, which could open new avenues for mathematical research. The episode also illustrates how AI tools can accelerate archival scholarship that had stalled for years under manual transcription methods.
- Claude AI rapidly transcribed and analyzed Gödel's 1,009-page shorthand notebooks in days, versus a page a week manually.
- The analysis reportedly uncovered hundreds of theorems Gödel proved but never published.
- Some findings anticipate mathematical results not otherwise discovered until the 1970s and 80s, per researcher Jan von Plato.
Source: theguardian.com — Alex Bellos, 2026-11-13
Published there as: “AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.