Claude 破解哥德爾的速記筆記本，找出 663 條定理

芬蘭邏輯學家 Jan von Plato 使用 Anthropic 的 Claude 處理了 Kurt Gödel 1940 年代 Gabelsberger 速記工作筆記本共 1,009 頁的內容，這項工作原先大約每週推進一頁。Claude 在幾天內產出了一份 650 頁的說明，並找出 Gödel 已證明、勾勒或構想過的 663 條定理。Von Plato 表示，輸出結果必須逐頁核對。 透過 Coq 證明助理執行後，約 400 條定理按原陳述通過驗證，約 200 條需要修正——例如更精確的陳述或補充假設——約 50 條為假。Von Plato 表示，Claude 對選擇公理獨立性證明的重建通過了 Coq，這表明 Gödel 在 1940 年代就已掌握該結果，且這些筆記本中還包含十多個尚未探索的邏輯主題。

AI 依報導生成 · 1 小時前更新

還沒有足夠的連續觀測資料，暫不繪製趨勢。