Gödel's Incompleteness Theorems

Researchers used AI to transcribe and formalize 1,009 pages of Kurt Gödel's densely written notebooks, much of it in an obsolete shorthand. The archive is said to contain hundreds of previously unpublished proved theorems, marking a landmark intersection of mathematical history and AI for Science.