AI decodes Gödel's shorthand, unlocking hundreds of unpublished theorems

Researchers have used AI to decipher Kurt Gödel's 1,009 pages of shorthand notes, revealing hundreds of previously unreadable proved theorems. This marks a novel application of AI to historical scientific archives, potentially reshaping understanding of Gödel's later work. The full scope of the discoveries remains unclear until the decoded material is formally analyzed.

AI disclosure: Model-written summary of the source, not a verified fact. Check the sources. How Mosaic works