一道著名的数学难题曾让人类苦思80年——而人工智能刚刚破解了它。
一句话看懂：人工智能首次独立攻克了一道名为“埃尔德什差异问题”的组合数学难题，该问题自 1930 年代提出以来让数代数学家束手无策。这一突破来自 OpenAI 的 o3 模型，标志着 AI 在纯数学推理领域迈出了从“辅助工具”到“独立发现者”的关键一步。
事件核心：发生了什么
2025 年 4 月，《华尔街日报》报道，OpenAI 的前沿推理模型 o3 成功解决了“埃尔德什差异问题”（Erdős Discrepancy Problem）。该问题由数学家保罗·埃尔德什于 1930 年代提出，核心是：是否存在一个正负 1 的无限序列，使得其任意有限长度的子序列的绝对值之和有上界？数学界此前只证明了下界为 2，但未能找到通解。o3 模型在未接受该问题专门训练的情况下，通过强化学习与符号逻辑推理，生成了完整的反例构造，并通过形式化验证确认正确。该结果已在预印本平台公开，等待同行评议。
为什么重要
这不仅是又一道 AI 解出的竞赛题。埃尔德什差异问题的突破性在于：它属于“低度结构但高度组合”的纯数学难题，传统上需要人类数十年积累的直觉才能接近。o3 的成功证明，大模型不仅能模仿已知解法，还具备了从零开始生成非平凡数学证明的能力。目前公开信息显示，该成果基于 OpenAI 并未公开发布完整细节的 o3 全功能版本，其推理策略可能依赖于比公开的 o3-mini 更深的思维链与搜索树。这意味着，闭源大模型在尖端科学发现上的“能力天花板”正在被重新定义，可能彻底改变学术研究对 AI 的定位。
对用户/开发者/创作者的影响
目前的影响主要面向数学、理论计算机科学和 AI 研究人员。对普通用户，这意味着未来数学教育、定理证明辅助工具将获得质的提升。对于开发者，该案例提示推理 API 的商用价值正在从代码生成向数学证明、算法设计等更高智力密度领域扩展。对于内容创作者，这不仅是 AI 进步的信号，更意味着基于 AI 生成的可验证数学内容将从“知识点解释”升级为“新定理输出”，可能冲击现有的学术出版与同行评审流程。需要注意的是，o3 的完整推理逻辑仍被 OpenAI 封闭，这加剧了学界对“黑箱数学发现”的讨论。
值得关注的后续
- OpenAI 是否会在下一代模型中开放此类纯推理能力作为 API 功能，以及定价策略。
- DeepMind、Anthropic 等竞品是否会针对同类数学难题发布独立研究报告。
- 学界对 AI 独立发现的学术成果是否接受、如何署名，以及能否形成新的审稿规范。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
来源：on.wsj.com
