36Kr Europe · English·· 9 小时前精选
AlphaProof Nexus解决9个厄尔多斯开放问题，Google DeepMind相关研究发表于Science
AI cracks a 56-year-old mathematical problem and the related research is published in *Science*. DeepMind takes the proper approach by submitting its findings for peer review.
研究任务与主要进展
Google DeepMind的AlphaProof Nexus解决了9个厄尔多斯开放问题，其中包括一个悬而未决56年的问题；材料还称其证明了44个OEIS开放猜想，解决一个悬而未决15年的代数几何问题，并改进凸优化中锚定梯度下降方法的理论边界。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。
本站判断
该研究的增量在于将形式化验证反馈、多智能体配置与进化搜索放入同一数学证明流程，并通过受控实验比较不同配置的求解能力与成本；材料称研究已发表于Science并完成同行评审。结论的关键仍取决于Lean形式化证明的具体正确性、可复现细节和任务泛化能力。本站设想：在相同Lean形式化、算力预算和停止条件下，比较各Agent配置在未见证明任务上的正确率与成本效率。
来源：36Kr Europe · English · eu.36kr.com