The Decoder：AI News·· 21 天前精选AI 评分76
AlphaProof Nexus 攻克 9 个未解 Erdős 问题并经同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Science 新研究显示，Google DeepMind 的 AlphaProof Nexus 独立解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个悬置 56 年。
推荐理由
这条报道把系统架构和同行评审安排都讲清了，读者可以据此理解形式化证明工作流的可行性与验证方式。
来源：The Decoder：AI News · the-decoder.com