Claude 協助赫爾辛基的邏輯學家解讀哥德爾的速記工作簿，發掘數百個定理

《衛報》報導，自 2017 年起領導赫爾辛基大學一項研究計畫、研究庫爾特·哥德爾 1940 年代初期的 16 本「工作簿」（共 1,009 頁，其中許多內容以已不再使用的 Gabelsberger 速記法寫成）的 Jan von Plato，於 9 月將自己的轉錄稿、先前撰寫的哥德爾著作以及相關研究文獻交給 Claude。據 von Plato 表示，Claude 在幾天內便產出一份 650 頁的工作簿解說；他說，這份解說必須逐頁核對。

von Plato 表示 Claude 找到了什麼。 當被問到工作簿中是否包含選擇公理獨立性的證明時，Claude 重建了一份證明。von Plato 說，這份證明「幾乎」完整，但其中一個定義有誤，而哥德爾兩年前曾正確寫出該定義。他表示，重建的證明通過了 Coq 證明助理的驗證。當 Claude 被要求列出哥德爾證明過、勾勒過或曾構思過的所有定理時，它列出 663 個。von Plato 表示，其中約 400 個依原述法在 Coq 中驗證成功，約 200 個需要修正，約 50 個則是錯的。他也表示，Claude 找出了十多個尚未有人深入研究的邏輯主題。

注意事項。 尚未看過這份重建成果的聖母大學 Joel David Hamkins 告訴《衛報》，如果成果經得起檢驗，那將是「非凡且具歷史意義的」；但其中有多少出自 Claude、有多少出自哥德爾，仍是歷史學家需要探討的問題，而與 Cohen 的證明相似，並不代表哥德爾當時已經有了這份證明。