← 返回 2026-04-06

GrandCode:通过智能体强化学习达到特级大师级竞技编程水平 GrandCode: Achieving Grandmaster Level in Competitive Programming via Agentic Reinforcement Learning

DeepReinforce Team, Xiaoya Li, Xiaofei Sun, Guoyin Wang, Songqiao Su, Chris Shum, Jiwei Li 📅 2026-04-03 👍 639 2026-07-13 08:36
GRPO LLM推理 多智能体系统 强化学习 竞技编程

多智能体RL系统,首次在3场Codeforces现场赛中击败所有人类选手夺冠

前置知识

GRPO(Group Relative Policy Optimization)

GRPO是一种面向大语言模型的强化学习算法,由DeepSeek在R1模型中推广开来。其核心思想是对每个输入 $x$ 采样 $K$ 条候选回答,对它们的奖励进行组内归一化得到优势函数 $A^{(i)} = \frac{r^{(i)} - \mu}{\sigma}$,其中 $\mu$ 和 $\sigma$ 是组内均值和标准差。然后用裁剪的目标函数 $\mathcal{L}_{GRPO} = -\frac{1}{K}\sum_i \sum_u \min\left(\rho_u^{(i)} A^{(i)}, \text{clip}(\rho_u^{(i)}, 1-\epsilon, 1+\epsilon) A^{(i)}\right)$ 更新策略,其中 $\rho_u^{(i)} = \frac{\pi_\theta(a_u|s_u)}{\pi_{\theta_{beh}}(a_u|s_u)}$ 是重要性采样比。GRPO相比PPO更节省显存(不需要单独的价值网络),特别适合推理任务的训练。

本文的Agentic GRPO是在标准GRPO基础上的关键扩展,读者必须先理解GRPO的组内归一化机制和裁剪目标,才能把握'即时奖励'与'延迟修正'两个阶段的数学意义

多智能体RL与组合奖励(off-policy drift)

多智能体强化学习指多个策略 $\pi_1, \pi_2, ..., \pi_N$ 协同完成一个任务。智能体式(agentic)RL特指LLM在多轮工具调用、自我调试、代码执行等场景下的训练。这类任务面临严重的off-policy问题:采样和训练是异步进行的,rollout在多个策略版本下产生,重要性比率 $\rho$ 中行为策略 $\pi_{\theta_{beh}}$ 与当前策略 $\pi_\theta$ 偏差过大。常用的缓解手段是pipeline-RL(采样与训练流水线化)和staleness weighting(按token陈旧度降权)。

GrandCode的核心算法创新正是为了解决智能体RL中的off-policy drift和延迟奖励问题,需要理解异步训练中行为策略随时间漂移的现象才能理解本文贡献

异步训练与流水线RL(pipeline-RL)

在传统同步RL中,采样阶段必须等待训练阶段完成后才能开始,GPU利用率很低。异步RL允许采样和训练并行进行:rollout worker持续用当前(或近期)策略生成数据,trainer在数据到达时立即更新策略。这种流水线模式带来显著的吞吐量提升,但同时引入off-policy问题——一条轨迹可能横跨多个策略版本被生成出来。pipeline-RL是DeepSeek提出的一种标准实践,通过版本号追踪和重要性采样来控制偏差。

本文的Agentic GRPO是pipeline-RL的'正交'扩展,理解流水线化训练才能明白为什么会出现多版本行为策略和延迟的最终奖励

监督微调(SFT)与继续预训练(Continued Pretraining)

继续预训练指在已有的预训练模型基础上,使用领域数据继续进行语言建模目标训练,以增强模型的领域能力但不会破坏通用能力。监督微调(SFT)则是在标注的高质量(输入, 输出)对上训练模型,目标是让模型学会特定的输出格式或能力。本文在SFT阶段还创新性地提出了一种'寻找最佳思考轨迹'的方法:用后训练模型 $p_{\pi_{main}}(c,y|x)$ 评估候选思考的似然,用原模型 $p_{\pi_{main}^{(0)}}(x|c)$ 评估逆推问题难度,组合成打分函数 $s(c_i) = \alpha \cdot \frac{\log p_{\pi_{main}}(c_i,y|x)}{|c_i|+|y|} + \beta \cdot \frac{\log p_{\pi_{main}^{(0)}}(x|c_i)}{|x|}$,筛选出能引出正确答案的思考过程作为SFT监督信号。

