数学界变天！OpenAI推理模型推翻 80 年几何猜想，AI首次自主证明Erdős开放问题

OpenAI最新推理模型成功推翻数学家保罗·Erdős在1946年提出的单位距离猜想，首次依靠自身长链推理能力自主攻克数学核心开放难题。这一里程碑式突破经专家独立验证，标志着人工智能从检索式解答迈入原创性证明阶段。