AlphaProof Nexus 解决数十个开放数学问题

Google DeepMind 在 Science 发表研究，称其 AlphaProof Nexus 系统独立解决了数十个开放数学问题：在 353 个开放 Erdős 问题中解出 9 个（其中 2 个悬置 56 年），证明 OEIS 整数序列数据库中的 44 个猜想，解决代数几何的一个开放问题，并改进 min-max 优化的一个已知界。团队在论文发表前已将这些解答在网上公开。 Google DeepMind 称，即使没有 AlphaProof 参与，该系统也解出了这 9 个 Erdős 问题。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。