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