AI 正在批量破解埃尔德什问题：两个月连续攻克多个数学悬案

一则来自纯数学领域的消息，让 AI 圈再次安静下来讨论真正的硬核进展。OpenAI 最近披露，其内部模型在埃尔德什提出的若干经典数学问题上取得了实质突破，其中一项被宣称为首个由 AI 完成的历史性重要证明。

事件复盘：两个关键时间点

第一项突破发生在 2026 年 5 月 20 日。OpenAI 表示，其内部 AI 模型对埃尔德什 1946 年提出的单位距离问题给出了一个反例。如果该结果被数学界确认，这将是 AI 首次独立完成一类具有历史意义的数学证明，而不仅仅是辅助人类研究者。

第二项突破发生在 8 月 1 日。OpenAI 宣布尚未发布的模型 Astra 在数学推理上取得 10 项新进展，其中 3 项直接解决了埃尔德什遗留的经典难题。需要强调的是，Astra 目前仍未对外开放，相关技术报告也未完整公开。

为什么是埃尔德什问题

保罗·埃尔德什是 20 世纪最具影响力的数学家之一，他与合作者留下了上千个公开问题，覆盖组合、几何、数论等几乎所有基础数学分支。能在这些问题上推进一格，往往意味着对底层结构的更深理解，绝非单纯算力堆叠可以解释。

单位距离问题关注的是平面上单位长度线段的最大数量。这是一类直观但极难的问题，长久以来需要精细的几何构造和反例设计。AI 如果能给出有效反例，说明它在形式化推理和大规模搜索反例上已经具备相当能力。

对开发者和企业用户的实际影响

对大多数日常 AI 工具使用者而言，这一进展短期内不会直接改变生产力工具的体验。但它传递了一个关键信号：大模型在严格逻辑推理和长时间链式思考上的能力，正在突破看起来聪明的阶段，进入能产出可验证结论的区间。

对于做 AI Agent、代码生成、科研辅助类产品的人来说，这是值得盯紧的方向信号。数学能力往往是推理能力的压力测试，它在金融建模、形式化验证、安全审计等场景上的外溢效应不容低估。

中文用户需要留意的几个问题

首先需要冷静的是，目前所有结果都来自 OpenAI 自有口径，模型本身未开源，论文也尚未经过完整同行评议。在引用 AI 证明这类说法时，最好把声称、有待验证挂在前面，别把单方公告当成定论。

其次，国产大模型在数学竞赛和形式推理方向同样有持续投入，多家团队在奥数级别刷榜工作上不断推进。下一阶段值得比较的，是这些模型能否在公开问题上产出可被第三方复现的结论，而不是只展示榜单分数。

短期值得盯三件事：Astra 是否如期发布并附完整技术报告；OpenAI 是否会把相关证明流程工具化、对外开放；数学社区是否在几个月内给出独立验证或反驳。这些才是判断 AI 数学能力跃迁是否真实发生的真正坐标。