谷歌AI破解困扰专家数十年的两道数学难题

谷歌数学破壁AI实现历史性突破

在学术界引发震荡的进展中，谷歌DeepMind的AlphaProof Nexus解决了自1960年代以来悬而未决的两道数学难题。这不仅是AI的又一个里程碑，更是机器智能在抽象推理层面达到前所未有的水平。

四个AI大脑如何超越数十年人类努力

关键在于AlphaProof Nexus的独特架构：想象四位专业数学家协同工作：

• 第一位负责基础问题解析
• 第二位生成潜在解决方案片段
• 第三位通过试错进化这些思路
• 第四位担任编辑角色，评估并优化最佳方法

研究团队指出："令人惊叹的是这些组件产生的整体大于部分之和。系统解决了我们并未专门编程让它处理的问题。"

从埃尔德什到希尔伯特：AI解题狂潮

测试期间，该系统：

• 破解了353个埃尔德什开放问题中的9个
• 证明了《整数序列在线百科全书》中的44个猜想
• 解决了一道存在15年的希尔伯特函数挑战
• 推进了凸优化领域的研究

最令人意外的是什么？计算成本。解决一道复杂证明可能仅需数百美元——低于许多学术研究预算。

编译器反馈优势

研究人员发现一个意外收获：系统与Lean编译器的交互形成了学习闭环。即便基础版AI在这个反馈机制支持下也能解决问题，预示着未来系统或能以更精简的架构实现类似成果。

关键要点：

• 历史性成就：解开存在56年的数学谜题
• 创新架构：四层AI系统表现优于单一模型方案
• 成本效益：以适度计算开销完成复杂证明
• 深远影响：展示AI在抽象推理领域的潜力