Claude 两天解码哥德尔千页笔记本,663 条定理 400 条过形式验证
Hesamation · x · 2026-11-15
赫尔辛基大学 Jan von Plato 团队自 2017 年起研究哥德尔 1940 年代写下的 16 本笔记本,共 1009 页、大量用已失传的德语速记 Gabelsberger 写成,此前进度仅约每周一页。今年 9 月项目改用 Claude,两天内完成全部材料的整理,识别出 663 条潜在定理,其中 400 条通过形式化验证。
von Plato 表示震惊:笔记本不仅有几十处早于七八十年代才被证明的结果的预言,还包含 14 个未被后人追随的逻辑主题——“哥德尔远超他的时代”。
值得注意的角度:AI 在数学里的价值不只是证明新定理,而是直接帮助完成“理解”这一环节。
所属事件:Claude 破译哥德尔千页遗稿，发现数百条未知定理(8 条相关)→
「研究」频道最新
- 20 个新兴 AI 工程概念盘点：上下文压缩、潜记忆与并行推理 — MaryamMiradi · 2026-11-15
- 用 ROS 2 与 MCAP 给 SO-101 机械臂实现录制回放，Foxglove 对比实测 — kamathsblog · 2026-11-15
- 前 Meta 研究员：内部代码验证集不去污染就报泛化结果不可信 — alexpolozov · 2026-11-15
- Google 新团队 AIS 发布 DuoDiscover：内核平均提速 4.09 倍 — VioletNPeng · 2026-11-15
- RL 后训练能否让 LLM 学会组合推理技能？论文入选 NeurIPS 2026 — yifeiwang77 · 2026-11-15
- EmbeddingGemma 2 训练揭秘：分阶段蒸馏 Gemini，嵌入尺寸最低压到 128 — gabriberton · 2026-11-15