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

Why the Legendary Erdős Problems Are Falling to AI

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

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