AI Unlocks Hundreds of Proved Theorems in Kurt Gödel’s Hidden Notebooks
A Finnish logician has used artificial intelligence to decipher thousands of pages of Kurt Gödel’s unpublished work, uncovering hundreds of proved theorems hidden in obsolete German shorthand. The discovery reveals that the Austrian mathematician had anticipated results not known until decades later, fundamentally altering the understanding of his contributions to logic and mathematics.