**AI 破解 Erdős 传奇数学难题，开启数学研究新纪元**

_Why the Legendary Erdős Problems Are Falling to AI_

> 2026年5月，OpenAI 内部 AI 模型首次给出 Erdős 单位距离猜想的反例，这是历史上首个由 AI 完成的重大数学证明。随后 Astra 模型再解决3个 Erdős 问题，数学家称 AI 正深刻改变数学研究方式。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-08-03 23:44（北京时间）
- **原文**：[打开原文](https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803)