AI Helps Decode Kurt Gödel's Notebooks, Revealing Hundreds of Proved Theorems

Researchers are using AI to work through Kurt Gödel's unpublished notes, which span 1,009 pages written largely in an obsolete shorthand. The material is reported to contain hundreds of proved theorems. Gödel published only a few papers after his 1931 incompleteness theorems, so the notebooks are of major interest to historians of science.

Why it matters: It is a concrete example of AI being applied to decode difficult historical technical material and surface new mathematical results.