**OpenAI 的数学突破：发挥 AI 优势**

_OpenAI's math breakthrough played to AI's strengths_

> OpenAI内部AI模型自主证明了离散几何中的Erdős单位距离猜想，这是80年来首次由AI解决重大公开猜想。该证明巧妙结合了多个数学分支的现有思想，虽未开创全新方法，但标志着AI数学推理的重大里程碑。人类数学家已将证明整理并扩展，未来人机协作可期。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-06-02 21:57（北京时间）
- **原文**：[打开原文](https://www.understandingai.org/p/openais-milestone-math-breakthrough)