**AI破解埃尔德什数学猜想，专家呼吁设立“护栏”**

_AI cracked an Erdős math problem. Now experts want guardrails_

> OpenAI的AI模型成功推翻了埃尔德什关于单位距离问题的猜想，其证明依赖计算而非创造性洞察。这一突破虽正确，却引发了对数学证明验证、想法归属和开放研究的忧虑。千余名专家已签署宣言，要求为AI在数学研究中的应用设置严格防护栏。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-06-09 22:51（北京时间）
- **原文**：[打开原文](https://www.sciencenews.org/article/ai-guardrails-erdos-math-problem)