哥德尔手稿遇Claude：千页天书挖出440余条新定理
1978年，71岁的哥德尔停止了呼吸。 这位亚里士多德以来最伟大的逻辑学家离开了，却给人类留下了数万页手稿，此前从未发表。 1931年，他提出不完备定理，启发了艾伦·图灵发明计算机。但随后，他只留下天书一般的笔记。 80年后，一位即将退休的芬兰老教授，决定用Claude解密“哥德尔天书”。 结果，瞬间惊呆了数学界。 几
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年，哥德尔因饥饿去世。
在此向这位拓展了人类思想疆域的前辈致敬！
