Claude 帮助赫尔辛基的一位逻辑学家解读哥德尔的速记手稿，发现数百条定理

《卫报》报道称，自 2017 年以来，扬·冯·普拉托一直主持赫尔辛基大学的一个项目，研究库尔特·哥德尔在 20 世纪 40 年代初写下的 16 本“工作簿”（共 1,009 页，其中大部分采用已废弃的加贝尔斯贝格速记法）。去年 9 月，冯·普拉托把自己的转录稿、此前撰写的哥德尔研究著作及相关文献交给了 Claude。据冯·普拉托称，Claude 在几天内就生成了一份长达 650 页的工作簿解读，他说这份解读必须逐页核查。

冯·普拉托称 Claude 发现了什么。 当被问及工作簿中是否包含选择公理独立性的证明时，Claude 重构出一份证明。冯·普拉托称它“几乎”完整，只有一个定义有误，而哥德尔在两年前给出的定义是正确的。他说，重构的证明通过了 Coq 证明助手的验证。当被要求提取哥德尔证明过、勾勒过或曾想到过的所有定理时，Claude 列出了 663 条。冯·普拉托称，其中约 400 条按原样通过了 Coq 验证，约 200 条需要修正，约 50 条是错误的。他还说，Claude 找出了十多个尚未得到研究的逻辑主题。

注意事项。 未看过这份重构成果的圣母大学学者乔尔·戴维·哈姆金斯告诉《卫报》，如果它经得起检验，那将“非常了不起，也具有历史意义”；但其中有多少出自 Claude、有多少出自哥德尔，是历史学家需要回答的问题，而且与科恩的证明相似，并不意味着哥德尔当时就有了这个证明。