AI独立解出悬置56年数学难题

刚看到一条挺震撼的消息：Google DeepMind 的 AlphaProof Nexus 在最新一期 Science 上发表了研究，它独立解出了 353 个未解 Erdős 问题中的九个，其中两个已经悬置了 56 年。团队在论文正式发表前就把解法公开到了网上，这种透明度在当下的 AI 数学圈里算是一股清流。

这个系统的技术路线值得细看。它基于 Gemini 3.1 Pro，用 Lean 形式化语言起草和修改证明，每次编辑后 Lean 都会检查，错误信息会引导下一步尝试。遇到更难的子问题时，它可以调用专门的证明工具 AlphaProof。有意思的是，即使不调用 AlphaProof，它也能解出那九个 Erdős 问题，说明核心推理能力已经相当扎实。除了 Erdős 问题，它还证明了 OEIS 整数序列数据库里的 44 个猜想，解决了一个代数几何的开放问题，并改进了 min-max 优化中的一个已知边界——这个技术被用于训练某些 AI 模型。从纯数学到应用优化都有覆盖，不是单点突破。这件事放在当下的争论里看更有意思。OpenAI 最近把数百个 AI 证明直接扔到 GitHub 上，而不是提交给期刊；Terence Tao 领导的 Association for Human Mathematics 甚至呼吁抵制。DeepMind 选择走同行评审这条路，姿态明显不同。我的判断是，AI 做数学已经从「能不能做」进入「怎么被认可」的阶段。技术能力在快速逼近，但学术共同体的接受规则还没跟上。DeepMind 这次用 peer review 换信任，可能是在为后续更大规模的 AI 数学成果铺路。对做跨境科研工具或学术服务的人来说，这个信号值得留意。