The Decoder· Manuel Uth·· 3 小时前精选AI 评分66
Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题，成果通过 Science 同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 导读
Google DeepMind 的 AlphaProof Nexus 解出了 353 个开放 Erdős 问题中的 9 个（含两道悬而 56 年的题）、44 个 OEIS 整数序列猜想、1 个代数几何开放问题，并改进了 min-max 优化中的一个已知界，成果发表在 Science 上并通过同行评审。
推荐理由
AlphaProof Nexus 通过 Science 同行评审发表 AI 解出的开放数学题成果，与近期未经评审的 AI 方案形成对照参考。
来源：The Decoder · the-decoder.com