DeepMind 人工智能在国际数学奥林匹克竞赛中获得银牌

谷歌DeepMind公司称，在解决了今年国际数学奥林匹克竞赛（世界上最难的数学竞赛之一）六个问题中的四个之后，其人工智能模型在复杂数学方面达到了 "银级标准"。

7月25日，谷歌DeepMind表示，它在解决AlphaProof和AlphaGeometry 2的高级数学推理问题方面取得了突破性进展。

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

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

这两个系统解决了今年国际数学奥林匹克（IMO）六个问题中的四个，"首次达到了与银牌获得者相同的水平"。

国际数学奥林匹克是历史最悠久、规模最大、最负盛名的青年数学家竞赛。它自 1959 年以来每年举办一次，今年在英国举行的比赛有一百多个国家参加。

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

IMO 金牌得主 Timothy Gowers 爵士教授评论道：

"程序能够想出这样一个非显而易见的构造，非常令人印象深刻，远远超出了我认为的技术水平。"

谷歌之前曾涉足数学人工智能模型，开发了一个名为AlphaGo的系统，该系统学会了下棋，并在2016年击败了传奇围棋手李世石。

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

同时，AlphaGeometry 2 是一个基于谷歌双子座人工智能模型的神经符号混合系统，在解决几何问题方面的能力有所提高。

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

根据谷歌母公司 Alphabet 提交的第二季度财报，DeepMind 在人工智能相关研究方面的支出很多。主要由人工智能研发支出造成的 "Alphabet级活动 "亏损，第二季度达到23亿美元，几乎是去年同期的两倍。

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

据路透社7月15日报道，ChatGPT制造商OpenAI正在一个代号为 "草莓 "的项目中研究一种新的人工智能模型方法。据报道，该模型旨在大幅提高人工智能的推理能力，并实现自主的深度互联网研究。

此外，7 月 25 日，OpenAI 宣布推出名为 SearchGPT 的 AI 驱动搜索引擎原型。

7 月 23 日，Meta 首席执行官马克-扎克伯格（Mark Zuckerberg）在宣布发布最新模型 Llama 3.1 时表示，该公司正朝着开源人工智能成为行业标准的方向迈出下一步。