谷歌 DeepMind 发布 AlphaProof Nexus，AI 自主解决 56 年未解数学难题

谷歌 DeepMind 推出新型 AI 系统 AlphaProof Nexus，将大语言模型的生成能力与 Lean 形式化验证结合，在 353 个开放的 Erdős 数学问题中自主解决 9 个，其中 2 个问题已悬而未决 56 年。

该系统在 OEIS 的 492 个开放猜想中证明了 44 个，并解决了 1 个存在 15 年的 Hilbert 函数问题，同时改进了凸优化中的已知界限。每个问题的推理成本仅需数百美元。

AlphaProof Nexus 由 4 个复杂度递增的 AI 智能体组成，从仅依赖 Gemini 与 Lean 交互的 Agent A，到整合进化机制的 Agent D。研究发现，最简单的 Agent A 也能解决这些难题，表明底层模型能力提升和编译器反馈对推理的“锚定”作用正不断增强。