DeepMind AlphaProof Nexus 攻克数学难题登顶 Science：56 年悬案迎破解，人机协作开启新纪元

谷歌 DeepMind 旗下的 AI 数学家 AlphaProof Nexus 近日在《科学》(Science) 主刊发表重磅成果，成功解决了包括两道悬置 56 年的埃尔德什问题在内的多项高难度数学猜想。评论界认为这标志着研究数学的 AI 时代正式到来。

在由数学家提出猜想、AI 自主寻找思路并撰写证明的新模式下，Nexus 不仅完成了对优化算法参数设置的探索与验证，还协助人类研究者简化证明过程并开辟新的研究方向。9 项埃尔德什问题及 44 项整数序列猜想的完整证明现已公开。

针对两道困扰学界 56 年的经典难题，Nexus 通过中国剩余定理和数值区间分组策略，构造出满足条件的无限数集并反驳了原有的数量上限猜想。这一成果促使陶哲轩等顶尖数学家发现原有限制可删除，从而简化了构造方案。

系统核心架构由 Gemini 大模型与 Lean 证明工具组成，通过多 Agent 协作完成从草稿评估到局部证明生成的全流程。测试显示，即便不依赖复杂的进化搜索和 AlphaProof 调用，仅凭基础配合也足以找到所有待解难题的数学级证明。

除了纯数学领域，Nexus 还在整数序列分析及优化理论中展现出卓越能力。它不仅为 OEIS 在线百科中的大量猜想补上严格证明，还通过 Anchored GDA 算法设计解决了变量调整过程中的震荡问题，并给出了具体的收敛性数学保证。

DeepMind 首席科学顾问 Pushmeet Kohli 指出，这类人机协作模式将大幅拓展数学家的研究广度与深度。随着 AI 不断提供新方法与工具改进建议，人类探索未知的速度有望迎来突破性提升，共同创造知识成为可能。