谷歌深度思维AI框架攻克9个厄多斯数学难题

谷歌旗下深度思维团队开发并测试了一款名为AlphaProof Nexus的AI框架，该框架可自主搜索数学证明，并借助Lean等计算机程序验证推理过程。相关成果发表于最新一期《科学》杂志。

测试中，该系统在353个尝试解决的厄多斯问题中攻克了9个，其中有两个此前悬而未决超过50年；同时还解决了《整数数列在线百科全书》492个开放猜想中的44个，并涉及代数几何、优化、量子光学和图论等多个科研级问题。

AlphaProof Nexus能够根据Lean编译器的反馈不断调整证明，其功能更完善的版本还可利用进化算法协调多个子智能体，并调用深度思维的AlphaProof作为专门证明工具。团队发现，最基础的智能体版本同样解决了9个厄多斯问题，只是在处理较难问题时需更多计算资源，该版本主要依靠商业化大语言模型和Lean证明助手。

有数学家担忧大规模使用AI可能削弱探索动力，团队则认为即使AI未完成证明，其尝试也有助于理解问题和发现新思路。