Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题并获同行评审
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
- 1AlphaProof Nexus 解出 353 个开放 Erdős 问题中的 9 个，其中两个已悬置 56 年
- 2系统另证明 OEIS 数据库 44 个猜想，解决一个代数几何开放问题，并改进 min-max 优化的已知界
- 3系统以 Gemini 3.1 Pro 为核心，在形式语言 Lean 中起草修订证明并逐步查错，难题可调用 AlphaProof
- 4成果经同行评审发表于 Science；此前 OpenAI 将数百个 AI 证明放上 GitHub，Terence Tao 领导的协会呼吁抵制
AI 解出悬置数十年的开放数学问题并经同行评审，推理成果的验证方式正成为行业分歧的焦点。
- 影响：对多数企业是远期信号；逐步机器校验加专家工具回退的流程，适合对准确性要求高的知识型工作；成果可信度越来越取决于验证与发表方式，而非厂商单方口径。
- 参考：可考虑把经同行评审的成果当作推理能力的参照标尺；评估供应商宣称的 AI 突破时，值得先问清结果经过独立校验、同行评审还是仅自行公开。
- 依据：9/353 Erdős 问题、44 个 OEIS 猜想及不调用 AlphaProof 也能解题等说法均出自论文与 DeepMind 口径，暂无独立验证；发表渠道之争为行业背景事实。
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 known bound in min-max optimization, a technique used to train some AI models. It's built around Gemini 3.1 Pro, which drafts and revises proofs in the formal language Lean. Lean checks each draft after every edit, and error messages guide the next attempt. For harder sub-problems, it can call on AlphaProof, a specialized proof tool. Even without AlphaProof, it solved the nine Erdős problems, Google Deepmind reports.
The study lands amid a heated debate over AI math. OpenAI recently dumped hundreds of AI proofs on GitHub instead of submitting them to journals. The Association for Human Mathematics, led by Terence Tao, called for a boycott. Deepmind put its work through peer review.
AI News Without the Hype – Curated by Humans
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
来源：The Decoder：AI News · the-decoder.com