Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并登上 Science
Google DeepMind 的 AlphaProof Nexus 独立解出多个开放数学问题,相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知界。
推荐理由:DeepMind 的 AlphaProof Nexus 在 Science 发表,独立解出多个悬置数十年的开放数学问题,并罕见地走完同行评审流程。