Gemini 2.5 Deep Think 首次在 ICPC 世界总决赛获得金牌,标志 AI 编程能力达到职业竞技水平。
Hanzhao (Maggie) Lin,Heng-Tze Cheng
Gemini 2.5 Deep Think 在世界上最负盛名的计算机编程竞赛中取得金牌级别成绩,展现了在抽象问题解决方面的突破性进展。
高级版本的 Gemini 2.5 Deep Think 在 2025 年国际大学生程序设计竞赛(ICPC)世界总决赛中取得了金牌级别的成绩。
这一成果直接建立在 Gemini 2.5 Deep Think 仅两个月前在国际数学奥林匹克竞赛(IMO)中获得金牌的基础之上。这些研究的创新成果将继续被融入未来版本的 Gemini Deep Think,不断扩展学生和研究人员能够获取的先进 AI 能力的前沿。
在这些竞赛中解决复杂任务需要深度抽象推理、创意、合成新颖解决方案的能力以及真正的聪慧火花。
这些在竞技编程和数学推理方面的突破共同表明,Gemini 在抽象问题解决中实现了深层次的飞跃——这标志着我们在通往通用人工智能(AGI)道路上的重要一步。
ICPC 是全球公认最悠久、最大规模、最具声望的大学级别算法编程竞赛。这是比高中级别奥林匹克竞赛(如 IMO)更高的层次。每年,来自近 3000 所大学和 103 个国家以上的参赛者竞争解决实际编程问题。
今年的世界总决赛于 9 月 4 日在阿塞拜疆巴库举行,汇聚了竞赛前期阶段的顶级队伍。在五小时的时间内,每支队伍需要解决一系列复杂的算法问题。最终排名遵循两个不容情商的原则:只有完美的解决方案才能得分,而且每一分钟都很关键。在参赛的 139 支队伍中,只有前四支队伍赢得金牌。
高级版本的 Gemini 2.5 Deep Think 在竞赛组织者的指导下,在遵循 ICPC 规则的远程在线环境中进行了实时竞争。它在人类参赛者开始 10 分钟后启动,在相同的五小时时间限制内,正确解决了 12 个问题中的 10 个,达到了金牌级别的成绩。详见我们的解决方案。
Gemini 在仅 45 分钟内解决了八个问题,并在三小时内又解决了两个问题,使用各种高级数据结构和算法来生成其解决方案。通过在总共 677 分钟内解决 10 个问题,Gemini 2.5 Deep Think 如果与竞赛中的大学队伍进行比较,将排名第 2 位。
ICPC 全球执行董事 Bill Poucher 博士表示:"ICPC 一直致力于在问题解决中设立最高标准。Gemini 成功加入这一竞技场,并取得金牌级别的成绩,标志着在定义下一代所需的 AI 工具和学术标准方面的关键时刻。祝贺 Google DeepMind;这项工作将帮助我们为所有人的利益燃起数字复兴的火焰。"
在一个前所未有的时刻,我们的模型在前半小时内成功且高效地解决了第 C 题——这是竞赛中没有任何大学队伍解决的问题。
第 C 题需要找到一个解决方案,用于将液体通过相互连接的导管网络分配到一组水池,目标是找到这些导管的一个配置,能够尽快填满所有水池。可能的配置数量是无限的,因为每条导管可以打开、关闭或甚至部分打开,这使得搜索最优配置非常困难。
Gemini 通过一个巧妙的洞察找到了有效的解决方案:它首先为每个水池分配一个"优先级值",表示相对于其他水池应该有多少偏好。给定一组优先级值,可以使用动态规划算法找到导管的最佳配置。Gemini 发现通过应用最小最大定理,原问题可以通过找到使所得流量最受限制的优先级值来处理。利用优先级值和最优流量之间的关系,Gemini 使用嵌套三分查找在碗形凸解空间中快速找到最优优先级值,从而解决了第 C 题。
我们的里程碑成绩汇聚了预训练、后训练、新颖强化学习技术、多步推理和并行思维方面的一系列进步。这些创新帮助 Gemini 探索解决复杂问题的不同方式、验证解决方案并在响应前不断迭代。
例如,在强化学习过程中,我们训练 Gemini 为程序员面临的最困难的问题进行推理和生成代码,从结果反馈中学习,并发展其方法。为了解决一个问题,多个 Gemini 代理各自提出自己的解决方案,使用终端执行代码和测试,然后根据所有尝试迭代解决方案。
我们的内部研究表明,类似版本的 Gemini 2.5 Deep Think 也可以在 2023 年和 2024 年 ICPC 世界总决赛中达到金牌级别的成绩,性能与世界顶级 20 名竞技编程高手相当。
在 ICPC 中达到金牌级别具有即时、实际的软件开发影响,展示了 AI 可以作为真正的问题解决伙伴为程序员服务。如果将竞赛中最佳的 AI 和人类解决方案结合起来,所有 12 个问题都会被完全正确地解决。这表明了 AI 的潜力,可以提供独特、新颖的贡献来补充人类专家的技能和知识。
除了数学和编码,我们的成就展示了抽象推理的强大新能力。ICPC 所需的技能——理解复杂问题、设计多步逻辑计划并完美实施——与许多科学和工程领域所需的技能相同,例如设计新药物或芯片。这表明 AI 正在从仅仅处理信息发展到实际帮助解决某些世界上最困难的推理问题,其方式可能对人类有益。
拥有 Google AI Ultra 订阅的 Gemini 用户已经可以在 Gemini 应用中使用 Gemini 2.5 Deep Think 的轻量级版本。在不久的将来,更强大的 AI 编码助手可能会帮助开发人员应对越来越复杂的工程挑战。从物流和调试到科学研究,某些最困难、最难解决的问题的解决方案可能很快就能通过使用 AI 作为协作工具而触手可及。
我们感谢国际大学生程序设计竞赛(ICPC)的支持。
这个项目是一次大规模协作,其成功归功于许多个人和团队的共同努力。Hanzhao (Maggie) Lin 领导了 Gemini 竞技编程和 ICPC 2025 工作的整体技术方向,并与 Heng-Tze Cheng 共同领导了整体研究和执行。
ICPC 2025 团队的领导和关键贡献者如下:Chenkai Kuang、Yuan Liu、Zhaoqi Leng、Jieming Mao、Lalit Jain、Chenjie Gu、Goran Žužić、Adams Yu、YaGuang Li、Xiaomeng Yang、Yang Xiao、Adam Zhang、Alex Vitvitskyi、Ashkan Norouzi Fard、Blanca Huergo、Evan Liu、Golnaz Ghiasi、Huan Gui、John Aslanides、Jonathan Lee、Kuba Lacki、Larisa Markeeva、Luheng He、Nigamaa Nayakanti、Nikos Parotsidis、Paul Covington、Petar Veličković、Qijun Tan、Ragha Kotikalapudi、Renshen Wang、Sasan Tavakkol、Shuang Liu、Sidharth Mudgal、Steve Li、Vincent Cohen-Addad、Xianghong Luo、Xinying Song、Yiming Li 和 Zicheng Xu。
用于 ICPC 的先进 Gemini Deep Think 建立在来自 Gemini 后训练、思维和编码领域的联合基础研究之上,包括:Aja Huang、Andreas Kirsch、Ankesh Anand、Archit Sharma、Betty Chan、Chenxi Liu、Cosmo Du、Dawsen Hwang、Dustin Tran、Edward Lockhart、Feryal Behbahani、Fred Zhang、Garrett Bingham、Hao Zhou、Hoang Nguyen、Irene Cai、Jian Li、Jarrod Kahn、Junehyuk Jung、Junsu Kim、Kate Baumli、Kefan Xiao、Le Hou、Lei Yu、Maciej Kula、Mahan Malihi、Marcelo Menegali、Miklós Z. Horváth、Mirek Olšák、Nate Kushman、Pei Sun、Pol Moreno、Rosemary Ke、Sahitya Potluri、Shane Gu、Shubha Raghvendra、Siamak Shakeri、Sid Lall、Steven Zheng、Thang Luong、Theophane Weber、Tong He、Tianhe (Kevin) Yu、Trieu Trinh、Vikas Yadav、Vinay Ramasesh、Vinh Tran、Weiyue Wang、Wilfried Bounsi、Xiyang Luo、Yangsibo Huang、Yi Tay、Yong Cheng、Yuan Zhang、Yuri Chervonyi 和 Yujing Zhang。
此项工作由 Quoc Le 和 Vahab Mirrokni 指导,项目和运营管理由 Kristen Chiafullo、Eric Ni、Srinivas Tadepalli、Jessica Lo 和 Sajjad Zafar 负责。
我们还要感谢竞技编程专家提供的洞察:Alexander Grushetsky、Chun-Sung Ferng、Ilya Kornakov、Liang Bai、Petr Mitrichev 和 Sergey Rogulenko。
我们要向 Gemini 服务团队致以最深的感谢:Abhijit Karmarkar、Cip Baetu、Emanuel Taropa、Evan Senter、Federico Lebron、Girish Ramchandra Rao、Greg Anielak、Hamish Tomlinson、Hayden Jeune、Jia Zhao、Joe Stanton、Ashish Shenoy、Jonathan Kairupan、Juliette Love、Justin Mao-Jones、Kashyap Krishnakumar、Ken Franko、Mahesh Palekar、Minh Giang、Nikhil Sethi、Rohan Jain、Rohit Varkey Thankachan、Soheil Hassas Yeganeh、Thomas Jimma 和 Vitor Rodrigues。
进一步感谢以下人士的支持、协作和建议:Benoit Schillings、Ed Chi、Koray Kavukcuoglu、Jeff Dean、Oriol Vinyals、Noam Shazeer、James Manyika、Yossi Matias、Philipp Schindler、Pushmeet Kohli、Demis Hassabis、Sergey Brin、Melvin Johnson、Omer Levy、Timothy Lillicrap、Anca Dragan、Slav Petrov、Ya Xu、Madhavi Sewak、Erika Gemzer、Eugénie Rives、Erica Moreira、Tulsee Doshi、Alex Goldin、Jane Labanowski、Andy Forbes、Sean Nakamoto、Yifeng Lu、Denny Zhou、Alexander Novikov、Cristy Hayner、Hanada Tatsuki、Harsh Dhand、Ritu Ghai、Hiroki Kayama、Jenny Rizk Nicholls、Jo Chick、Song Zuo、Pratyusha Mukherjee、Shibo Wang、Carlos Guia、Xiaofan Zhang……
最后,我们感谢来自 ICPC 全球的 Bill Poucher 博士的支持和认可。
ICPC 全球已确认我们提交的解决方案是完整和被接受的。需要注意的是,他们的审查并不涉及验证我们的系统、流程或基础模型。