GrandCode的训练pipeline包含continue training → SFT → RL → test-time RL四个阶段,SFT的数据构造(特别是'寻找最佳思考轨迹')是本文方法独特性的关键体现

测试时强化学习(Test-time RL, TTRL)

测试时RL指在推理阶段而非训练阶段对模型进行强化学习更新。区别于post-training RL,TTRL只针对当前问题实例 $x$ 优化参数(通常用LoRA),目标是找到单条最佳轨迹 $\max_\theta \mathbb{E}[\max_i R(s_i)]$ 而非提升平均性能。本文采用一种基于排名的平滑目标:给定按奖励排序的N条rollout $R^{(1)} \geq ... \geq R^{(N)}$,按权重 $w_j(\lambda) = \frac{e^{-\lambda j}}{\sum_m e^{-\lambda m}}$ 加权组合,$\lambda$ 控制对头部rollout的聚焦程度。当 $\lambda=0$ 时退化为平均奖励RL,$\lambda \to \infty$ 时趋近best-of-N优化。

TTRL是GrandCode在正式比赛中夺冠的关键技术,理解它与post-training RL的区别(条件集合不同、目标不同、优化对象不同)才能理解其成功原因

对抗性测试用例生成与差分测试

对抗性测试指针对代码提交构造可能暴露bug的输入。本文的'差分驱动测试生成'方法利用多个候选解之间的输出差异来定位可疑输入:让LLM(Claude、GPT、DeepSeek、Kimi)针对问题描述生成潜在边界测试,然后运行所有候选解,若发现输出不一致则保留该测试。这种方法不需要真实解,是经典的'差分测试'(differential testing)思想。'Solution Attack'则在已知gold solution时直接对比候选解与gold的行为差异。

在Codeforces等比赛中真实评测集是隐藏的,构造高质量测试集是提交通道前唯一能验证解法正确性的手段,对应Table 1中42→48→50的提升

研究动机

尽管AI在代码生成上进步迅速,竞技编程仍是少数能坚守人类优势的领域之一。原因在于:竞技题要求同时具备正确性、效率(严格的时间和内存限制)和在长时间竞赛中快速迭代的能力,提交只能得到'对/错/超时'的稀疏反馈。现有最强AI系统的表现仍显著落后于顶级人类选手:AlphaCode的Codeforces评分约1300(位于前54%),AlphaCode2提升到85百分位,OpenAI的o3全球排名175,谷歌最强的Gemini 3 Deep Think在历史题目(非现场赛)上获得第8名。然而,这些评测都未能严格反映'现场竞赛'条件——现场赛中人类选手的策略、节奏、心理压力以及赛后长时间调试都不存在。更严峻的是,智能体式RL在代码生成任务上还存在一个结构性问题:完整rollout的奖励 $r_N$ 只能在多次代码执行之后才能获得,单次评测就可能超过一分钟,这导致严重的off-policy drift和信用分配困难。

本文的目标是本文的具体目标有两个层面:第一个目标是系统层面——构建GrandCode这一多智能体RL系统,使其在Codeforces现场赛中能够持续击败所有人类选手(包括多位传奇特级大师),成为第一个在真实竞赛条件下稳定超越人类顶尖选手的AI系统。第二个目标是算法层面——提出Agentic GRPO,一种专门针对多阶段智能体rollout设计的RL算法,通过'即时奖励+延迟修正'机制解决延迟奖励和严重off-policy漂移问题。系统目标需要算法创新支撑:现场赛中每道题只有一次提交机会,必须在极短时间内通过多智能体协作达到高正确率。

与已有工作不同的是,本文的独特切入角度在于'现场赛标准'与'算法机制设计'的结合。现有竞赛型AI系统普遍存在三个局限:一是评测标准是历史题目而非现场赛,无法保证对人类顶尖选手的可重复胜利;二是单个模型承担所有职责(既要出思路又要写代码又要自测),缺乏多智能体的协同验证;三是标准GRPO对延迟奖励不友好,等所有rollout阶段跑完才更新策略,吞吐量低且信用分配差。GrandCode的差异化路径是:构建由主求解器 $\pi_{main}$、假设模型 $\pi_{hypothesis}$、摘要模型 $\pi_{summary}$、测试生成器组成的协同智能体系统;设计Agentic GRPO让中间奖励 $r_1, ..., r_{N-1}$ 一旦获得就立即参与训练,最终奖励 $r_N$ 到达时再对各阶段做'延迟修正' $\delta_t^{(i)} = r_N^{(i)} - r_t^{(i)}$。这种'边滚动边训练,最后再统一校正'的设计是已有系统未尝试过的。

