AI 攻克哥德尔千页手稿,数天解锁数百条未知定理
stevenstrogatz · x · 2026-11-14
- 芬兰逻辑学家 Jan von Plato 自 2017 年起在赫尔辛基大学主持解读哥德尔 1940 年代初写下的 16 本工作笔记(共 1009 页),其中大量使用早已失传的德语速记 Gabelsberger 书写,此前进度仅约每周一页。
- 今年 9 月他改用 Anthropic 的 Claude 模型辅助,几天内就获得了全部材料的完整摘要,发现哥德尔其实证明了数百条此前无人知晓的定理。
- 这批未发表手稿被认为包含大量已被证明的定理,哥德尔研究界的认知因此被刷新;《卫报》报道称哥德尔「领先于他的时代」。
所属事件:Claude 数日破译哥德尔千页手稿，发现数百条未知定理(3 条相关)→
「模型」频道最新
- Thinking Machines 系开源模型 Tess-4.5-594B 发布，SWE-Bench Pro 超 base 模型 — Scobleizer · 2026-11-14
- 与迈阿密 AI 创始人晚宴:宁买 token 不雇人,获客仍是最大难题 — rakyll · 2026-11-14
- Together AI 举办研讨会,拆解 65B 小型编码模型 Ripple 的构建决策 — togethercompute · 2026-11-14
- 换了编辑器后没免费 DeepSeek 可用，开发者求荐值得用的免费模型 — nirurin · 2026-11-14
- 质疑 Anthropic 算法大跃进：同算力下 bpb 大幅提升不可信 — teortaxesTex · 2026-11-14
- Surge AI 基准实测：所有 Claude 模型含 Haiku 均击败 GPT 系列 — echen · 2026-11-14