The Decoder· Manuel Uth·· 1 小时前精选
Google DeepMind的AlphaProof Nexus攻克数十个开放数学问题并接受同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
研究任务与主要进展
据《The Decoder》报道，Google DeepMind的AlphaProof Nexus在Science研究中解决了353个开放Erdős问题中的9个，其中两个已悬而未决56年，并证明OEIS整数序列数据库中的44个猜想。系统以Gemini 3.1 Pro生成和修改Lean形式化证明，每次编辑后由Lean检查并反馈错误，困难子问题还可调用AlphaProof；材料称该研究经过同行评审。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。
本站判断
材料显示，AlphaProof Nexus的增量在于把Gemini 3.1 Pro、Lean形式化校验与AlphaProof专用证明工具组合起来，针对未决数学问题生成并修改证明；研究据报道发表于Science并经过同行评审。若结果成立，技术价值不只在于解决数量，还在于Lean校验和同行评审为AI数学证明提供了不同于直接发布证明的可核验路径，但其泛化能力仍取决于问题范围、形式化覆盖和证明复核情况。
来源：The Decoder · the-decoder.com