AI 解锁 Kurt Gödel 笔记，发现数百未公开定理
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
奥地利逻辑学家 Kurt Gödel 的未公开手稿曾长期沉睡在尘封的笔记本中，直到芬兰学者 Jan von Plato 引入 AI 模型 Claude 才迎来转机。这些写于 1940 年代初的笔记使用了早已失传的 Gabelsberger 速记法，人工解读速度极慢。Claude 在几天内便完成了对 1009 页内容的深度解析，揭示了数百个此前无人知晓的已证明定理。分析显示，Gödel 早在 1940 年代就触及了后来由 Paul Cohen 获得 Fields medal 的核心成果，甚至更接近证明。这一发现不仅证实了 Gödel 远超时代的洞察力，也展示了 AI 在挖掘历史学术遗产方面的巨大潜力。
Gödel 远远领先于他的时代，这些工作手册不仅包含了数十个直到 70 年代和 80 年代才被知晓的预见性成果，还包含了 14 个至今未被深入研究的逻辑主题。
HN 评论区
91- iltennico
据科学史学家所述，哥德尔无论如何都是一个绝对的完美主义者，他发表的作品大多无懈可击。他庞大的笔记中固然包含许多敏锐的洞见，但他不太可能偶然地、在毫无察觉的情况下写出具有启发性且结论确凿的新定理。他对自己的作品向来是极其苛刻的审稿人。
- hobo123
关于 Gabelsberger 速记法的那些说法在我看来简直荒谬。我父亲直到 2020 年去世前，一直用他自创的版本写笔记。
官方上（即当年教授速记的学校里），它早已被“统一德语速记法”（Deutsche Einheitskurzschrift，据我所记）取代，但他始终认为 Gabelsberger 更优越。
嗯，也许他确实是全球仅有的 6 个能读懂它的人之一（或者好吧，也许那是夸张，我不确定）:D
- imbiased
我记不清确切的引文了，但我记得读到过，哥德尔在普林斯顿与爱因斯坦散步时曾吐露心声，深深担忧自己的作品会被遗忘。要是他早知道就好了。
- ducttapecrown
如果能听到关于哥德尔所追求的这 14 个新逻辑主题的介绍，那将非常有趣！
- agnosticmantis
AI 并未对这些笔记的一致性（consistency）或完备性（completeness）发表评论。