Claude 读完哥德尔 1009 页手稿：挖出 440 余条未发表定理

1978 年，71 岁的库尔特·哥德尔停止了呼吸。这位自亚里士多德以来最重要的逻辑学家给人类留下了数万页手稿，其中大量内容从未发表。1931 年他提出不完备定理，启发了艾伦·图灵构想通用计算机；但此后他留下的笔记，多数人连看都看不懂。

八十年后，一位即将退休的芬兰教授决定把这些"天书"交给 Claude。几天之内，模型读完了上千页笔记，挖出 440 多条全新定理。

一个赌上退休生涯的决定

这位教授叫 Jan von Plato，芬兰赫尔辛基大学的逻辑学家。2017 年，正值强制退休的年纪，他决定去做一件几乎没人认为能完成的事：破译哥德尔手稿。

难点首先在文字。这些笔记用一种叫加贝尔斯贝格（Gabelsberger）的德文速记法写成，这套体系在全球范围内能读懂的人屈指可数。von Plato 的自我调侃是："现在全世界能读懂这种速记的，大概只有六个人，我是其中之一。"他为此申请到欧洲研究理事会 250 万欧元的资助——对一个退休前后的学者来说，这几乎是最后一次机会。

他给自己锁定的目标，是哥德尔 1940 年定居普林斯顿后写下的 16 本工作簿，合计 1009 页。第一步是把速记转写成现代英文，这件事无法交给 AI——当时的模型面对速记符号两眼一抹黑，只能由人一页一页手工完成，团队为此花了数年。

看得懂英文，不等于看得懂哥德尔的脑子

转写完成只是噩梦的开始。哥德尔的笔记高度浓缩、跳跃极快，充满直觉性的草图与未展开的公式，研究进展慢得让人绝望：团队每周只能消化一页，一年也就吃透 50 页。按这个速度，1009 页需要二十年。

AI 介入后，阅读速度不再是瓶颈。几天内，Claude 处理完这批手稿。更关键的是它做的事情不只是"读"——它把零散的推导片段拼接成完整的论证，识别出哪些地方哥德尔实际上已经给出了定理的陈述与证明骨架，只是从未整理发表。结果是 440 多条此前不为人知的定理。

为什么这件事值得单独说

第一层意义在数学史。报道提到，哥德尔 1940 年的草稿中已经接近触及后来获得菲尔兹奖级别的问题，另有一些明显超出时代的内容，涉及量子力学计算与时间闭环宇宙的设想。如果这些判断在同行评议中被确认，我们对二十世纪逻辑学与物理学交叉处的知识谱系，需要重新画一部分。

第二层意义在方法论。数学文献的"读懂"和其他领域不太一样：它要求严格的符号一致性，任何一步推导错了，结论就不成立。一个大语言模型能在这类文本上产出可被专家核查的定理陈述，说明它在长程符号推理上的稳定性比公开基准显示的更好——这与"能做题"是两回事。能做题靠模式匹配，能读手稿靠的是在极稀疏的上下文里维持推理链。

第三层意义在学术基础设施。全球有大量类似的未整理手稿：科学家的工作笔记、未发表的证明、被遗忘的通信。过去它们只能等一两位愿意投入一生的学者，现在有了另一种可能：先由模型做结构化的初步整理，再由专家核查。这不会替代学术判断，但能把"值不值得投入二十年"这个决策的成本降到可承受的水平。

保持审慎的地方

必须说明的是，以上内容来自公开报道，440 余条定理目前仍待数学界逐条核查。模型的输出需要专家验证才能进入知识体系，这一点在任何 AI 辅助的文献工作中都不会改变。von Plato 的工作之所以有说服力，恰恰因为他先花了数年把速记转写成可读文本——AI 接手的是"理解"而不是"辨认"，前者可以加速，后者仍然需要人的耐心。

对 AI for Science 这条线来说，这个案例给出的信号比分数更有价值：模型在科学史这类"低数据、高推理密度"的场景里，已经开始能承担实质工作，而不只是做检索和摘要。