AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (www.theguardian.com)

A groundbreaking collaboration between Finnish logician Jan von Plato and the AI model Claude has unveiled the hidden contents of Kurt Gödel's notebooks, which include hundreds of previously unrecognized theorems. Gödel, a pivotal figure in 20th-century mathematics known for his incompleteness theorems, left behind an extensive collection of unpublished work written in an obscure German shorthand. Von Plato's project, initiated in 2017, struggled to decipher the material until the intervention of AI significantly accelerated the process, producing a substantial analysis within days. This revelation is significant for the AI/ML community as it demonstrates the potential of AI to synthesize and analyze complex historical mathematical texts that are challenging for humans to interpret due to their volume and encoding. Claude's assistance allowed researchers to verify approximately 400 theorems and discover new concepts that have remained unexplored since the 1940s. Among these findings is evidence that Gödel was close to proving the independence of the axiom of choice, a result that, had it been published, might have earned him the prestigious Fields medal in 1940. This breakthrough not only enriches the history of mathematical logic but also underscores the transformative role of AI in illuminating the contributions of great thinkers.