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

Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题，成果已通过同行评审并发表于 Science。该系统基于 Gemini 3.1 Pro，用 Lean 形式化语言起草和修订证明，解决了 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年，并证明了 OEIS 数据库中的 44 个猜想。 据 Google DeepMind 称，即使不使用 AlphaProof，该系统也能解决这 9 个 Erdős 问题。团队在论文发表前已将解答发布在网上。 这些成果的同行评审状态和具体数量来自该研究本身，其实际数学价值有待领域内进一步检验。

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

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