搜索
DeepMind AI 登 Science 解决 56 年等多道数学悬案
2 天前
近期，AI数学领域备受关注。OpenAI一次性发布了722份待核验的数学证明，在数学界引发了争议。与此同时，谷歌DeepMind的AI数学研究取得了显著进展，其成果登上《Science》并获得学界认可。谷歌DeepMind推出了由Gemini驱动的AI数学证明Agent框架——AlphaProof Nexus。该框架成功解决了9道埃尔德什开放问题，其中包括两道已悬而未决56年的难题。此外，它还证明了OEIS整数序列百科中的44个猜想，攻克了一道搁置15年的代数几何难题，并改进了凸优化领域长期沿用的理论边界。AlphaProof Nexus的核心工作流程是：Gemini负责生成证明，Lean进行校验并反馈错误，通过迭代修改直至证明通过。该框架设计了四种不同配置的Agent，对照实验表明，即使是最简配置也能解决全部9道埃尔德什问题。完整版在难题上的成本效率是基础版的2至5倍，单题成本约数百美元。目前，整套Lean证明代码已对外公开。
