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

Google DeepMind 的 AlphaProof Nexus 在一项发表于《Science》的新研究中求解了数十个开放数学问题，并通过同行评审。它解决了 353 道开放的 Erdős 问题中的 9 道，其中两道此前 56 年未解；还证明了 OEIS 整数数列数据库中的 44 个猜想，解决一道代数几何开放问题，并改进了 min-max 优化中的一个已知界。