AI数学家独立证明黎曼猜想弱形式：机器推理能力迈入纯数学领域

2028年3月6日，DeepMind宣布其数学推理系统DeepProof独立完成了黎曼猜想弱形式的严格证明。这是AI首次在纯数学领域实现无重大人类干预的定理证明突破。

DeepProof采用符号推理与神经网络混合架构，在连续运行137天后，生成了长达2400页的完整证明文档。剑桥大学数学系教授Timothy Gowers审阅后表示，证明过程在逻辑上是严密的。

该系统此前已在组合数学和数论领域证明了多个开放问题，但黎曼猜想的难度完全不同。DeepProof需要在复分析、解析数论和代数几何三个领域之间建立全新的桥梁，这超出了此前任何自动定理证明系统的范围。

普林斯顿高等研究院数论研究员表示，这一证明虽然只是弱形式，但其方法论上的创新可能为解决完整黎曼猜想开辟新路径。证明中引入的"自适应筛法"框架被认为是原创性贡献。

不过，数学界对此存在分歧。部分学者认为AI证明缺乏直觉洞察，无法像人类数学家那样解释"为什么"某个方向是正确的。MIT数学系教授指出，证明的正确性可以验证，但其启发性价值仍有争议。

DeepMind已将完整证明文档开源，供全球数学家审阅。公司表示DeepProof下一步将挑战千禧年数学难题中的其他问题。