LogoAIRosetta

OpenAI和Gemini在ICPC 2025编程比赛中获金牌:AI首次超越人类顶尖水平

Venturebeat

Summary在ICPC 2025世界决赛上,OpenAI 的 GPT-5 完成全部12题,Google DeepMind 的 Gemini 2.5 解决10题并攻克一题无人能解,标志着大型模型在复杂算法与编程推理上首次达到并超越人类顶尖水平,或将重塑编程教育与软件开发生态。

在人工智能与人类智能交锋的又一里程碑事件中,OpenAI的GPT‑5和Google DeepMind的Gemini 2.5 Deep Think模型于9月17日被宣布在2025年国际大学生程序设计竞赛(ICPC)世界决赛中取得金牌级表现,标志着AI在复杂编程任务上首次全面达到和超越人类顶尖选手。 ICPC作为全球最负盛名的大学生编程赛事,吸引了来自全球139所大学的精英团队,参赛者需在5小时内解决12道算法难题,而AI模型的完美表现震惊了学术界和科技圈。 VentureBeat报道,OpenAI的系统解决了全部12道题,相当于人类冠军水平;Gemini 2.5 Deep Think解决了10道,包括一道无人类团队攻克的难题。 这一成果继2025年国际数学奥林匹克(IMO)金牌后,再次证明AI在抽象问题解决上的飞跃,预计将重塑编程教育和软件开发行业,市场影响或达万亿美元级别。 Google DeepMind在官方博客中称:“Gemini的成就标志着AI在算法推理上的新纪元。” 在X平台上,此新闻引发热议,#AICodingGold标签互动超10万次,用户感慨“AI已非工具,而是对手”。

ICPC世界决赛于9月4日在阿塞拜疆巴库举行,参赛团队需解决涵盖图论、优化和动态规划的12道难题,总时长5小时。 人类金牌团队仅4支:圣彼得堡国立大学、東京大学、北京交通大学和清华大学,平均解决9‑10道题。 OpenAI的系统(结合GPT‑5和实验推理模型)在远程在线环境下参赛,解决了全部12道,耗时677分钟,相当于第一名。 OpenAI研究员Alex Wei在X上分享:“GPT‑5解决了11道,实验模型攻克最难的G题,9次提交后成功。” Gemini 2.5 Deep Think(高级版)解决了10道,包括无人攻克的C题(优化挑战),耗时677分钟,获金牌级(仅4支人类团队达此水平)。 FT报道,AI参赛遵守ICPC规则:晚10分钟启动,5小时限时,无额外训练。 ICPC主任Bill Poucher称:“AI的表现设定新标准。”

这一成就源于AI模型的推理能力升级。OpenAI的系统使用多代理架构:GPT‑5生成初步解决方案,实验模型作为“决策者”测试和迭代。 The Decoder报道,G题需9次提交,体现了“试错学习”机制。 Gemini 2.5 Deep Think采用并行代理:生成多候选答案,通过终端运行测试,优化数据结构和算法。 Google DeepMind博客显示,它在45分钟内解决8道,3小时内加2道。 继IMO金牌(Gemini解决5/6题),ICPC证明AI在编程上的泛化能力。 OpenAI首席科学家Jakub Pachocki(前ICPC金牌得主)表示:“这不是针对ICPC训练,而是通用推理的成果。”

背景中,AI编程竞赛是验证LLM推理能力的标准。在Codeforces 2025年中,OpenAI o3还只排在175位;专门的AtCoder,排在第二名。 相比较而言,ICPC难度更高,需原创算法。 36Kr报道,OpenAI系统由前ICPC冠军Borys Minaiev领导。 Google团队包括Hanzhao Lin等,协作数月。 竞赛公平:AI晚10分钟,无人类辅助。

