AlphaProof Nexus 解出数十道开放数学题

Google DeepMind 在发表于 Science 的研究中报告，其 AI 系统 AlphaProof Nexus 自主解出数十道未解数学题，成果已通过同行评审。据 Google DeepMind 称，其中包括 353 道 Erdős 开放问题中的九道，其中两道悬置已达 56 年。 报道中的“解出”与“通过同行评审”均引自该研究及 DeepMind 的说法，具体证明的接受程度与范围尚需以论文原文为准。

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

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