OpenAI 推理模型突破性进展：AI 成功反驳 Erdős 单位距离猜想

在数学界与人工智能领域，2026年5月20日被视为一个极具里程碑意义的日子。OpenAI 的内部推理模型成功推翻了由数学大师保罗·Erdős（Paul Erdős）于1946年提出的“单位距离猜想”(Unit Distance Problem)，这是离散几何领域困扰数学界近80年的核心开放问题。 与此前曾引发争议的 AI 数学能力宣称不同，此次成果得到了学术界的广泛背书。 非检索式解决: 此次证明 ...