Claude 破译哥德尔手稿，部分定理获形式化验证

芬兰赫尔辛基大学逻辑学家 Jan von Plato 将哥德尔 1940 年后写下的 16 本工作簿共 1009 页，连同自己的专著和现代逻辑文献交给 Claude，几天内得到一份 650 页解读报告，追问后扩展到 1084 页，并从中梳理出 663 条定理雏形。 在计算机科学家 Josef Urban 等人协助下，这些定理雏形经形式化证明助手 Coq 验证：400 条被证明完全成立，200 条核心思路无误但需补充前置假设，55 条被判定为错误，另有几条仍在验证中。

AI 根据报道生成 · 59 分钟前更新

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