AI helped decipher Kurt Gödel's manuscripts

Artificial intelligence has helped Finnish logician Jan von Plato decipher the shorthand notebooks of mathematician Kurt Gödel. As a result of the researchers' work, hundreds of previously unknown theorems and a near-complete proof of the continuum hypothesis and the axiom of choice were discovered in the archives.

The materials of the scientific study include notes made using the special Gabelsberger shorthand system, which Gödel used for decades. Due to the specific cipher and complex mathematical notations, manual deciphering previously took years, but algorithms were able to speed up the handwriting recognition process.

The data obtained sheds light on the late period of the mathematician's work and his research on the philosophy of mathematics. The deciphered materials have been handed over to the academic community for detailed study and verification of the proofs.