**OpenAI模型解决了困扰人类80年的著名数学难题**

_An OpenAI model solved a famous math problem that stumped humans for 80 years_

> OpenAI宣布其内部AI模型成功解决了离散几何中著名的埃尔德什单位距离猜想，该问题困扰数学家80年。这一成果被菲尔兹奖得主蒂姆·高尔斯等数学家誉为'AI数学的里程碑'，标志着AI首次自主解决重大开放性数学猜想。AI模型巧妙运用了数学多个子领域的现有思想构建完整证明，但未开创全新技术。该结果已由人类数学家清理和扩展，表明中期内人类数学家与AI模型将互补合作。不过，AI在数学领域的快速进步使人类数学家未来的角色变得不确定。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-06-02 01:20（北京时间）
- **原文**：[打开原文](https://arstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths)