新智元报道
1978年，71岁的哥德尔停止了呼吸。
这位亚里士多德以来最伟大的逻辑学家离开了，却给人类留下了数万页手稿，此前从未发表。
1931年，他提出不完备定理，启发了艾伦·图灵发明计算机。但随后，他只留下天书一般的笔记。
80年后，一位即将退休的芬兰老教授，决定用Claude解密「哥德尔天书」。
结果，瞬间惊呆了数学界。
几天内，Claude就读完上千页笔记，挖出440 多条全新定理！
更惊人的是，Claude发现：哥德尔1940年的草稿中，差一点就提前20年摘下菲奖级难题，甚至还藏着超越时代的成果——
量子力学计算和时间闭环宇宙。
老教授赌上退休生涯，只为破译天书
这位教授名叫Jan von Plato，是芬兰赫尔辛基大学的逻辑学家。
2017年，正是强制退休的年纪，他打算去闯一闯——不如就解密「哥德尔天书」吧！
这些笔记，用一种加贝尔斯贝格速记（Gabelsberger）法写成，这种德文速记法，在全球都没几个人看懂。
然后，居然还真让他申请到了欧洲研究理事会250万欧的巨额资助。
于是，老头子开始从头自学已经灭绝的加贝尔斯贝格速记。他调侃道：「现在全世界能读懂这种速记的，大概只有六个人，我是其中之一。」
他锁定的目标，是哥德尔在1940定居普林斯顿后写下的16本工作簿，足足有1009页。
这个工作给AI不行吗？
根本不行。von Plato发现，所有AI都看不懂，两眼一抹黑。
最笨重、最耗时的一步，必须由人类亲手完成。为此，教授团队花了好几年，一页一页地，把「天书」转写成现代英文。
然而，这只是噩梦的开始——看得懂英文，可看不懂哥德尔的脑子啊！
这高度浓缩、跳跃极快的笔记，充满直觉性的草图，和未展开的公式（神似拉马努金？）。研究进展如龟速：每周消化一页，一年也就吃透50页。
这个速度，留给老爷子的时间不多了。
然而，转折出现了——
今年夏天，法国一场「AI与定理证明」的学术会议上，几位计算机科学家向教授建议：要不试试Claude？
从此，命运的齿轮开始转动。
「莫扎特式怪物」醒了，几天写出上千页天书解读
教授把1009页是撰写稿，和自己写过的6本专著，以及大量现代逻辑学和科学文献，一股子喂给了Claude。
几天后，屏幕上吐出的结果，让老教授当场震惊瘫坐。
短短几天，Claude给出一份650页解读，后续随着追问，报告又膨胀到1084也。
为什么Claude就能做到人类做不到的事？
在维也纳大学的演讲中，教授这样解释道：Claude是一个「数字怪物」，拥有「莫扎特式」的视野。
据说莫扎特构思交响曲时，不是一个音符接一个音符去想的，而是在脑海里瞬间看到整部作品，就像眼前摆着一座完整的雕塑。
我们人类读书却只能一页一页地翻，读到第500页时，早就忘了第10页写过什么。但这个『怪物』不一样，哥德尔上千页的思绪，连同整个人类科学史的文献，在它面前是『同时在场』的。」
而且，为了把第12页的灵感和第890页的公式联系起来，Claude干出的事让所有人目瞪口呆——
它竟然梳理出了663条具备定理雏形的结果！
随后，在计算机科学家Josef Urban等人的协助与形式化验证下，400条定理被证明完全成立。
另外200条的核心思路也无误，只需一些前置假设。
剩下55条是错的，还有几条仍在验证。
算下来，在1940年代初逃难到美国那短短不到三年里，哥德尔几乎每两天就证明出一条新定理。
而更炸裂的是，Claude发现：哥德尔当年，差点就改写了数学史。
只差一步的世纪遗憾
数学中有条著名的选择公理（Axiom of Choice）。
哲学家罗素用「靴子与袜子」解释它：如果从无穷多双靴子中各挑一只，选择很简单，统一选左靴就行。但如果是无穷多双相同的袜子呢？它们没有左右之分，也没有统一的规则。
但选择公理断言：即使没有规则，也能从每双袜子中各选出一只。
长期以来，数学家们一直在争吵：这条霸道的公理，究竟是能从其他基础公理推导出来，还是独立于它们？这个问题，是「推不出来，也推翻不了」。
直到1963年，美国数学家 Paul Cohen 发明了大名鼎鼎的「力迫法（Forcing）」，一举证明了选择公理的独立性，并在三年后拿下菲尔兹奖。
但在科恩获奖的典礼上，另一位逻辑学巨擘Alonzo Church却公开抛出一个惊天大瓜：
早在1942年，哥德尔就已在类型论的框架下，证出了可构成性公理的独立性，并且「相信」可以将其推广到选择公理。只是后来，哥德尔的兴趣转向了哲学。
科恩本人也曾去找过哥德尔求证。
在2002年，科恩撰文回忆道，他当面问哥德尔时，哥德尔承认自己确实有一套方法，却否认与类型论有关，并且「什么都不肯透露」。
然而，还有另一套说辞。
1967年6月30日，哥德尔在给学者W. Rautenberg的一封信中，罕见承认，自己当年其实只得到了「部分结果」。
著名华裔逻辑学家、哥德尔的好友王浩曾发文表示，哥德尔本人「很后悔当初没有继续这项工作」。
差一点。就差那么一点。
然而，Claude翻出了惊人的真相——
早在科恩之前20多年，哥德尔就已经构造出了完全等价的数学架构，距离最终证明只差临门一脚！
他在笔记里构想了无数个「可能世界」（哥德尔空间）：就像有人在无限重复抛硬币或测量光子偏振，每一个世界都是一串无穷无尽的0和1。
比如圆周率π的二进制展开，就是有规律的「靴子」，但有些则是完全随机、毫无规律的「袜子」。
作为有限的观察者，人类每次只能看清有限个位置，遵循的是直觉主义逻辑；但在背后，哥德尔依然相信存在着绝对的数学真理。
紧接着，哥德尔使出了他在1931年震惊世界的那一招「绝杀」——对角线论证（自指悖论）！
他假设存在一个「选择函数F」，它能依靠有限的信息，从集合里挑出元素。
然后，他构造了一个神奇的集合K，专门用来装「所有不被函数 F 决定的对象」。
接下来，死循环来了：既然 F 是万能的，它就必须从集合 K里挑出一个元素 F(K）。
既然是从 K 里挑出来的，按定义，它就不能被 F 决定；
可它是F挑出来的，它又偏偏被 F 决定了！
这就直接证明了：在这个「可能世界」里，不存在这样的选择函数，选择公理崩塌了！
可是为什么，当年哥德尔没发表这个震撼的证明？
大侦探Claude，点出了那个令人扼腕的细节：哥德尔在关键的「有限支撑」定义上，写错了一行。
更讽刺的是，教授在笔记的另一处发现，哥德尔明明知道那个正确的定义是什么，他甚至自己写下来解释过，只是在1960年代重新翻看时，他给忘了……
一个改写历史的成果，就这样埋没在草稿纸中。
教授把Claude还原出的证明，交给了形式化证明助手Coq，结果——全部验证通过！
甚至，教授把这篇人机合著论文发给哥德尔专家金森晶宏（Akihiro Kanamori）。
金森根本不知道有AI参与，读完后大加赞赏：「无论在数学上还是历史上都极其敏锐、深刻」。
量子计算、旋转宇宙，领先后人几十年
甚至，哥德尔这16本笔记里，还藏着几十个直到1970、80年代，才被重新发现的逻辑学结果——比如构造性公理的独立性、函数解释中的强规范化证明等等。
让当代逻辑学家惊喜的是，Claude列出了14个隐藏在笔记中、至今依然无人研究过的全新课题。
随便让它展开讲讲，AI转眼就写出了一份50页大纲，吓得老教授直呼：「根本没时间看啊！」
而最让科幻迷和物理学家心跳加速的，是哥德尔在工作簿末尾留下的物理学与宇宙学笔记。
1935年，爱因斯坦和波多尔斯基、罗森发表了著名的EPR悖论论文，质疑量子力学是否「完备」。
然而真相是，其实前一年，波多尔斯基就听过哥德尔关于「不完备性」的讲座！
原本在1935年，哥德尔计划专门研究量子力学，最后关头才转向集合论。但Claude在他的笔记里发现，哥德尔早就敏锐地计算过「耦合系统（纠缠态）」测量后的状态变化。
令人震惊的是，他没有沿用1932年冯·诺依曼的老办法，而是用出了领先时代的吕德斯规则。这个规则，在1951年才由物理学家吕德斯正式提出。
更吃惊的是，他还认真研究过「时间旅行」。
1949年，哥德尔解出了爱因斯坦广义相对论场方程的一个奇异解——「哥德尔宇宙」。
其中，整个宇宙都在旋转，只要离旋转轴足够远，光锥就会发生剧烈倾斜，甚至让时间轴弯曲成一个圆圈，首尾相连，实现「时间旅行」！
以前，人们以为哥德尔只是开玩笑，但Claude读完笔记后发现，他是认真的。
他翻遍了数百页的天文观测数据，试图用统计学算出：如果我们的宇宙真的在旋转，科里奥利力会让星系的旋转平面，出现微弱的统计偏差。
甚至，他曾想亲自证明，我们就活在那个时间闭环的宇宙里！
然而，这位天才的晚年却十分悲惨。
他的疑惧心理越来越严重，拒绝食用不是妻子亲手烹制的食物。
1978年，哥德尔因饥饿去世。
在此，向这位拓展人类思想疆域的前辈致敬！
参考资料：
https://www.youtube.com/live/L7I57U4GSv8
https://aitp-conference.org/2026/slides/JvP.pdf
