Google DeepMind的AI独立解决了9个半个世纪未解数学题

Google DeepMind 的新 AI 刚刚解决了 9 个未解决的埃尔德什问题。这些数学问题已经有 50 多年没人解决了。而且它完全是靠自己做到的。

到目前为止，AI 一直只是个被美化了的计算器。它能辅助数学家，也能解决它已经见过的竞赛题。但真正的、研究级别的数学，那种创造人类新知识的数学，一直被认为是AI无法涉足的领域。现在情况不一样了。

《科学》杂志刚刚发表了一篇介绍 AlphaProof Nexus 的论文。研究人员构建了一个框架，多个 AI 智能体使用名为 Lean 的形式化编程语言搜索数学证明。Lean 扮演绝对裁判的角色，它会自动验证每一步逻辑，让幻觉在数学上不可能存在。

然后他们让 AI 自由攻克世界上最难的未解决问题，结果令人震惊。这个系统自主解决了九个未解决的埃尔德什问题，其中两个问题已经半个多世纪没人解决了。它还证明了整数序列在线百科全书（On-Line Encyclopedia of Integer Sequences）中的 44 个开放猜想，解决了代数几何、量子光学和图论领域的研究级问题。

没有人一步步引导它。AI 使用进化算法协调子智能体，完全自主发现了全新方法。它不再只是复述训练数据，而是在主动创造全新的数学真理。

几十年来，我们用计算机进行暴力计算，让人类来做创造性思考。现在，机器也能做创造性思考了。人类知识的前沿不再只由人类推动，而是由智能体来发现。