OpenAI宣布其最新推理模型完成一项原创数学证明，攻克数学家Erdős于1946年提出的单位距离猜想，成为AI首次依靠长链推理自主解决核心数学开放问题。该成果已邀请包括Thomas Bloom在内的多位数学家独立验证，获得学界支持。相较以往基于已有结论的验证型成果，此次模型提出全新构造方法，突破传统网格解思路。业内认为，该进展显示AI在复杂逻辑推理与“幻觉”控制方面取得重要提升，相关方法或影响组合几何、图论及蛋白质结构、材料科学和药物设计等领域。
OpenAI宣布其最新推理模型完成一项原创数学证明，攻克数学家Erdős于1946年提出的单位距离猜想，成为AI首次依靠长链推理自主解决核心数学开放问题。该成果已邀请包括Thomas Bloom在内的多位数学家独立验证，获得学界支持。相较以往基于已有结论的验证型成果，此次模型提出全新构造方法，突破传统网格解思路。业内认为，该进展显示AI在复杂逻辑推理与“幻觉”控制方面取得重要提升，相关方法或影响组合几何、图论及蛋白质结构、材料科学和药物设计等领域。