📜 Claude read 1,009 pages of Gödel's notes and listed 663 theorems
Finnish logician Jan von Plato had been decoding Kurt Gödel's early-1940s workbooks at about a page a week since 2017. In September he gave Claude his transcriptions, and within a couple of days it returned a 650-page explanation. Of 663 theorems Gödel had proved, sketched or only outlined, about 400 checked out in the Coq proof assistant as written, about 200 needed a fix, and about 50 were false. Claude also found Gödel was one wrong definition away from a proof that the axiom of choice is independent, the result Paul Cohen later won a Fields Medal for.
⭐ A logician stuck at a page a week handed the notebooks to Claude and got years of reading back in two days.
#AI
Finnish logician Jan von Plato had been decoding Kurt Gödel's early-1940s workbooks at about a page a week since 2017. In September he gave Claude his transcriptions, and within a couple of days it returned a 650-page explanation. Of 663 theorems Gödel had proved, sketched or only outlined, about 400 checked out in the Coq proof assistant as written, about 200 needed a fix, and about 50 were false. Claude also found Gödel was one wrong definition away from a proof that the axiom of choice is independent, the result Paul Cohen later won a Fields Medal for.
⭐ A logician stuck at a page a week handed the notebooks to Claude and got years of reading back in two days.
#AI
