返回每日动态论文AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审The Decoder：AI News（RSS）10月12日 17:35导读Science 新研究显示，Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年。推荐理由这条报道把系统架构和同行评审安排都讲清了，读者可以据此理解形式化证明工作流的可行性与验证方式。