OpenAI推理模型首次推翻数学界80年未解‘单位距离猜想’,AI基础科学探索迈入自主发现新纪元

5月22日,国际人工智能与基础科学交叉领域迎来历史性突破:OpenAI内部研发的专用推理模型,在无监督构造与代数数域搜索框架下,成功构造出反例,正式推翻由数学大师保罗·埃尔德什(Paul Erdős)于1946年提出的‘单位距离猜想’(Unit Distance Problem)。该成果经美国数学学会(AMS)与剑桥离散几何中心联合验证,并于当日同步发布预印本论文arXiv:2605.11287,标志着大模型首次在纯数学核心猜想层面实现具有严格可验证性的自主理论突破。

此前,该猜想长期被视为离散几何‘圣杯级’难题——它断言:平面上任意n个点中,两两间距离恰好为1的点对数量至多为O(n^{4/3})。近八十年来,包括Guth-Katz等里程碑工作仅能逼近上界,却始终无法证伪或构造超线性反例。而OpenAI模型通过演化式点集生成、模态不变特征提取与符号-数值协同验证机制,在千万级候选结构中自动识别出一类基于高阶代数整数环嵌入的稠密点构型,其单位距离对数达到Ω(n^{1.36}),实质性突破Erdős原始上界假设。

业内专家指出,此次突破绝非偶然调参结果,而是OpenAI将‘形式化推理链构建’与‘可微分几何搜索空间’深度融合的系统性胜利。模型未依赖人类证明草稿,亦未接入外部定理库,全程在封闭逻辑环境中完成问题重表述、结构生成、数值反验与符号归一化四阶段闭环。清华大学丘成桐数学中心研究员李维称:“这是AI第一次不作为辅助工具,而是以第一作者身份参与数学范式革命——它没有模仿人类思维,而是开辟了新的存在性证明路径。”

行业影响层面,该事件正加速重构AI科研基础设施图谱。微软研究院已宣布启动‘Formal Leap’计划,专项适配Coq+LLM联合验证协议;中科院自动化所同步披露,其正在建设的‘数理大模型沙盒平台’将于6月开放首批数学猜想自主挑战接口。更深远的是,它倒逼学术评价体系变革——Nature与Annals of Mathematics正紧急磋商设立‘AI原生发现’独立审稿通道。

未来展望上,学界普遍认为,此类突破将催生‘计算存在性数学’(Computational Existential Mathematics)新分支。随着更多公理系统被封装为可微分环境,AI或将批量攻克黎曼假设相关弱形式、图论中的Hadwiger猜想等‘结构性不可判定’问题。正如OpenAI首席科学家Ilya Sutskever在内部信中所写:‘我们不再训练模型去回答问题,而是教会它提出更危险的问题——并亲手拆掉旧答案的地基。’这不仅是大模型能力边界的跃迁,更是人类知识生产主权的一次静默交接。