研究背景
2026 年数学界最大的事件：OpenAI 的内部推理模型推翻了一个 80 年历史的猜想——Erdős 单位距离问题的中心猜想（1946 年提出，离散几何的核心开放问题）。模型构造了一个反例：代数数域构造可以提供足够的密度，构成 5 色单位距离图——这是正方网格构造无法实现的。
方法与核心内容
推理模型的贡献是构造性反例：不是证明不可能，而是具体构造出满足条件的图结构。人类数学家完成了独立验证；相关人工验证摘要以 arXiv 预印本形式公开（本站已存档 PDF）。Timothy Gowers 评价这个问题是 Annals of Mathematics 级别，Scientific American 称这是首个可能发表于数学顶刊的 AI 证明。
结果与意义
意义三层：技术层——推理模型的构造能力首次触及未解决的核心数学问题；方法层——模型提出构造、人类验证的工作流得到重量级验证；文化层——16 位数学家联署莱顿宣言警告 AI 对数学的影响，纽约时报 2026 年 6 月报道，数学界对 AI 生成的证明发表在哪展开激烈讨论（MathOverflow 上的争论）。
我们的观点
这是 AI for Math 从辅助走向发现的分水岭。与 AlphaProof（解竞赛题，人类已会解）不同，单位距离反例是人类不知道答案的新数学。注意其工作流配方：可验证性（图的色数可以机器检验）加推理模型的构造搜索——与本站 FunSearch 精读的程序搜索加评估器范式同构，验证了这条路线的可复制性。
需要冷静的：模型推翻的具体是这个猜想的某个表述形式，其构造依赖代数数域技巧——人类数学家事后能否给出更深刻的结构性理解（而不只是反例本身）仍是开放问题。莱顿宣言的担忧值得严肃对待：当 AI 开始产出顶级期刊级结果，数学共同体的人才培养与署名规范都需要重建。