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.