Claude破译哥德尔80年笔记发现663条定理

时间：2026 年 11 月 13 日 地点：芬兰赫尔辛基大学 人物：Jan von Plato（芬兰赫尔辛基大学逻辑学教授） 事件详情： 芬兰赫尔辛基大学逻辑学家 Jan von Plato 领导的团队借助 Anthropic 的 Claude 模型，成功破译数学家 Kurt Gödel 写于 20 世纪 40 年代初的 16 本工作笔记，共 1,009 页。这批笔记大部分以已近乎失传的德语 Gabelsberger 速记体写成，团队自 2017 年起以每周约一页的速度人工转写，进度极慢。今年 9 月引入 Claude 后，模型在数日内产出一份 650 页的完整解读，梳理出 663 条定理雏形。经 Coq 形式化验证工具检验，约 400 条被确认为原表述成立，约 200 条需补充假设或 tighten 陈述，约 50 条被证实为错误。 背景： Kurt Gödel 是 20 世纪最具影响力的数学逻辑学家之一，以不完备定理闻名。他 1978 年去世后留下数万页未发表手稿，其中这 16 本工作手册用 Gabelsberger 速记写成，von Plato 自学了这门当时已近乎绝迹的速记术，并称全球只有六人能读懂。2017 年，他获得欧洲研究理事会 250 万欧元资助，开始系统性转写 Gödel 的笔记。von Plato 将转录稿、自己撰写的六本哥德尔专著及相关二手文献一并喂给 Claude，几天内就得到了一份 650 页的全面解读。 影响： 这项研究标志着 AI 首次在数学史领域完成了一项人类专家形容为「不可能完成」的 manuscript-decipherment 任务。最引人注目的发现是，Gödel 在 1940 年代已几乎完成了选择公理独立性证明，仅差一个定义错误——而他早在 1966 年就宣称自己做过此证明，但始终无法从笔记中重建。Claude 补全了这一定义，修复后的证明已通过 Coq 验证。Notre Dame 大学逻辑学家 Joel David Hamkins 评价称，如果结果成立，「这是 remarkable and historically interesting」，但「功劳有多少属于 Claude、多少属于 Gödel，是历史学家的工作」。 总结： 从每周一页到数日产出一份 650 页分析，Claude 将九年的转录工作压缩到了几天。663 条定理中约 400 条经形式化验证成立，不仅揭示了 Gödel 远超时代的思想深度，也为 AI 辅助数学发现树立了新标杆。von Plato 表示，接下来团队将利用 Claude 继续解读 Gödel 的物理学与宇宙学笔记，那批材料至今无人涉足。 参考来源： AI Weekly https://aiweekly.co/alerts/von-plato-uses-claude-to-extract-663-theorems-from-godel-notes MLQ.ai https://mlq.ai/news/claude-helped-decode-kurt-godels-shorthand-notebooks-turning-up-663-theorems-and-a-near-proof-he-claimed-in-1966/ Geo.tv https://www.geo.tv/latest/691011-ai-unlocks-80-year-old-secrets-of-einsteins-friend-uncovers-hundreds-of-mathematical-discoveries ExplainX.ai https://explainx.ai/blog/claude-godel-notebooks-von-plato-663-theorems-coq-what-is-verified-2026 life.ru https://life.ru/p/operedil-nauku-na-desyatiletiya-ii-nashel-u-gedelya-sotni-zabytyh The AI News https://theainews.cc/articles/2026-11-13-godel-notebooks-ai/ 四十八個德瑞克 https://blog.derekhsu.net/2026/11/14/godel-notebooks-ai-claude/