
哥德爾說他早就證明過,卻拿不出證明!Claude 翻完千頁筆記發現只差一步
哥德爾 1966 年說自己早就證明過,卻拿不出證明。大型語言模型 Claude 讀完他的千頁筆記,重建出的證明經 Coq 檢查通過,另抽出 663 個定理,其中約 50 個是錯的。 ⭐ 文章深度讀:哥德爾千頁速記被 AI 幾天讀完:663 個定理功勞該算誰? → https://heymaibao.com/godel-shorthand-notebooks-ai-credit-cb93cd/ ⚡ 章節重點 AI 補完的功勞歸屬 00:00 千頁速記與 AI 解讀 00:34 哥德爾的證明與機器驗收 02:31 圈外學者眼中的功勞 04:40 讀完舊資料之後的事 05:58 📝 懶人包 ∙ von Plato 說,他幾天內就拿到一份 650 頁的筆記解說 ∙ Claude 從筆記抽出 663 個有證明、草稿或構想的定理 ∙ Claude 重建的選擇公理獨立性證明,丟進 Coq 檢查後通過 ∙ 我的觀點:上千頁筆記幾天就被讀完,功勞該算誰反而變得更難說 📚 參考資料 ‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths → https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths Fields Medal - MacTutor History of Mathematics → https://mathshistory.st-andrews.ac.uk/Honours/FieldsMedal/