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