新智元报道
新智元报道
1978年，被誉为亚里士多德以来最伟大逻辑学家的哥德尔离世，留下了数万页难以解读的手稿。1931年，他提出的不完备定理启发了图灵发明计算机，但随后的笔记却如天书般晦涩。
80年后，一位即将退休的芬兰教授借助AI模型Claude解密这些手稿，结果震惊数学界：短短几天内，AI读完上千页笔记，挖掘出400多条全新定理，并揭示了哥德尔曾差点提前20年解决菲尔兹奖级难题，甚至包含量子力学计算和时间闭环宇宙等超越时代的成果。
老教授赌上退休生涯，破译「哥德尔天书」
这位教授是芬兰赫尔辛基大学的逻辑学家Jan von Plato。2017年，面临强制退休的他决定挑战解密用加贝尔斯贝格速记法（Gabelsberger）写成的哥德尔笔记。这种德文速记法全球仅有极少数人掌握。
von Plato成功申请到欧洲研究理事会250万欧元资助，从头自学这门已近乎灭绝的速记法。他锁定的目标是哥德尔1940年定居普林斯顿后写下的16本工作簿，共1009页。
初期尝试显示，现有AI无法直接识别速记符号。团队花费数年时间，人工将笔记转写为现代英文。然而，即便读懂文字，理解哥德尔高度浓缩、充满直觉性草图和未展开公式的思维依然极其困难，研究进展缓慢。
转折发生在今年夏天的一场「AI与定理证明」学术会议上，计算机科学家建议尝试使用Claude模型。
「莫扎特式怪物」觉醒，AI重构千年数学遗产
教授将1009页转写稿、自己的6本专著以及大量现代逻辑学和科学文献输入Claude。几天后，AI生成了一份650页的解读报告，并在后续追问中扩展至1084页。
von Plato在维也纳大学演讲中将Claude比作拥有「莫扎特式」视野的数字怪物：人类阅读受限于线性记忆，而AI能同时处理哥德尔上千页思绪与整个人类科学史文献，实现全局关联。
Claude梳理出663条具备定理雏形的结果。经Josef Urban等计算机科学家协助及形式化验证，其中400条被证明完全成立，200条核心思路正确但需补充假设，其余部分仍在验证或存在错误。这意味着哥德尔在1940年代初流亡美国期间，几乎每两天就证明出一条新定理。
只差一步的世纪遗憾：选择公理独立性
数学中的选择公理（Axiom of Choice）长期存在争议。1963年，Paul Cohen凭借「力迫法」证明其独立性并获得菲尔兹奖。然而，逻辑学家Alonzo Church曾透露，哥德尔早在1942年就已在类型论框架下证出可构成性公理的独立性，并相信可推广至选择公理。
Claude的分析揭示，哥德尔当年构造了完全等价的数学架构，距离最终证明仅差临门一脚。他通过构想无数个「可能世界」（哥德尔空间），利用对角线论证构造了一个自指悖论集合K，证明了在特定条件下选择函数的不存在性，从而导致选择公理崩塌。
未能发表的原因令人扼腕：哥德尔在关键的「有限支撑」定义上写错了一行。尽管他在别处记录过正确定义，但在1960年代回顾时已遗忘。该还原证明经Coq验证通过，并获得哥德尔专家金森晶宏的高度评价。
量子计算与旋转宇宙：领先时代的物理洞察
Claude还在笔记中发现了14个至今无人研究的全新课题，以及多个直到1970、80年代才被重新发现的逻辑学结果。
在物理学方面，哥德尔早在1934年波多尔斯基听讲前，就已敏锐计算过量子纠缠态测量后的状态变化，并使用了1951年才由吕德斯正式提出的规则，而非冯·诺依曼的方法。
此外，哥德尔对「时间旅行」的研究并非玩笑。1949年，他解出广义相对论场方程的奇异解——「哥德尔宇宙」，指出在旋转宇宙中，光锥倾斜可导致时间轴闭合。笔记显示，他曾试图通过统计学分析星系旋转平面的科里奥利力偏差，以证明我们生活在时间闭环宇宙中。
晚年的哥德尔深受疑心病困扰，最终于1978年因饥饿去世。AI的介入让这位天才的思想遗产得以重见天日，向这位拓展人类思想疆域的先驱致敬。
参考资料：
编辑：大卫