• Google DeepMind 部门发布了 AlphaProof 和 AlphaGeometry 2，这两个先进的 AI 系统可以进行复杂的数学推理。
  • Google 的 AI 进展展示了在复杂问题解决中更深入的 AI- 人协作，以及推理和抽象思维在 AI 研究中日益增长的重要性。

本台观点
Google AI 解决复杂数学问题的能力凸显了一个深刻的转变。随着 AI 的不断发展，Google 及其竞争对手的工作表明，AI 技术将不是人类智力的替代品，而是推动我们理解和创新达到新高度的催化剂。
–Ashley Wang，BTW 记者

发生了什么

Google 的 AI 部门DeepMind在周四发布了两个先进的 AI 系统，即 AlphaProof 和 AlphaGeometry 2，标志着在解决复杂数学问题方面取得了重大突破。这一发展突显了 AI 能力的新前沿，从语言处理扩展到抽象推理和问题解决。

这些 AI 模型通过解决 2024 年国际数学奥林匹克竞赛 (IMO) 六道题目中的四题展示了其实力，该竞赛以其挑战性问题而闻名。值得注意的是，AlphaProof 解决了其中三题，包括最难的一道，只有少数人类参赛者解决出来。这一成就强调了 AI 系统参与复杂、多步骤推理任务（传统上由人类智能处理）的潜力。

AlphaProof 将 Google 的 Gemini 语言模型与AlphaZero 系统集成，后者此前因精通国际象棋和围棋等棋类游戏而广受赞誉。这种混合方法增强了 AI 将数学问题转化为形式语言的能力，减少了大型语言模型产生“幻觉”或看似合理但错误答案的倾向。同时，专注于几何的更新模型 AlphaGeometry 2 成功解决了另一道问题，进一步证明了该系统的能力。

另请参阅：软件和 AI 需求推动 IBM 增长，尽管咨询业务下滑

另请参阅：MIT 推出一种训练家用机器人的新模拟方法

为什么重要

据 Google DeepMind 负责 AI for Science 研究的副总裁 Pushmeet Kohli 称：“这是机器学习和 AI 领域的巨大进步。此前从未开发出能以这样的成功率解决问题的系统。”

这一进展意味着未来 AI 与人类在复杂问题解决领域的协作将进一步整合。虽然这些 AI 模型还不能取代人类数学家，但它们提供了强大的工具，可以帮助开发新的数学证明和见解。

AlphaProof 和 AlphaGeometry 2 的成功也突显了推理和抽象思维在 AI 研究中日益增长的重要性，而当前模型在这一领域往往举步维艰。AI 不再局限于日常任务或简单的数据处理；它正进入需要细致推理和抽象思维的领域。