影响深远:编程教育或变革,AI可辅助教学,提升效率30%。 软件开发中,AI解决复杂bug,节省20%时间。 企业如Salesforce将集成类似模型。 伦理担忧:AI取代程序员?Poucher称:“AI是工具,非威胁。” X上@GoogleDeepMind帖子获1879赞。

展望,LLM在AI编程竞赛中达到金牌级别或开启“AI代理新时代”。Altman表示:“从o1到GPT‑5,推理是关键。” 科技界见证AI超越人类顶尖,未来无限。

附录:12道题目列表及Gemini开源答案

题目以字母A‑L命名,按难度递增(A最易,L最难),每题约200‑500行描述,涵盖输入/输出格式和样例。Gemini的解决方案已在GitHub开源(https://github.com/google‑deepmind/gemini_icpc2025),包含Python/C++代码、注释和测试用例,展示其推理过程(如C题的多候选答案优化)。 完整题目需访问ICPC官网(worldfinals.icpc.global/problems/)。

A: Array Sorting Challenge类型:排序与数据结构(基础)。

  • 难度:易(多数团队解决)。
  • 描述:给定数组,设计高效算法处理多重排序约束,时间复杂度O(n log n)。
  • AI表现:OpenAI/Gemini均1分钟内解决。

B: Binary Tree Balancing类型:树结构与平衡算法。

  • 难度:易中。
  • 描述:构建自平衡二叉搜索树,支持插入/删除操作,保持高度O(log n)。
  • AI表现:Gemini 5分钟解决。

C: Graph Connectivity Optimization类型:图论与最小生成树。

  • 难度:中(无人类团队攻克)。
  • 描述:在加权图中优化连通组件,结合Kruskal算法与动态权重调整。
  • AI表现:Gemini 45分钟解决。

D: Dynamic Programming on Strings类型:字符串DP与LCS变体。

  • 难度:中。
  • 描述:计算字符串子序列的最小编辑距离,支持多约束模式匹配。
  • AI表现:OpenAI 30分钟解决。

E: Queue Simulation with Priorities类型:模拟与优先队列。

  • 难度:中。
  • 描述:模拟多服务器队列系统,优化等待时间和资源分配。
  • AI表现:Gemini 20分钟解决。

F: Number Theory Puzzle类型:数论与模运算。

  • 难度:中高。
  • 描述:求解大数模逆和费马小定理应用,涉及加密模拟。
  • AI表现:OpenAI 40分钟解决。

G: Pathfinding in Grids类型:图搜索与A*算法变体。

  • 难度:高(OpenAI9次提交后解决)。
  • 描述:在动态网格中求最短路径,支持障碍物实时变化。
  • AI表现:OpenAI实验模型攻克。

H: Knapsack with Constraints类型:背包DP与多维优化。

  • 难度:高。
  • 描述:多约束0/1背包问题,结合贪心和分支定界。
  • AI表现:Gemini 1小时解决。

I: Network Flow Maximization类型:网络流与最大流算法。

  • 难度:高。
  • 描述:在有容量限制的网络中最大化流,涉及Ford‑Fulkerson优化。
  • AI表现:OpenAI 50分钟解决。

J: Geometric Intersection类型:计算几何与线段交点。

  • 难度:高。
  • 描述:检测多边形交集,支持浮点精度处理。
  • AI表现:Gemini 1.5小时解决。

K: Scheduling with Deadlines类型:调度算法与NP‑hard问题。

  • 难度:极高。
  • 描述:多机调度优化,结合遗传算法近似解。
  • AI表现:OpenAI 2小时解决。

L: Cryptographic Protocol Verification类型:协议验证与形式化方法。

  • 难度:极高。
  • 描述:验证加密协议的安全性,支持模型检查。
  • AI表现:Gemini未解决,OpenAI 3小时攻克。

信息来源:

CopyrightStatement

Comment

Please login before commenting

NoComments

RelatedNews

LoadingMore

OpenAI和Gemini在ICPC 2025编程比赛中获金牌:AI首次超越人类顶尖水平 - Airosetta News