Claude AI identifies 663 theorems in Kurt Gödel’s handwritten notebooks
Jan von Plato used the AI model Claude to identify 663 theorems within 1,009 pages of Kurt Gödel's handwritten workbooks. The AI analysis revealed…
Topic
Independent international news and analysis