**AI 证明数学家错误：OpenAI AI 破解数学难题，挑战 Erdős 问题 80 年猜想**

_AI Proves Mathematicians Wrong_

> OpenAI 的内部 AI 模型成功证明了一个著名的 Erdős 数学问题（平面单位距离问题）的猜想错误，该问题困扰了数学家 80 年。AI 使用了代数数论而非传统的几何方法，找到了比之前认为的正方形网格更优的点排列方式。数学家已验证了 AI 的证明正确。这一突破不仅推动了数学进展，还可能对卫星、通信网络等空间优化问题提供新见解。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-05-24 20:41（北京时间）
- **原文**：[打开原文](https://www.heise.de/en/news/AI-proves-mathematicians-wrong-11303022.html)