OpenAI 推理模型推翻 80 年几何猜想：AI 首次自主证明 Erdős 开放问题
2026/05/21 10:13阅读量 2
OpenAI 的推理模型自主证明了一个存在 80 年的几何猜想（Erdős 开放问题），这是 AI 首次在没有人类指导的情况下完成此类数学证明，标志着 AI 在数学推理领域的重大突破。
事件概述
OpenAI 的推理模型在数学领域取得里程碑式成果：它自主证明了一个悬而未决 80 年的几何猜想，该猜想属于著名数学家 Erdős 提出的开放问题。这是 AI 首次独立完成此类数学证明，过程中无需人类提供思路或分步指导。
核心信息
- 突破性质：AI 自主证明数学猜想，而非辅助验证。
- 问题背景：该几何猜想已存在约 80 年，属于 Erdős 系列开放问题之一。
- 模型身份：源自 OpenAI 的推理模型（具体版本名称未在原文中公布）。
值得关注
此项成果表明 AI 在抽象推理和长期规划能力上取得实质进展，可能推动数学研究范式的改变。具体证明细节及验证过程尚未公开。