搜索
Claude 协助破译哥德尔未发表笔记，挖出数百条全新定理
1 小时前
逻辑学家哥德尔1978年去世，留下数万页未发表的加贝尔斯贝格速记手稿。芬兰教授Jan von Plato临近退休时启动破译项目，团队耗时数年将千页速记笔记转写为现代英文，但因内容高度浓缩，人工消化进度极慢。后借助Claude处理这批材料，数日内产出完整解读，梳理出663条定理雏形，其中440余条经验证完全成立或核心思路无误。Claude还发现哥德尔早在上世纪40年代就完成选择公理独立性证明，领先菲奖级成果约20年；其笔记中还藏有领先学界数十年的量子力学计算方法、对时间闭环旋转宇宙的认真研究等超前成果。
