标签 · #erdos

OpenAI 推理模型推翻 80 年的 Erdős 猜想——而且它不是数学专用模型

为什么值得读 标题是"AI 会做数学"。真正的信号是：它出自一个通用推理模型，而非数学专用系统——并以构造出 80 年来无人找到的反例来推翻旧有信念。一个结果不算革命，但"通用性"才是重点。

OpenAI 表示一个内部推理模型自主推翻了 Erdős 1946 年的单位距离猜想（5/20）——AI 首例，并经数学家独立验证。