**AI 解锁哥德尔笔记：揭示数百个未被发现的数学定理**

_AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems_

> 人工智能模型 Claude 协助芬兰逻辑学家扬·冯·普拉托，成功解读了库尔特·哥德尔留下的 1009 页使用过时速记法写成的笔记。AI 在数天内完成了人类耗时数年的工作，不仅梳理了内容，还证实哥德尔在笔记中证明了数百个此前未知的定理，显示这位数学巨匠的许多发现远超当时时代的认知。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-11-14 01:30（北京时间）
- **原文**：[打开原文](https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths)