DeepMind 的 AlphaProof Nexus 解掉数十个公开数学难题，并且过了同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
据 The Decoder，Google DeepMind 的 AlphaProof Nexus 解决了几十个公开数学问题，其中包括 9 个 Erdős 问题，有两个已悬置 56 年，相关研究发表在《Science》上。文章特别把这一步与 OpenAI 的处境并置：OpenAI 因为把 AI 生成的证明未经同行评审直接投向 GitHub 而遭到抵制，而 DeepMind 是先让结果接受评审、再正式发表。AI 自动定理证明能否算数、以什么标准算数，正从单纯的模型能力问题，变成学术共同体愿意给不给出入场券的问题。
论文#Google DeepMind#AlphaProof Nexus#OpenAI
推荐理由：这条的价值有两层：一是结果本身（数十个公开难题、9 个 Erdős 问题、两个悬置 56 年），二是方法口径——DeepMind 走了同行评审再发 Science，而 OpenAI 的 AI 证明直接铺 GitHub 正遭到抵制。自动化研究进入严肃数学的门槛之争，比单次结果更值得记下来。
