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

Google DeepMind 的 AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个，其中两个已悬置 56 年。该系统基于 Gemini 3.1 Pro 构建，使用 Lean 语言进行形式化证明，并额外证明了 44 个 OEIS 整数序列猜想，解决了代数几何中的一个开放问题，改进了用于训练某些 AI 模型的 min-max 优化技术的已知边界。