数学 AI 又进一步：DeepMind 攻克 9 个 Erdos 问题，证明 44 个 OEIS 猜想

luyuanhong

数学 AI 又进一步：DeepMind 攻克 9 个 Erdos 问题，证明 44 个 OEIS 猜想

原创  AI 档案室  AI 档案室  2026 年 5 月 23 日 19:38  安徽

前两天，OpenAI 刚扔下一枚重磅炸弹。

一个内部通用推理模型，推翻了 Paul Erdos 在 1946 年提出的平面单位距离猜想。

这不是普通竞赛题。这是一个挂了 80 年的开放问题。

在离散几何里，这题相当有分量。

并且，这次不是 OpenAI 自说自话。是经过了 Noga Alon 、Timothy Gowers 、Will Sawin 等外部数学家联名核验，Erdos Problems 网站也把对应问题状态改成了 DISPROVED 。

很多人看到这里已经开始倒吸凉气了。

结果，OpenAI 这边的余震还没散，Google DeepMind 转头又补了一刀。

9 个 Erdos 问题，44 个 OEIS 猜想

最近，Google DeepMind 的 AlphaProof Nexus，攻克了 9 个开放 Erdos 问题，还证明了 44 个 OEIS 猜想。

如果只是看到这个数字，很多人的第一反应可能还是：哦，AI 又做对了一些数学题。

但这次最危险的误判，恰恰就在这里。因为它做的根本不是普通题。

Erdos 问题，是组合数学、数论、离散数学里那批最经典、最顽固的开放问题。

OEIS 猜想，则是一大批和整数序列相关、可以被精确定义的数学命题。

这两类东西的共同点：它们是研究问题。

而且是能直接进入数学文献体系的问题。

数字背后到底多恐怖



在 2026 年 5 月 21 日上传到 arXiv 的预印本《Advancing Mathematics Research with AI-Driven Formal Proof Search》中，DeepMind 团队声称他们最强的代理系统，自主解决了 353 个开放 Erdos 问题中的 9 个，并在 492 个 OEIS 猜想中证明了 44 个。

这套系统在处理 Erdos 问题时，单题成本大约只要几百美元。

另外他们还搭建了一套更基础的代理架构，采用“ LLM 生成 + Lean 验证”交替推进的方式，也复现了在 Erdos 问题上的成功，但在最困难的问题上成本更高。

为什么偏偏是 Erdos 和 OEIS


Erdos 问题

这里说的 Erdos 问题，指的是围绕匈牙利数学家 Paul Erdos 生前提出、悬赏或推动讨论的大量公开数学问题所整理出的题目集合。

它们主要分布在组合数学、图论、数论和离散几何等方向，很多问题已经流传几十年，在数学界有稳定的编号、讨论历史和整理页面。

它们知名度高。够难。而且很多命题本身结构清晰。


OEIS

OEIS 全称是 Online Encyclopedia of Integer Sequences，也就是“整数序列在线百科全书”。

这是数学界长期使用的一个公开数据库，专门收录各种整数序列及其定义、性质、文献和相关猜想。

它们表述清楚、对象明确、边界清晰，天然适合被形式化系统接管。

Formal Conjectures 项目


Formal Conjectures

DeepMind 还维护了一个 Formal Conjectures 项目：项目中描述道，该项目收集的是已经被形式化为 Lean 4 陈述、但尚未附带正式证明的开放数学猜想。

它目前汇集了来自 Erdos Problems 、Wikipedia 、MathOverflow 、OEIS 、研究论文等多种来源的问题陈述。

站点共收录 1965 个问题，其中 1082 个是开放问题，来源中 Erdos Problems 有 1364 条，OEIS 有 105 条。

从 IMO 银牌到研究级证明

2024 年 7 月，AlphaProof 和 AlphaGeometry 2 在 IMO 2024 上拿到银牌水平，通过“强化学习 + 搜索 + 形式化证明”这套方法，打到全球数学舞台上。

到了 2025 年 7 月，高级版 Gemini Deep Think 在 IMO 2025 达到金牌水平。DeepMind 不只是能在形式化体系里走通一条路，还开始把自然语言读题、长链推理、完整写证明这些更接近人类数学家的能力加到模型上。

现在走到 2026 年，达到了解决开放研究问题的程度。

参考资料：

https://arxiv.org/abs/2605.22763

https://google-deepmind.github.io/formal-conjectures/

https://oeis.org/

https://www.erdosproblems.com/

AI 档案室