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

Google DeepMind 在 Science 发表新研究称，其 AlphaProof Nexus 数学证明系统自主解决了数十个开放数学问题，其中包括 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年。该研究称这些结果通过了同行评审。 上述结论来自 Google DeepMind 一方发表的研究，报道未说明这些问题此前的悬置状态由谁认定，也未给出系统解决这些问题所依据的具体条件或适用范围。

AI 根据报道生成 · 50 分钟前更新

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