AI 两天读完哥德尔 1009 页笔记，发现数百条未为人知的定理

据英国《卫报》周五（13 日）报道，芬兰逻辑学家扬·冯·普拉托自 2017 年起在赫尔辛基大学主持项目，解读奥地利逻辑学家库尔特·哥德尔 1940 年代初写下的 16 本笔记。这批「工作笔记」共 1009 页，内容涉及数学与逻辑，大量使用连哥德尔在世时已废弃的加贝尔斯贝格德语速记。此前数学界解读速度约每周一页，进展缓慢；今年 9 月冯·普拉托引入人工智能模型 Claude 协助，数日内即获得全部材料的综合摘要，显示哥德尔已证明数百条此前无人知晓的定理。冯·普拉托称自己「目瞪口呆」，并指笔记中不仅有数十项直到上世纪 70、80 年代才被重新发现的结果，还包含 14 个此后无人跟进研究的逻辑学主题，认为哥德尔远超其时代。哥德尔 1931 年发表的两条不完备定理改变了数学进程，为数字时代奠定基础。