Claude破译哥德尔千页速记笔记

一位长期研究哥德尔遗稿的逻辑学教授，把十六本工作簿称作“天书”。这些笔记用加贝尔斯贝格速记法写成，全球能读懂的人屈指可数。教授申请到欧洲研究理事会250万欧元资助，从头自学这种已经“灭绝”的德文速记，只为一页页啃下哥德尔1940年定居普林斯顿后写下的16本工作簿。可真正让他头疼的并不是速记本身，而是笔记里高度浓缩、跳跃极快的直觉草图与未展开公式。直到今年夏天，一场“AI与定理证明”会议上的建议，把Claude推到了这批遗稿面前。

千页速记天书锁住哥德尔十六本工作簿

教授锁定的目标很明确：16本工作簿，足足1009页。加贝尔斯贝格速记在当代几乎无人使用，教授调侃说，现在全世界能读懂这种速记的大概只有六个人，而他是其中之一。

最笨重、最耗时的一步必须由人类亲手完成。所有AI都看不懂这种速记，教授团队只能花好几年，一页一页把“天书”转写成现代英文。可转写成英文只是第一关。哥德尔的笔记充满直觉性草图和未展开的公式，研究进展如龟速：每周消化一页，一年也就吃透50页。按这个速度，留给老爷子的时间并不多。

转折出现在今年夏天。法国一场“AI与定理证明”学术会议上，几位计算机科学家向教授建议：要不试试Claude？命运的齿轮从这里开始转动。

每周一页的龟速被几天打破

教授把1009页撰写稿、自己写过的6本专著，以及大量现代逻辑学和科学文献，一并喂给了Claude。几天后，屏幕上吐出的结果让老教授当场震惊：Claude给出一份650页解读，后续随着追问，报告又膨胀到1084页。

为什么Claude能做到人类难以做到的事？教授在维也纳大学的演讲中解释，Claude是一个“数字怪物”，拥有“莫扎特式”的视野。莫扎特构思交响曲时，不是一个音符接一个音符去想，而是在脑海里瞬间看到整部作品，像眼前摆着一座完整的雕塑。人类读书却只能一页页翻，读到第500页时，早已忘了第10页写过什么。但这个“怪物”不一样，哥德尔上千页的思绪，连同整个人类科学史的文献，在它面前是“同时在场”的。

为了把第12页的灵感和第890页的公式联系起来，Claude梳理出了663条具备定理雏形的结果。这不是简单的摘要，而是在跨越千页的断裂处重新搭桥。

六百六十三条定理雏形送进Coq

更关键的一步发生在证明验证环节。教授把Claude还原出的证明交给了形式化证明助手Coq，结果全部验证通过。这意味着，AI不只是“读懂了”哥德尔的速记，它还把其中隐藏的推理链重新组织成了机器可检验的形式。

同一套能力并非只在这批笔记里出现。在另外几项数学任务中，Claude也表现出类似的长时间搜索与自我核验方式：

• 在三元哥德巴赫猜想的形式化工作中，它找出原书11处对不上的地方，把证明依赖的外部公理从5项一路砍到只剩2项；
• 在黎曼ζ函数零点下界问题上，它把人类保持了数十年的41.6%推到67.2%，并给出Lean形式化证明；
• 在NIST曲线种子溯源中，它从160位种子反推出Unix时间戳，解释了一批公开曲线参数的生成过程。

这些任务共同指向一种工作方式：先大量试错，再用形式化工具、数值检验和文献查重把结果钉死。哥德尔笔记的解读，正是这套方式在历史手稿上的一次集中爆发。

金森晶宏不知AI参与读完盛赞

教授把这篇人机合著论文发给了哥德尔专家金森晶宏。金森根本不知道有AI参与，读完后大加赞赏：“无论在数学上还是历史上都极其敏锐、深刻。”

让当代逻辑学家更惊喜的是，Claude列出了14个隐藏在笔记中、至今依然无人研究过的全新课题。随便让它展开讲讲，AI转眼就写出一份50页大纲，吓得老教授直呼“根本没时间看啊”。

笔记里还藏着几十个直到1970、80年代才被重新发现的逻辑学结果，比如构造性公理的独立性、函数解释中的强规范化证明等。更讽刺的是，教授在笔记另一处发现，哥德尔明明知道那个正确的定义是什么，甚至自己写下来解释过，只是在1960年代重新翻看时给忘了。一个改写历史的成果，就这样埋没在草稿纸中。

工作簿末尾的旋转宇宙与量子计算线索

最让科幻迷和物理学家心跳加速的，是哥德尔在工作簿末尾留下的物理学与宇宙学笔记。参考资料显示，这些内容涉及量子计算、旋转宇宙等议题，领先后人几十年。它们此前