Hacker News AIT2·Models
71 pts
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.