📜 Claudeはゲーデルのノート1,009ページを読み、663の定理を列挙

フィンランドの論理学者ヤン・フォン・プラトは2017年以来、クルト・ゲーデルが1940年代初頭に書いたワークブックを、週に約1ページのペースで解読していた。9月、彼は書き起こしをClaudeに渡し、数日も経たないうちに650ページに及ぶ解説を受け取った。ゲーデルが証明した、概略を示した、あるいは概要だけを記した663の定理のうち、約400は記述どおりに証明支援系Coqで検証でき、約200には修正が必要で、約50は誤りだった。さらにClaudeは、ゲーデルがあと定義を1つ誤るだけで選択公理の独立性を証明できていたことも発見した。この結果で、のちにポール・コーエンはフィールズ賞を受賞した。

⭐ 週に1ページしか進められずにいた論理学者がノートをClaudeに渡すと、何年分もの読解が2日で返ってきた。

#AI