AI tools are being used to interpret tens of thousands of pages of Kurt Gödel's unpublished work. These notebooks, written in obsolete shorthand, are believed to contain hundreds of previously unknown proved theorems.
HOW THIS AFFECTS YOU
●
researcherYou can use AI to accelerate the recovery of lost mathematical proofs from historical documents.