Google DeepMind AlphaProof Nexus 攻克数十个开放数学问题并发表于 Science

Google DeepMind 的 AlphaProof Nexus 在 Science 发表新研究，独立解决了数十个开放数学问题：在 353 个开放 Erdős 问题中解出 9 个（其中 2 个悬置 56 年），证明 OEIS 整数序列数据库中的 44 个猜想，解决一个代数几何开放问题，并改进了 min-max 优化的一个已知界。