核心方法

GrandCode的整体思路是构建一个协同工作的智能体系统,让多个专门模型各司其职并通过Agentic GRPO联合优化。直觉上,竞技编程和人类特级大师的工作流类似:先猜测题目的结构性质(是DP还是图论?),再写出解法并自己出几组边界数据验证,最后如果一次提交失败就根据错误信息修改解法。GrandCode把这个流程显式拆成四个组件:主求解器 $\pi_{main}$(负责推理和生成代码)、假设模型 $\pi_{hypothesis}$(生成可验证的中间猜想)、摘要模型 $\pi_{summary}$(压缩长思维链以应对超长推理)、测试生成器(构造对抗性测试)。技术路线分为两大阶段:post-training阶段用Qwen 3.5-397B做continue training(领域知识注入)、SFT(学会正确解题格式)、多组件RL(让各模型协同);test-time阶段用LoRA对 $\pi_{main}$ 做测试时RL,针对具体题目继续优化。算法核心是Agentic GRPO——把一个长rollout $s_1, r_1, s_2, r_2, ..., s_N, r_N$ 拆成多段,中间奖励一到达就立即更新一次(Immediate Reward),最终奖励到达后用差值 $r_N - r_t$ 对各阶段做延迟修正(Delayed Correction)。这套设计的核心信念是:现场赛的极限表现不能只靠一个大模型,必须靠'分工+协同+在线适应'。

