Claude 破译哥德尔速记笔记本，发现 663 条定理

芬兰逻辑学家 Jan von Plato 使用 Anthropic 的 Claude 处理了 Kurt Gödel 20 世纪 40 年代 Gabelsberger 速记工作簿的 1009 页内容，这项工作此前大约每周推进一页。Claude 在几天内产出了一份 650 页的解释，并识别出哥德尔已证明、勾勒或构想的 663 条定理。Von Plato 表示，输出内容必须逐页核对。 经 Coq 证明助手运行，约 400 条定理按原陈述通过验证，约 200 条需要修正——例如更精确的陈述或补充假设——约 50 条为假。Von Plato 表示，Claude 对选择公理独立性证明的重构通过了 Coq，这表明哥德尔在 20 世纪 40 年代就已得到该结果，且这些工作簿中还有十多个未探索的逻辑主题。

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

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