啄木·改轨(Woodpecker)二六零八零五一六八,木屑落在推理缝0:00 / 3:30二六零八零五一六八,木屑落在推理缝强模型不是没能力,是中途一脚踩空弱探插入短补丁,接在同一段 prefix 后啄木不教完整答案,只把坏轨迹啄出洞Qwen3 四 B 先写一条,Gemma 三 四 B 来探针同一个前缀切两路,直接续写,对照再问A-B-A,弱 patch 进场,强模继续跑到终能救回的叫 reasoning bug,不是每个错都能缝补丁成功和失败,按 verifier 分成两棚不是抄弱模那句话,是看未来 token 怎么动正分布减负分布,log ratio clip 住风JS gate 挑差异大的位点,原上下文里把修复学通弱探不当老师,啄出强模的 bug同一段 prefix,换一条 future 路不抄 patch,不抄整轨,改写下一步Woodpecker 啄一下,错误轨迹换车道出弱探不当老师,调用完就退场成功对失败,留下分布的方向局部能修不等于全局能赢,别把补丁唱成光先问模型有没能力,再问这一步能不能扛直接 Pass@16 二四点二一,A-B-A 二六点一六整体多一点九五,局部干预不是戏AIME 二五 五七点一四,到六一点九零起加四点七六;Omni-Hard 二零点六二到二三点七贪心五套 benchmark,基线平均五三点四Woodpecker 五四点八,self-rejection 五三点八AIME 二四 五三点三到六三点三,十个点立AIME 二五 三零到四三点三,十三点三硬吃MATH 五百 八五点六到八六点四Olympiad 五六点五到五八点三,Omni 二零点二到二零点六不是弱模型替你解,是局部干预给方向让强模型在原上下文里,学会自己转弯同模探针回到五三点四,弱模多样性才是针拿掉负干预只剩二二点一,正面狂推会失真拿掉 JS gate 五三点零,噪声位点也被算进正负对照、弱探、多样门控,三根骨头撑住魂Gemma 换 seed,五四点七、五四点八稳换 Mistral 七 B,五四点六,也没靠单一门神但 verifier 才是瓶颈,一步一千一百八十二秒沉占八六点四;弱分支八秒,不到百分之一的成本轻训练一百二十五秒每 step,算力账别只看模型名数学五套 benchmark,代码、事实、规划还没听局部 teacher-forced 对齐,是近似,不是因果神谕全局规划坏掉、根本不会解,木啄再狠也修不平弱探不当老师,啄出强模的 bug同一段 prefix,换一条 future 路不抄 patch,不抄整轨,改写下一步Woodpecker 啄一下,错误轨迹换车道出弱探不当老师,答案不是凭空长正负 intervention,才把修复方向唱响Baidu 加 NTU,Dayu Wang、Jiaye Yang 带队上场先修能修的局部错,别把局部胜利封成全场二六零八零五一六八,弱者也能做探针不是替强者解题,是让强者看清哪步在下沉能修的是局部 bug,不是能力凭空增啄木停在裂缝边,下一步自己走稳