Google DeepMind的AlphaProof Nexus攻克数十个开放数学问题并接受同行评审
据《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数学证明提供了不同于直接发布证明的可核验路径，但其泛化能力仍取决于问题范围、形式化覆盖和证明复核情况。