AI 助力解读哥德尔速记手稿，发现数百条未知定理

据《卫报》报道，赫尔辛基大学逻辑学家 Jan von Plato 自 2017 年起研究哥德尔 1940 年代写下的 16 本共 1,009 页速记工作簿，此前进展约为每周一页。2025 年 9 月起他借助 AI 模型 Claude，几天内得到全部 650 页内容的解读，发现哥德尔证明了数百条此前无人知晓的定理。Claude 从中提取出 663 条定理，其中约 400 条经 Coq 证明助手验证成立，约 200 条修复后成立，约 50 条有误；解读还近乎完整复原了选择公理独立性的证明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。