OpenAI GPT-next 花不到 1000 美元推翻 Erdős 平面单位距离猜想

OpenAI 最新模型 GPT-next 在未公开的数学推理测试中，以不到 1000 美元的计算成本，构造出反例推翻了已有 80 年历史的 Erdős 平面单位距离问题猜想。该问题曾困扰数学界数十年，此前最优结果仅能证明 1.5n 的下界。

GPT-next 通过大规模搜索与符号推理结合的方式，在解空间中找到了此前被遗漏的极端构型，直接否定了 Erdős 关于单位距离图边数的上界猜想。这一结果展示了前沿 AI 模型在组合数学与离散几何领域超越人类直觉的潜力。

对于 AI 基础设施工程师而言，这意味着推理侧算力成本持续下降的同时，模型在结构化推理任务上的能力正在逼近甚至超越专业研究者，未来可能改变数学研究的工作流。