GrandCode的核心创新是Agentic GRPO对标准GRPO的'阶段化'扩展,与已有方法有本质区别。标准GRPO的更新公式是 $\mathcal{L} = -\frac{1}{K}\sum_i \sum_u \min(\rho_u^{(i)} A^{(i)}, \text{clip}(\rho_u^{(i)}, 1-\epsilon, 1+\epsilon) A^{(i)})$,对一条长轨迹只用最终奖励 $r_N$ 计算优势 $A^{(i)}$,中间奖励 $r_1, ..., r_{N-1}$ 全部被丢弃。这种做法在智能体式RL中效率极低:一次代码执行就可能超过1分钟,等所有阶段跑完才能训练,GPU严重空闲。Agentic GRPO的'即时奖励'阶段(Eq. 1-2)在每个阶段 $t$ 结束后立即用当前奖励 $r_t$ 归一化得 $A_t^{(i)} = \frac{r_t^{(i)} - \mu_t}{\sigma_t}$,按Eq. 2的GRPO损失更新一次;'延迟修正'阶段(Eq. 4-7)在最终奖励 $r_N$ 到达后用差值 $\delta_t^{(i)} = r_N^{(i)} - r_t^{(i)}$ 归一化得新优势 $\hat{A}_t^{(i)} = \frac{\delta_t^{(i)} - \hat{\mu}_t}{\hat{\sigma}_t}$,对各阶段再做一次修正损失 $\mathcal{L}_{corr}^t = -\frac{1}{K}\sum_i \sum_{u \in s_t^{(i)}} \min(\hat{\rho}_u^{(i)} \hat{A}_t^{(i)}, \text{clip}(\hat{\rho}_u^{(i)}, 1-\epsilon_2, 1+\epsilon_2) \hat{A}_t^{(i)})$,其中 $\hat{\rho}_u^{(i)} = \frac{\pi_{\theta'}(a_u|s_u)}{\pi_{\theta_{beh}^{(i)}}(a_u|s_u)}$ 使用修正后更新的策略 $\theta'$。这一设计的本质区别是把'一次性大更新'拆成'多个小更新+一次校正',让中间信号也能驱动训练,对长延迟奖励任务友好得多。第二个创新是多组件协同RL的奖励设计(Eq. 13):对通过验证的假设 $h$ 给予 $r(h) = \alpha r_1(h) + \beta(S(x,h) - S(x,\emptyset))$,后半项是关键——只有那些能提升主求解器表现的假设才获得高奖励,迫使 $\pi_{hypothesis}$ 学会'对求解器有用'的猜想。

方法步骤详情

方法分数据准备、训练、推理三大步骤。数据准备:(1)从TACO、LeetCode、USACO、CodeContests、IOI等来源收集广泛种子题目,用Gemini 3.1 Pro扩展数据规模,再用Claude 4.6和Gemini 3.1生成详细的思考过程,形成(question, thinking, solution)三元组用于continue training。SFT阶段对每个题目用多个模型(Gemini 3.1 Pro、Claude Opus 4.6、GPT-5.4、GLM 4.5、Kimi K2.5、DeepSeek V3.2)生成候选(思考, 解法),对简单题要求与gold solution等价,对难题用Eq. 9的打分函数 $s(c_i) = \alpha \frac{\log p_{\pi_{main}}(c_i,y|x)}{|c_i|+|y|} + \beta \frac{\log p_{\pi_{main}^{(0)}}(x|c_i)}{|x|}$ 选出最佳思考,其中 $\alpha, \beta$ 是平衡超参,第一项鼓励'能让模型想出答案'的思考,第二项惩罚'只通过答案泄露问题信息'的退化情况。训练阶段:(1)Continue training on noisy data——在Qwen 3.5-397B上继续预训练,随机将20%样本转为假设条件样本使模型熟悉有辅助信息的场景;(2)SFT——训练Qwen 3.5-397B学会预测$(c, y)$,并对 $\pi_{hypothesis}$ 和 $\pi_{summary}$ 做监督微调;(3)Multi-component RL——用GRPO联合优化 $\pi_{main}$、$\pi_{hypothesis}$ 和 $\pi_{summary}$,$\pi_{main}$ 的奖励包括可执行性、正确性、与brute-force相比的效率加速比,加上基于难度级别 $d$ 的长度惩罚 $\text{Penalty}(l, d) = \max(0, \frac{l - B \cdot \alpha^{d-1}}{B \cdot \alpha^{d-1}})$(Eq. 11)——难题允许更长思考但有上限。$\pi_{summary}$ 的训练分三阶段(Eq. 10),先做局部chunk摘要的RL(reward $= \alpha \frac{\log p(c^{(2)},...,c^{(n)},y|s_1,x)}{|c^{(2)},...,c^{(n)}|+|y|} + \beta \frac{\log p(c^{(1)}|s_1)}{|c^{(1)}|}$),再做整条摘要链的RL,最后在主RL中联合优化。$\pi_{hypothesis}$ 的奖励(Eq. 12-13)由两部分组成:通过率 $r_1(h) = \frac{1}{|T|}\sum_t \mathbb{1}[h \text{ correct on } t]$ 加下游收益 $S(x,h) - S(x,\emptyset)$。推理阶段:先用轻量分类器将题目分为5个难度等级(Level 1-5),简单题用direct generation(多解并行评估后选最优),难题启动test-time RL——用LoRA对 $\pi_{main}$ 做在线优化,目标函数(Eq. 19-20)为 $W(\theta) = \mathbb{E}[\sum_j w_j(\lambda) R^{(j)}]$,其中 $w_j(\lambda) = \frac{e^{-\lambda j}}{\sum_m e^{-\lambda m}}$ 按排名分配权重,$\lambda$ 训练时从0逐渐增大实现从'平均奖励'到'最佳奖励'的平滑过渡。RL trial摘要机制会维护一个历史搜索摘要(哪些策略试过、哪些有效、哪些无效),输入下一轮rollout。

技术新颖性

技术新颖性体现在三个层面。算法层:Agentic GRPO(Eq. 1-7)的'即时奖励+延迟修正'两阶段更新机制是首个针对多阶段智能体rollout设计的GRPO变体,区别于已有pipeline-RL的纯off-policy控制,额外利用中间信号做信用分配。系统层:多智能体协同($\pi_{main}$、$\pi_{hypothesis}$、$\pi_{summary}$、测试生成器)的'联合优化但分阶段预训练'策略是首个明确分离的三步走设计(先各自SFT预热,再联合RL微调),相比端到端联合训练更易诊断失败来源。基础设施层:pipeline context parallelism for DeltaNet+Softmax混合架构是首个针对此混合架构的CP调度设计,4 CP rank + 4 micro-batch时利用率达90.3%,8 micro-batch时94%,16 micro-batch时97%,接近线性扩展(Table 5)。另外'动态CP'(按难度调CP规模)、'冻结MoE路由器只更新专家FFN'(避免路由漂移)、'按难度和完成时间双维度平衡batch'等工程创新保证了在MoE长上下文场景下的训练稳定性。但需注意:大多数新颖性属于'系统级工程+算法扩展'而非基础理论突破,Agentic GRPO缺乏论文声称的完整理论分析(仅在Appendix C有简要讨论)。

Overview of the full pipeline
Figure 2: Overview of the full pipeline
Hypothesis generation and small-scale verification
Figure 3: Hypothesis generation and small-scale verification
Examples of contest figures whose visual structure is difficult to capture with text-only descriptions
Figure 4: Examples of contest figures whose visual structure is difficult to capture with text-only descriptions
Pipelined context parallelism for one block with 3 DeltaNet layers + 1 softmax attention layer
Figure 5: Pipelined context parallelism for one block with 3 DeltaNet layers + 1 softmax attention layer

实验结果

论文报告了四类核心结果。**现场赛结果(Table in Section 2.2)**:GrandCode在Round 1087(Div. 2,3月21日,2小时)获得S(joint)=8334、S(separate)=9269分,用时00:51:11率先完成所有题目;Round 1088(Div. 1+2,3月28日,2.5小时)S(joint)=15008、S(separate)=16511分,用时01:40:35;Round 1089(Div. 2,3月29日,2小时15分)S(joint)=9506、S(separate)=11596分,用时00:56:43。三场全部第一,击败所有人类参赛者包括多位传奇特级大师。**测试用例生成结果(Table 1)**:在50道真实Codeforces题上,仅用基础测试集时42/50通过;加入差分驱动+Solution attack后提升到48/50;再加入提交反馈和在线生成后达到50/50全覆盖,证明测试生成对实际提交可靠性的显著提升。**假设模型结果(Table 2)**:Qwen-3.5-27B基础在200题上pass@1=34%、pass@5=44%;+SFT后45%/52%;+SFT+RL后52%/57%,每步都有实质提升。**训练pipeline消融(Table 4)**:Qwen 3.5-397B基础接受率64%、Level 5解决4/20、加权分52.2;+continue training提升到71%/6/20/61.0;+SFT进一步到73%/7/20/62.5;+summary微降至72%/7/20/61.7(摘要模块轻微损伤指标但提供计算效率)。**最终RL进展(Table 6)**:从post-training的72%接受率/7 Level-5/61.7加权分,经full RL training达到81%/13/72.3,test-time RL再提升到85%/15/73.5,表明test-time RL对最难题目帮助最大。**前沿模型对比(Table 3)**:在100题基准上Gemini 3.1 Pro 75%/7/64.3、Claude Opus 4.6 73%/8/63.7、GPT-5.4 72%/7/63.0、Kimi K2.5 65%/5/53.3、DeepSeek V3.2 65%/4/52.7、Qwen 3.5-397B 64%/4/52.3。GrandCode的85%最终接受率显著超越所有商用模型。

Results on 50 real Codeforces problems using the Codeforces judge as the final criterion
Table 1: Results on 50 real Codeforces problems using the Codeforces judge as the final criterion
Pass@1 and pass@5 on a 200-problem evaluation set for hypothesis generation
Table 2: Pass@1 and pass@5 on a 200-problem evaluation set for hypothesis generation
Accept rates, Level 5 correct answers, and scaled weighted scores on 100 benchmark questions
Table 3: Accept rates, Level 5 correct answers, and scaled weighted scores on 100 benchmark questions
Ablation of continued training, SFT, and summary-augmented training
Table 4: Ablation of continued training, SFT, and summary-augmented training
Efficiency of pipelined context parallelism for the 3DeltaNet+Softmax Attention mixture
Table 5: Efficiency of pipelined context parallelism for the 3DeltaNet+Softmax Attention mixture
Progression from post-training to full RL training and then to test-time RL on the benchmark
Table 6: Progression from post-training to full RL training and then to test-time RL on the benchmark
Codeforces standings overview for the three live contests in which GrandCode participated
Figure 1: Codeforces standings overview for the three live contests in which GrandCode participated
查看结构化数据
任务指标本文基线提升
Codeforces Round 1087 (现场赛) 最终名次 第1名 (S_joint=8334, S_sep=9269, 完成时间00:51:11) 所有人类参赛者(含多位传奇特级大师) 史上首个AI现场赛冠军
Codeforces Round 1088 (现场赛) 最终名次 第1名 (S_joint=15008, S_sep=16511, 完成时间01:40:35) 所有人类参赛者 首个AI在Div. 1+2联合赛中夺冠
Codeforces Round 1089 (现场赛) 最终名次 第1名 (S_joint=9506, S_sep=11596, 完成时间00:56:43) 所有人类参赛者 三连冠
测试用例生成质量 (50道真实CF题) Codeforces官方评测通过数 50/50 (差分驱动+Solution attack+在线生成) 42/50 (仅基础测试集) +8题 (19.0%相对提升)
假设生成模型 (200题) pass@5 57% (+SFT+RL) 44% (Qwen-3.5-27B基础) +13个百分点
训练pipeline消融 (100题基准) 加权分 (0-100) 73.5 (post-training + full RL + test-time RL) 52.3 (Qwen 3.5-397B基础) +21.2分
训练pipeline消融 (100题基准) Level 5题目解决数 15/20 4/20 (Qwen 3.5-397B基础) +11题 (近4倍提升)
vs 商用前沿模型 (100题基准) 接受率 85% (含test-time RL) Gemini 3.1 Pro: 75%; Claude Opus 4.6: 73%; GPT-5.4: 72% +10~13个百分点
Pipeline CP for DeltaNet+Softmax 整体效率 (4 CP rank, 4 micro-batch) 90.3% 无pipeline基线 (含同步屏障开销) 微batch增至16时达97%

局限与改进

作者明确承认的局限包括:(1)**摘要模块的小幅性能下降**——Table 4显示加入summary后加权分从62.5降至61.7,作者认为是'推理计算开销'和'信息损失'的双重作用,但未深入分析;(2)**Codeforces反AI政策**——账号会被审查,迫使系统采用非最优策略:在人类选手几乎完成前不提交完整版本('we wait until the human participants have nearly finished the task before submitting the full version'),这意味着S(joint)分数被刻意压低,真实能力可能更强;(3)**S(separate)与S(joint)差距**——前者是题目一完成就提交,后者是整体完成后才提交,理论上S(separate)更高,但作者承认这会带来多次提交惩罚;(4)**多提交策略的公平性**——作者承认'all tasks are solved within at most four submission attempts',但这一策略可能不完全等价于人类的'一次提交决定胜负'。我自己观察到的额外局限:(a)**样本量问题**——现场赛仅3场且都是Div. 2或Div. 1+2联合,未参与Div. 1纯高分场,对真正的传奇特级大师段位选手覆盖不足;(b)**Agentic GRPO理论分析薄弱**——Section 4提到'Appendix C有更详细理论分析'但未在主文给出收敛性保证或偏差上界;(c)**闭源模型依赖**——训练数据生成大量使用Claude Opus 4.6、Gemini 3.1 Pro、GPT-5.4等闭源模型,复现成本极高;(d)**测试时RL的计算成本**——现场赛中$\pi_{main}$更新需要算力支持,对普通研究者而言无法复现;(e)**任务特异性**——多智能体协同设计高度针对'可分解的代码生成',对其他长延迟奖励任务(如数学证明、对话系统)的迁移性未经验证。

独立分析的弱点

独立分析的具体弱点及改进方向。**弱点1:现场赛数量极少**——仅3场且都是Div. 2/1+2联合组,未在高难度Div. 1场次测试。改进方向:在更多现场赛、更多平台(TopCoder、AtCoder、ICPC区域赛)上验证,提供更全面的对比统计。**弱点2:$\pi_{hypothesis}$ 与 $\pi_{main}$ 的协同验证缺乏**——Eq. 13中$\alpha, \beta$权重和'how to choose'未做充分消融。改进方向:增加$(S(x,h) - S(x,\emptyset))$权重的消融实验,并探索不同$\alpha/\beta$配比对最终性能的影响曲线。**弱点3:'Solution Attack'依赖gold solution**——只能用于训练集,测试时无法直接复用。改进方向:训练一个'无gold时也能生成solution-attack测试'的元学习模型,或在test-time用TTRL本身生成'准gold'。**弱点4:Agentic GRPO的延迟修正项在异步训练中可能丢失**——Eq. 14的staleness规则会把超过K2的修正项完全丢弃,与delayed correction的初衷有冲突。改进方向:区分'中间奖励时效'和'修正项时效',对修正项设置更宽松的阈值;或设计'修正项缓冲队列'延迟丢弃。**弱点5:MoE路由冻结限制了模型适应新领域的能力**——Section 9.3承认'freeze the router entirely'以保证RL稳定性,但这等于放弃了RL的fine-grained路由学习。改进方向:探索'路由软更新'或'专家级重要性采样'以保持稳定性的同时允许路由学习。**弱点6:测试时RL只更新$\pi_{main}$**——$\pi_{hypothesis}$ 和 $\pi_{summary}$ 在test-time固定,但实际比赛不同题目可能需要不同的假设/摘要策略。改进方向:探索'轻量级test-time prompt tuning'对$\pi_{hypothesis}$的自适应调整。**弱点7:评估指标偏单一**——主要用accept rate和weighted score,对'解法优雅性'、'可读性'、'调试效率'等人类关心的维度未量化。改进方向:增加'解法复杂度'、'可读性'、'提交次数'等二级指标。

未来方向

作者明确提出的未来方向:(1)**更广泛的多智能体架构**——目前假设模型/摘要模型/主求解器是分离的,未来可探索更细粒度的智能体分解(如代码生成、注释生成、复杂度分析、边界分析各成独立智能体)。(2)**强化智能体间通信**——当前多智能体通过prompt注入通信,可探索智能体间的'对话式协同'或'共享记忆'机制。(3)**泛化到其他长延迟奖励任务**——验证Agentic GRPO在数学证明、科学推理、长期对话等任务上的有效性。我基于成果可延伸的额外方向:(a)**理论基础**——为Agentic GRPO提供完整的收敛性分析和偏差上界,证明'两阶段更新优于单阶段更新'在什么条件下成立;(b)**延迟修正的优先级**——不同阶段的修正项应有不同权重,可引入'阶段重要性'学习机制;(c)**多模态扩展**——虽然论文提到多模态(Qwen本身是VLM),但对'题目有图像'的场景未充分实验;(d)**对抗鲁棒性**——现场赛可能被'恶意题'(误导性描述、隐藏陷阱)针对,可研究GRPO+对抗训练的结合;(e)**资源受限部署**——当前系统需要大规模GPU集群,研究'小模型+大模型协作'或'模型剪枝'以降低部署门槛;(f)**跨领域迁移**——把'多智能体+延迟奖励+测试时RL'框架迁移到化学合成、芯片设计、游戏AI等领域。

复现评估

复现性评估整体偏负面。**未开源**——论文中未提及任何代码、模型权重或训练数据的公开承诺。**模型权重不开放**——Qwen 3.5-397B本身是闭源商用模型,论文中只是'using Qwen 3.5 as the foundation model',复现者无法获取基座。**数据严重依赖闭源API**——训练数据生成大量调用Claude Opus 4.6、Gemini 3.1 Pro、GPT-5.4、Kimi K2.5、DeepSeek V3.2等API,这些API要么收费高昂,要么根本不复现当时的版本。**算力需求极高**——MoE模型397B参数 + 训练中需要多组件RL联合优化 + test-time RL在线更新,据描述需要'distributed GPU mesh',初步估计需要数百张H100级别的GPU连续运行数周。**闭源基础设施**——Agentic GRPO的精确实现、pipeline CP for DeltaNet+Softmax的调度细节、TTRL中$\lambda$的curriculum schedule都未给出超参设置和实现细节。**比赛结果部分可验证**——3场Codeforces的比赛结果可被Codeforces官方榜单间接验证(但账号已可能被封禁),可作为'系统存在过'的证据但无法重跑。**正向因素**——Algorithm层面有详细数学公式(Eq. 1-20),论文架构图清晰(图2的pipeline、图5的CP调度),Table 5有完整的可复现微batch数。总体复现难度:**9/10**——除了有完整博士级RL+系统工程背景的顶级实验室外,独立研究者几乎不可能完整复现。