AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

Researchers using the AI model Claude have decoded Kurt Gödel's 1,009-page workbooks from the 1940s, which were written in obsolete German shorthand and had been slow to decipher by hand. The AI analysis revealed that Gödel had proved hundreds of previously unknown theorems and explored 14 logic themes that were never developed, demonstrating he was far ahead of his time. This discovery significantly expands our understanding of the groundbreaking mathematician's contributions beyond his famous 1931 incompleteness theorems that transformed modern mathematics and computation.