Claire AI Digs Through Gödel's Notebooks: 663 Unknown Theorems Found

Claude digested 1,009 pages of Gödel's shorthand notebooks in days, finding 663 theorems and a near-complete independence proof from the 1940s.