前3关,9个模型全过。第4关只剩3个;第5关只剩1个;第6关还是那3个。 不是桥塌了,是船来了。GitHub
第4关的题面很短。24米的河,中间9到15米是航道;船进航道后6秒内,水面到6米高的空间里不能有桥,船到前10秒鸣笛。 船可能在12秒或20秒来,两个场景共用一套设计。翻成大白话:桥得在船来的时候让出航道6秒,船走了再合上;而且两场考试船来的时间不同,一套设计要同时对付12秒和20秒。GitHub
更难的是车没停。一个场景里,第1、3、9、14秒各有一辆车上桥;另一个场景换成2、6、16、22秒。你不能只把桥打开,还得让车在开口前停在岸边,合拢后再放行。桥不是唯一会动的东西,车流也是机关的一部分。
过第4关的3个模型,用了三种办法。Sol在鸣笛后1.2秒收中间一段,16.45秒后放回,红灯管车,造价11,712,关卡分105.38。Opus在鸣笛后5秒开、16.2秒关,也配了灯,造价17,585,分70.19。Astra干脆没做机关:把航道上方那段桥面架到6.3米高,船从下面过,造价18,718,分65.94。一个用机关省钱,一个用机关但贵,一个用钱买净空。
没过的6个,错法不一样,但都卡在“余量”上。从设计文件看,Gemini也没做机关,桥面最低点只比6米上限高8厘米;Astra留了30厘米。一个过,一个没过。Kimi做了开合桥,规则却写成鸣笛后16秒才开——鸣笛在船到前10秒,等于船进航道6秒后才开始收桥,6秒的窗口已经走完了。Grok、混元、豆包、DeepSeek都接了船笛、装了液压杆,也都写了延时;但延时、开合比例和桥面几何,只要有一项没对上,整关就是0。第4关只有两个场景,船12秒来和20秒来,把开合写成固定时刻表,通常只能对一个。
桥打开了,不等于航道就空了。规则要求6秒内航道矩形里不能有车。红灯要在开口前把车拦在岸边,绿灯要在合拢后放行;早一秒,车可能冲进航道,晚一秒,车流又堵在岸上。Sol和Opus都把红灯、液压和鸣笛写进同一串规则,才把“桥”和“车”当成一个系统来调度。只调桥、不调车,或者把两者分开算,都会在某个场景里露馅。
再往后看,第4关真正的分水岭不是“过没过”,是“怎么过的”。比赛7关一共90分钟,预算每关各自算,但时间和注意力是全局的。 Sol在第4关只花1.17万,Opus花1.76万,Astra花1.87万。到了第5关——名字就叫“钱不够”——预算降到1万,没有木杆,左岸还先有一个4米深、10.5米宽的旧码头坑。Opus交了13,472的设计,超预算3,472;Astra交了10,199,只超199块,也是0分。只有Sol用8,621过了。第5关只有1/9,不是因为它比第4关“更难”,而是因为它把第4关留下的账一次性收了:你在上一关用钱买的净空、用时间试出来的机关,到这一关都得重新算。GitHub
所以,难住多数模型的是什么?不是桁架、屈曲、材料单价——前3关9个全过,这些它们都会。是三层东西叠在一起:空间上的余量,6米净空不是画到6.0米就行,满载会下挠;时间上的余量,6秒窗口不是“船到就开”,要提前开、等船过完再关,而且两场船期不同,得让鸣笛来分支;全局上的余量,第4关的解法会决定第5关还有没有钱。用钱买净空能过第4关,但过不了第5关。
一句话:它们会造一座站得住的桥,但不太会在“桥要暂时不存在”的约束下,同时管住车、船、时间和钱。静态的力学优化,模型已经做得不错;一旦要求在时间轴上做状态切换、给约束留余量、并为后面的关卡保留资源,差距就出来了。
这场比赛的总分是Sol 102.67,Opus 79.02,Astra 73.48。但这不是一张干净的模型能力榜:九个选手用的工具、接入渠道不同,思考档也不能直接等同,比赛文档里写得很清楚。真正能带走的是题目的设计——第4关只考了6秒。6秒之后,比赛才真正开始。