Google DeepMind 的 AlphaProof Nexus 解出数十道开放数学问题并通过同行评审

Google DeepMind 的一项发表在 Science 的研究称，AlphaProof Nexus 解出了数十道开放数学问题。它解出 353 道开放的 Erdős 问题中的 9 道，其中两道问题已悬而未决 56 年；团队还证明了 OEIS 整数序列数据库中的 44 个猜想，并解决了代数几何中的一个开放问题、改进了 min-max 优化中的一个已知界。