DeepMind AI 在国际数学奥林匹克竞赛中达到银牌标准

谷歌 DeepMind 表示，其人工智能模型在解决了今年国际数学奥林匹克竞赛（世界上最艰难的数学竞赛之一）六道题中的四道之后，目前已达到复杂数学的“银级标准”。

7月25日，谷歌DeepMind表示，AlphaProof和AlphaGeometry 2在解决数学高级推理问题上取得突破。

数学被视为人工智能发展的重要基准。几何等复杂数学需要直觉和创造性的解决问题能力以及复杂的推理能力。

AlphaProof 是一种基于强化学习的新型形式数学推理系统，而 AlphaGeometry 2 是一种几何求解系统的改进版本。

该公司表示，这两个系统解决了今年国际数学奥林匹克（IMO）六道题目中的四道，“首次在比赛中达到了与银牌得主相同的水平”。

国际数学奥林匹克是历史最悠久、规模最大、最负盛名的年轻数学家竞赛。该赛事自 1959 年以来每年举办一次，今年在英国举办的赛事吸引了一百多个国家参赛。

谷歌解释称，奥林匹克竞赛已被广泛认为是“机器学习领域的重大挑战，也是衡量人工智能系统高级数学推理能力的理想基准”。

IMO 金牌得主蒂莫西·高尔斯爵士教授评论道：

“该程序能够提出这种非显而易见的构造，这非常令人印象深刻，远远超出了我认为的最先进水平。”

谷歌此前曾涉足数学人工智能模型，其名为 AlphaGo 的系统学会了下围棋，并于 2016 年击败了传奇围棋选手李世石。

研究人员现在将 AlphaGo 的继任者 AlphaZero 与预先训练的语言模型结合起来，制作出 AlphaProof。它通过解决数百万个翻译成正式编程语言“Lean”的问题来进行训练。

同时，AlphaGeometry 2 是基于谷歌 Gemini AI 模型的神经符号混合系统，具有增强的几何问题解决能力。

该公司表示，其人工智能团队“正在继续探索多种人工智能方法以推进数学推理，并计划很快发布有关 AlphaProof 的更多技术细节”。

根据谷歌母公司 Alphabet 公布的第二季度财报，DeepMind 在人工智能相关研究上投入了大量资金，主要由人工智能研发投入导致的“Alphabet 层面活动”亏损在第二季度达到 23 亿美元，几乎是去年同期的两倍。

相关：

与此同时，人工智能竞争持续升温。

据路透社 7 月 15 日报道，ChatGPT 制造商 OpenAI 正在开发代号为“Strawberry”的 AI 模型新方法。据报道，该模型旨在大幅提高 AI 推理能力并实现自主的深度互联网研究。

此外，7 月 25 日，OpenAI 宣布推出名为 SearchGPT 的人工智能搜索引擎原型。

7 月 23 日，Meta 首席执行官马克·扎克伯格在宣布发布最新型号 Llama 3.1 时表示，公司正朝着让开源 AI 成为行业标准迈出下一步。

杂志：100 万美元赌注 ChatGPT 不会导致 AGI、苹果智能 AI 应用、AI 百万富翁激增：AI Eye

热点：AI 竞赛