# 传奇的 Erdős 问题，为什么正被 AI 一个个攻破

> 原标题：Why the Legendary Erdős Problems Are Falling to AI

- 来源：Hacker News 首页
- 发布时间：2026-08-05T11:49:34.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/48883
- 原文：https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/

## 摘要

OpenAI 在 2026 年 5 月用内部模型找到了 Erdős 1946 年“单位距离问题”的反例，这是 AI 第一次做出有历史分量的数学证明。模型从八竿子打不着的数学分支里搬来了新思路，人类数学家几周内就改进了结果，但相关技术几天内又解决了其他重要问题。8 月 1 日，OpenAI 未发布的模型 Astra 又宣布搞定了 10 项数学进展，包括三...

## 推荐理由

OpenAI 用内部模型从八竿子打不着的数学分支搬来新思路，解决了 Erdős 的经典问题，这是 AI 推理能力的一个里程碑。Quanta 的报道权威，细节丰富，跨圈关注度高。没给 95+ 是因为 Astra 模型还没发布，部分说法没法独立验证，这点先别太激动。