OpenAI 模型推翻离散几何 80 年未解猜想

OpenAI 的一个 AI 模型解决了离散几何中著名的"单位距离问题"（unit distance problem），推翻了一项持续 80 年之久的核心猜想。该问题探讨的是平面上距离为 1 的点对的最大可能数量，此前数学家仅能给出上下界估计。

模型通过搜索反例构造出新的点集构型，直接证伪了该猜想，标志着 AI 在纯数学推理领域取得里程碑式突破。