Researchers have used AI to unlock Kurt Gödel’s 1,009 pages of densely written notebooks, much of it in an obsolete shorthand. The material is said to contain hundreds of previously inaccessible proved theorems.