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

Google DeepMind 的 AlphaProof Nexus 在《Science》发表的研究中独立解决了数十个开放数学问题，包括 9 个 Erdős 问题和 44 个 OEIS 猜想。该系统基于 Gemini 3.1 Pro 构建，利用 Lean 形式化语言进行证明起草与修订，并通过了严格的同行评审，这与 OpenAI 近期将 AI 证明直接上传 GitHub 的做法形成对比。