DeepMind AI 登 Science 解决 56 年等多道数学悬案

近期 AI 数学领域热度颇高，OpenAI 批量发布 722 份待核验数学证明引发数学圈争议，而谷歌 DeepMind 的 AI 数学研究登上《Science》并获得学界肯定。其推出的由 Gemini 驱动的 AI 数学证明 Agent 框架 AlphaProof Nexus，成功解决 9 道埃尔德什开放问题（其中两道悬而未决达 56 年），还证明了 OEIS 整数序列百科中的 44 个猜想，攻克一道搁置 15 年的代数几何难题，改进了凸优化领域沿用已久的理论边界。该框架核心工作流程为 Gemini 生成证明、Lean 校验并反馈报错、迭代修改直至证明通过，共设计四种不同配置的 Agent，对照实验显示最简配置也能解出全部 9 道埃尔德什问题，完整版在难题上的成本效率是基础版的 2 至 5 倍，单题成本约数百美元，整套 Lean 证明代码已对外公开。