微软的4B编程智能体几乎完全靠RL训练，没有更大的教师模型蒸馏，本质上是一个固定任务集、一次训练一次发布的离线RL流程。