哥德尔手稿破译：Claude挖出440多条新定理，还有量子力学与时间闭环

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的定义，从K里挑出来的东西不能被F决定；偏偏它又是F挑出来的，等于被F决定了。

这一步直接证明：在这个“可能世界”里，这样的选择函数根本不存在，选择公理塌了。

那当年哥德尔为什么没把这个震撼的证明发出来？

Claude点出了那个让人扼腕的细节：哥德尔在关键的“有限支撑”定义上，写错了一行。

更讽刺的是，教授在笔记另一处发现，哥德尔其实知道正确definición是什么，还自己写下来解释过。只是1960年代重新翻看时，他忘了。

一项足以改写历史的成果，就这么埋在草稿纸里。

教授把Claude还原出的证明交给形式化证明助手Coq，结果全部验证通过。

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

量子计算、旋转宇宙，这些思路比后人早了几十年

哥德尔这16本笔记里，还压着几十个逻辑学结果，直到1970、80年代才被后人重新发现，构造性公理的独立性、函数解释中的强规范化证明都在其中。让当代逻辑学家惊喜的是，Claude还列出了14个藏在笔记里、至今没人研究过的全新课题。

随便让它展开讲讲，AI转眼就写出了一份50页大纲，吓得老教授直呼：“根本没时间看啊！”

最让科幻迷和物理学家心跳加速的，是哥德尔在工作簿末尾留下的物理学与宇宙学笔记。1935年，爱因斯坦和波多尔斯基、罗森发表了著名的EPR悖论论文，质疑量子力学是否“完备”。

可事实恰恰相反：早在头一年，哥德尔那场讲“不完备性”的讲座，波多尔斯基就已经听过了。1935年，哥德尔本来打算把精力放在量子力学上，到了最后关头才改攻集合论。Claude翻他的笔记时发现，哥德尔对“耦合系统（纠缠态）”测量之后的状态变化，早就做过细密的计算。

让人意外的是，他没照搬1932年冯·诺依曼那套旧方法，用的却是吕德斯规则——这套规则超前于时代，直到1951年才由物理学家吕德斯正式提出。更让人吃惊的是，“时间旅行”这件事，他也认真钻研过。

1949年，哥德尔从爱因斯坦的广义相对论场方程里解出一个奇异的解，即“哥德尔宇宙”。在这个宇宙里，整体都在转动；只要离旋转轴够远，光锥就会大幅倾斜，时间轴甚至能弯成一个圆圈，头尾相接，于是“时间旅行”成了可能。

过去大家都当哥德尔是在说笑，可Claude把笔记读完，发现他是当真的。数百页天文观测数据，他全都翻过，想用统计学算出一件事：假如我们的宇宙确实在转，那么科里奥利力会让星系的旋转平面留下一点微弱的统计偏差。

甚至，他曾想亲自证明，我们就活在那个时间闭环的宇宙里！

然而，这位天才的晚年却十分悲惨。他的疑惧心理越来越严重，拒绝食用不是妻子亲手烹制的食物。

1978年，哥德尔因饥饿去世。在此，向这位拓展人类思想疆域的前辈致敬！