DeepMind AlphaProof Nexus 解决数十个开放数学问题并获同行评审
原标题：Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 摘要
Google DeepMind 的 AlphaProof Nexus 在《Science》发表的新研究中独立解决了数十个未解数学问题，包括 353 个 Erdős 开放问题中的 9 个（其中两个已悬置 56 年），并证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题、改进了 min-max 优化中的一个已知界。该系统基于 Gemini 3.1 Pro，用 Lean 形式化语言起草和修订证明，Lean 在每次编辑后检查并给出错误信息引导下一步尝试，遇到更难的子问题时还可调用专用证明工具 AlphaProof。该研究经过同行评审，与 OpenAI 将数百个 AI 证明直接丢到 GitHub 而不投期刊、引发 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制的做法形成对比。
正文节选
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed Google Deepmind's AI solved dozens of open math problems on its own, per a new study in Science. AlphaProof Nexus cracked nine of 353 open Erdős problems, two unsolved for 56 years. The team shared those solutions online ahead of the paper. Beyond that, AlphaProof Nexus proved 44 conjectures from the OEIS integer sequence database, solved an open question in algebraic geometry, and improved a kn