ClaudeがGödelのノートを解読、663件の定理候補を抽出

数学者Jan von Plato氏がClaudeを使い、Gödelが1940年代初頭に記した16冊のノートの内容を解読しました。Claudeは定理候補663件を抽出し、Coqで検証したところ、約400件は記述どおりに確認され、約200件は修正後に確認されました。一方、約50件は誤りでした。