英语轻松读发新版了,欢迎下载、更新

疲惫的人在世界编码冠军赛中击败了AI模型

2025-07-18 19:34:14 英文原文

尽管达比亚克(Däbiak)赢得了500,000日元,并在他的磨难中比传奇的钢铁司机(Encodary Steel Driver)赢得了磨难,但Atcoder World Tour决赛将人类和AI模型通过复杂的优化挑战推向了他们的限制,而这些挑战的挑战没有完美的解决方案,只有渐进的解决方案。

编码马拉松测试人类对AI效率的耐力

ATCODER世界巡回赛决赛代表了竞争激烈的节目最独特的赛事之一,仅根据上一年的表现邀请全球排名前12的程序员。启发式部门的重点是”np-hard“优化问题。在编程中,启发式方法是解决问题的技术,可以通过快捷方式和经过教育的猜测找到良好的解决方案。

包括OpenAI在内的所有竞争对手都仅限于AtCoder提供的相同硬件,以确保人与AI参赛者之间的公平竞争环境。根据竞赛规则,参与者可以使用ATCODER上可用的任何编程语言,没有重新提交的罚款,而是在提交之间进行五分钟的强制性等待。

Leaderboard results for the 2025 AtCoder World Finals Heuristic Contest, showing Dębiak (as "Psyho") on top.

2025年ATCODER世界决赛启发式比赛的最终排行榜结果,显示了DäBiak(作为“ Psyho”)。信用:atcoder

最终的比赛结果表明,Psyho的成绩为1,812,272,558,909分,而OpenAI的型号(被列为“ Openaiahc”)得分为1,654,675,725,406点,利润率约为9.5%。Openai的人造参与者,一种习俗模拟推理模型与O3相似,排名第二,比其他10名通过一年排名获得资格的人类程序员领先。

Openai将第二名的表现视为竞争性编程中AI模型的里程碑。一位公司发言人在给ARS Technica的一封电子邮件中说:“像O3这样的模型在编码/数学比赛中排名前100名,但据我们所知,这是一项首要的编码/数学比赛中的第一个前三名。”“诸如Atcoder之类的事件为我们提供了一种测试模型能够战略性地推理,长期计划的方式以及通过反复试验改善解决方案的方法,就像人类一样。”

关于《疲惫的人在世界编码冠军赛中击败了AI模型》的评论


暂无评论

发表评论

摘要

ATCODER世界巡回赛决赛是最独特的竞争节目赛事之一,其中包括一场编码马拉松比赛,其中人类和AI都受到了复杂的优化挑战的限制。DęBiak被称为“ Psyho”,在启发式部门以1,812,272,558,909分取得了胜利,险些击败Openai的模特,获得了第二名。所有参与者都使用相同的硬件和面临NP硬件问题,这些问题由于计算限制而需要启发式解决方案。该活动强调了AI的战略推理能力及其在竞争性编程方面的潜力,这标志着O3这样的AI模型的重要里程碑。