An AI called Claude just helped researchers uncover hundreds of previously unknown theorems in legendary mathematician Kurt Godel's old notebooks from the 1940s.
Led by Jan von Plato at Helsinki University, the team used Claude to decode 1,009 pages of densely written text, much of it in German shorthand, Gabelsberger, revealing just how much more Godel contributed to math and logic than anyone realized.
Godel nearly proved axiom of choice
Claude even found that Godel had nearly finished proving the independence of the axiom of choice, a big deal.
Using special software, von Plato checked most of Godel's 663 theorems and confirmed or refined them, further cementing Godel's place as a math icon.
The team says there's still more to explore in his manuscripts, including work on physics and cosmology, so we might see even bigger discoveries soon.
As von Plato put it, "He was just one step away."