Claude 数日啃完哥德尔 1009 页手稿，揭示数百个未知定理
nordicinst · x · 2026-11-14
《卫报》报道：赫尔辛基大学逻辑学家 Jan von Plato 自 2017 年起研究哥德尔 1940 年代写下的 16 本笔记本（1009 页，多用已废弃的 Gabelsberger 德文速记写成），此前进展仅约每周一页。今年 9 月他改用 Claude 协助，几天内就得到全部材料的综合摘要，发现哥德尔证明了数百个此前无人知晓的定理——这位 20 世纪最伟大逻辑学家的未发表成果远超学界预期。
「研究」频道最新
- AI 分析发现五种延寿干预共有麦角硫因代谢特征 — Dr_Singularity · 2026-11-14
- SWE-bench 联合作者分享：从一个冷启动榜到 AI 编码最有影响力基准 — OfirPress · 2026-11-14
- Thinking Machines 揭秘 Inkling 2 Small 全程原生 4-bit 训练 — thinkymachines · 2026-11-14
- AI 破译哥德尔速记遗稿，发现包括选择公理否定一致性证明在内的未知成果 — burny_tech · 2026-11-14
- Artificial Analysis 发布说话人分离榜：NVIDIA Nemotron 3.5 以 3.3% 误差率居首 — ArtificialAnlys · 2026-11-14
- LLMLean 回归：在本地或云端用 LLM 辅助 Lean 证明 — wellecks · 2026-11-14