谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题

# 两天破解两道半世纪难题：谷歌AI正在重塑 数学研究 数学界迎来历史性时刻。 5月26日，谷歌DeepMind发布新一代数学推理框架AlphaProof Nexus，在开放埃尔德什问题集中成功证明9道难题，其中包括两道已悬置56年的经典问题。这一突破标志着人工智能在基础科学研究领域迈入新阶段。 埃尔德什问题体系由20世纪最具影响力的匈牙利数学家保罗·埃尔德什提出，涵盖组合数学、数论、图论和几何等领域，被公认为数学界最具挑战性的未解难题集合之一。此次被攻克的难题之一便是该体系中的经典问题。 **四层AI智能体协作，从基础推理到完整证明** AlphaProof Nexus采用四层递进式架构。Agent A是最基础的推理单元，仅依赖Gemini 3.1 Pro与Lean编译器进行循环交互。研究者发现，这个看似简单的智能体实际上能独立完成大部分已攻克难题的证明，仅在处理最高难度题目时效率较低。 Agent B接入AlphaProof系统，可自动补全证明过程中缺失的逻辑片段。Agent C引入类似AlphaEvolve的进化机制，多个证明草稿可共享、评分并排序，模拟了数学家协作思考的过程。Agent D则是功能最完整的终极形态，整合前三者全部能力。 一个反直觉的发现是：底层大语言模型能力的持续提升，加上编译器反馈对推理过程的“锚定”作用，正让更简单的智能体在未来承担更多复杂工作成为可能。这意味着AI数学研究工具可能朝着“轻量化”方向演进。 **成本可控，AI辅助研究进入实用阶段** 根据谷歌论文数据，AlphaProof Nexus战绩覆盖多个领域：在353个开放埃尔德什问题中成功解决9个，在OEIS 492个开放猜想中证明44个，解决1个存在15年的希尔伯特函数问题，并改进凸优化中的多项已知界限。 更值得关注的是其成本控制能力——每个问题的平均推理成本仅需数百美元。这意味着AI辅助数学研究已具备实际应用价值，而非仅停留在概念验证阶段。 **从工具到研究者，科研规则正在被改写** 这并非谷歌首次在数学领域实现突破。近期，OpenAI也宣布其AI系统成功攻克存在80年的几何猜想。人工智能正在从辅助工具演变为真正的研究参与者。 当AI能够自主推理、验证并发现数学证明，那些传统上需要数学家数年甚至数十年才能攻克的难题，如今有了新的探索路径。科研规则，正在被一点点改写。