**AI已成'我们中的一员'：OpenAI模型解决重大数学猜想**

_The AIs Are "One of Us"_

> 2026年5月21日，OpenAI的通用AI模型成功证明或反驳了一个重要数学猜想——Erdős单位距离问题，这是组合几何中著名的未解难题。数学家Tim Gowers和Thomas Bloom等指出，AI通过结合超人类的耐心、广泛的技术知识以及对多条人类可能忽略路径的坚持探索，完成了这一突破。尽管原始证明由AI生成，但人类研究人员在后续讨论、改进和阐释中发挥了关键作用。这一事件标志着AI在数学研究领域达到了与人类相当的'同行'水平，未来可能在更多数学及其他学科中解决长期未决问题。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：行业
- **发布时间**：2026-05-22 03:14（北京时间）
- **原文**：[打开原文](https://marginalrevolution.com/marginalrevolution/2026/05/the-ais-are-one-of-us-now.html)