Kurt Gödel etterlot 1009 sider tett skrift, mye av det i en foreldet stenografi. Notatene skal nå inneholde hundrevis av beviste teoremer.

Kilde: https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths