Google DeepMind AlphaProof Nexus 解决数十个开放数学难题并完成同行评审

Google DeepMind 的 AlphaProof Nexus 模型在《Science》发表研究，成功解决了数十个开放数学难题，包括 9 个 Erdős 问题及 44 个 OEIS 猜想。该系统基于 Gemini 3.1 Pro 构建，利用 Lean 形式化语言进行证明草拟与校验，并能调用 AlphaProof 工具处理复杂子问题，其研究成果已通过同行评审。