AlphaProof Nexus解决数十个开放数学问题并获同行评审

1. 17:35
   The Decoder精选

   Google DeepMind AlphaProof Nexus 解决数十个开放数学问题并获同行评审

   Google DeepMind 的 AlphaProof Nexus 系统独立解决了数十个开放数学问题，相关研究已发表于 Science 并通过同行评审。该系统基于 Gemini 3.1 Pro，利用 Lean 语言进行证明起草与修正，成功破解了 9 个 Erdős 问题（其中两个悬置 56 年）、44 个 OEIS 猜想以及代数几何中的一个开放问题。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。