芬兰赫尔辛基大学逻辑学家 Jan von Plato 借助 Claude，成功破译哥德尔尘封八十多年的速记工作簿，从一千多页手写笔记里面提取出 663 条带有证明思路的定理雏形，经过 Coq 形式化核验之后，确认其中大约四百条定理成立；这批手稿使用冷门的加贝尔斯贝格德文速记书写，过去人类研究进度只能做到一周一页，靠人力完整梳理几乎不现实，而 Claude 在几天之内输出长达 650 页的解读文稿，后续迭代扩充至一千多页，同时挖掘出哥德尔当年在连续统问题上，已经搭建出和科恩后来证明等价的框架，比正式成果早了二十多年，只差最后一步补全论证，如果当年完整发表，就是标准菲尔兹奖级别成果，笔记里面还藏有超前的量子计算、闭合时间宇宙相关思考，现在已经成为数理逻辑领域的重磅新发现。
- 原始手稿基础信息
- 作者：库尔特・哥德尔，不完备定理提出者
- 载体：16 本工作簿，合计 1009 页
- 书写方式：加贝尔斯贝格德文速记，如今精通该速记的人极少
- 创作时段：1940 年定居普林斯顿高等研究院之后陆续写下
- 尘封时长：超过 80 年，一直没有系统完整解读
- 过往研究速度：人工研读大约每周一页，一年仅能推进约 50 页
- Claude 介入与完整解析流程
- Jan von Plato 先把速记手稿转录为可读文本，同时附上自己多年研究哥德尔的专著、相关经典文献，全部输入 Claude。
- Claude 在短短数天之内，输出一份 650 页的综合解读，打通分散在整本手稿里面跨页面的逻辑线索。
- 通过持续追问迭代，解读文档扩充到 1084 页，从中批量识别、摘出全部带有证明草图的定理条目，一共得到 663 条。
- 联合计算机科学家 Josef Urban，使用 Coq 证明助手开展形式化校验。
- 核验完成，确认大约 400 条定理陈述与证明思路可靠；同时筛出 14 个过去学界长期忽略、没有跟进研究的逻辑方向。
- 笔记里面最震撼的核心发现
- 关键边界说明
| 发现项 | 具体说明 |
|---|---|
| 连续统假设前置框架 | 哥德尔早在 1940 年代就搭建等价架构，距离科恩 1963 年的突破性证明只差最后一步 |
| 批量隐藏定理 | 663 条定理雏形，400 条经过形式验证成立，属于此前从未公开的数学结果 |
| 超前跨界思考 | 包含量子力学计算模型、闭合时间曲线宇宙等超前想法 |
| 未开发逻辑分支 | 一共 14 条全新逻辑研究主题，留给后续数学家继续深挖 |
Claude 只是辅助解读工具，并不是 AI 独立证明数学猜想；转录、选题、最终核验依然依靠人类数学家与形式化证明工具。哥德尔没有写完连续统假设的最终证明，只是已经摸到通往结论的关键结构，所以媒体描述为距离菲奖级成果只差最后一步，并不是说哥德尔已经完成完整证明。这项成果也刷新大家对大模型在数学史、手稿释读方向的定位，适合用来处理零散、跨页、逻辑交织的古老手稿材料。
【相关 FAQ】
问题 1：Claude 破译哥德尔八十多年笔记，是不是代表 Claude 独立证明了菲奖级数学难题？
回答 1：不是，Claude 只是辅助破译哥德尔手稿、提取定理与梳理逻辑，Claude 破译哥德尔笔记这件事里，完整核验和数学判断都依靠人类学者与 Coq，哥德尔本身也没有写完最终证明。
问题 2：哥德尔这份被 Claude 破译的 80 年笔记，用的是什么文字记录，为什么之前很难读懂？
回答 2：哥德尔这份被 Claude 破译的 80 年笔记使用加贝尔斯贝格德文速记书写，这种速记现在掌握的人非常稀少，人工研读速度极慢，长期没法系统性梳理。
问题 3：在 Claude 破译哥德尔笔记之后，这批手稿一共挖掘出来多少条可以验证的定理？
回答 3：在 Claude 破译哥德尔笔记之后，一共识别出 663 条带有证明草图的定理雏形，经过形式化验证，大约 400 条定理得到确认。
问题 4：Claude 破译哥德尔笔记时发现，哥德尔差一点拿下的菲奖级成果是什么方向？
回答 4：Claude 破译哥德尔笔记时发现，哥德尔很早就搭建连续统假设相关架构，比后来科恩的证明早二十多年，如果补齐证明，就是菲尔兹奖级别成果。
【参考资料】
[2026-11-14]（Claude 破译哥德尔天书，80 年笔记震撼数学界）36 氪
[2026-11-14]（AI helps unlock hundreds of proved theorems in Kurt Gödel’s hidden notebooks）Activate Press
[2026-11-14]（Von Plato uses Claude to extract 663 theorems from Gödel notes）AI Weekly
[2026-11-13]（Ahead of His Time: AI Helps Unlock Discoveries Hidden in Notebooks）普林斯顿高等研究院
[2026-11-13]（AI Unlocks Hundreds of Proved Theorems in Kurt Gödel’s Hidden Notebooks）Berliner Tageblatt
【免责声明】
以上内容仅为本次 Claude 破译哥德尔手稿事件的资讯整理，不构成数学专业证明、学术定论建议；手稿解读、定理核验还在持续推进，后续可能出现修正，相关学术结论请以正式发表论文与高等研究院后续公告为准。
本文来自作者[微管集信人]投稿，不代表乌兰科技网立场，如若转载，请注明出处：https://www.wlcbnews.com/rgzn/202611/2615.html
评论列表（4条）
我是乌兰科技网的签约作者“微管集信人”！
希望本篇文章《Claude 破译哥德尔 80 年速记手稿，笔记揭示其距离菲尔兹级成果只差一步》能对你有所帮助！
本站[乌兰科技网]内容主要涵盖：互联网行业的追踪与探索
本文概览：芬兰赫尔辛基大学逻辑学家 Jan von Plato 借助 Claude，成功破译哥德尔尘封八十多年的速记工作簿，从一千多页手写笔记里面提取出 663 条带有证明思路的定理雏形，经过 Coq 形式化核验之后，确认其中大约四百条定理成立；这批手稿使用冷门的加贝尔斯贝格德文速记书写，过去人类研究进度只能做到一周一页，靠人力完整梳理几乎不现实，而 Claude 在几天之内输出长达 650 页的解读文稿，后续迭代扩充至一千多页，同时挖掘出哥德尔当年在连续统问题上，已经搭建出和科恩后来证明等价的框架，比正式成果早了二十多年，只差最后一步补全论证，如果当年完整发表，就是标准菲尔兹奖级别成果，笔记里面还藏有超前的量子计算、闭合时间宇宙相关思考，现在已经成为数理逻辑领域的重磅新发现。