谷歌Jeff Dean离职创业押注AI自动研究，清华系团队开源35B AI4AI模型

本工作由衔远科技与清华大学联合完成，其中衔远科技为唯一通讯单位。项目负责人杨峻麟（清华计算机系本科四年级）、姜澈（清华电子工程系博士三年级），两人现为衔远科技算法研究员，研究方向为 AI4AI 与 RSI，均师从上海人工智能实验室主任、清华大学惠妍讲席教授周伯文。唯一通讯作者张开颜，衔远科技 CTO、清华电子系博士，师从周伯文教授。 2026 年 8 月初，谷歌首席科学家 Jeff Dean 联合多位核心研究员集体离职，创立 Discovery Loop，目标直指递归自我改进（RSI）—— 让 AI 自己跑实验、评估结果、修正弱点，并持续迭代。 这不是孤立事件。过去一年，AI 已经开始进入 AI 研发流程本身。AlphaEvolve 用大模型和自动评测器搜索算法，部分结果已用在训练基础设施中；Darwin Gödel Machine 让 Coding Agent 修改自己的工具与工作流；SEAL 尝试让模型生成微调数据与更新指令；TTT-Discover 则在测试阶段继续更新模型。研究者开始把 AI 当作研发者，而不只是被研发的对象。这类工作通常被称作 AI for AI，或 Automated AI R&D。 RSI（Recursive Self-Improvement，递归自我改进）是其中最吸引人的方向。一个 Agent 会循环调用工具，或者在输出后做几次 Reflection，还不能算 RSI。真正棘手的是后半程：执行结果怎样被可靠验证，哪些经验值得留下，它们能否提高下一轮产生改进的能力，进而实现 AI 自我改进。 衔远科技和清华大学团队在综述《Self-Improving Agents in the Era of Experience》中把它概括为一个Trace-to-Capability问题：经验必须被捕获和整理，分配给正确的更新载体，经过验证，再以 Skill、Memory、Harness 或模型参数的形式进入未来行为。 在最新技术报告《Frontis-MA1: Training an AI4AI Model toward Recursive Self-Improvement》中，衔远科技与清华大学团队发布了 Frontis-MA1-35B 和 OpenMLE 开源套件，研究的是自我进化中一段具体链路：让执行反馈回到负责提出修改的模型中。Frontis-MA1 选择机器学习工程作为试验场，因为它同时满足两个条件：Agent 确实在构建另一个 AI 系统，结果又能通过真实运行和隐藏测试来验证。 给 Agent 一份训练数据、一套任务说明、一个评价指标和有限的 GPU 时间，它需要自己完成数据检查、验证集划分、特征处理、模型选择、训练与调参，最后提交预测结果。一次运行可能要花几分钟，也可能几小时。反馈通常只有分数、报错和日志。 代码跑通只是起点。有些错误很安静：验证集切分不当会给出过于乐观的分数，数据泄漏会让一个错误方案看起来很好，复杂模型也可能只对当前验证集有效。Agent 需要判断实验是否可信，然后决定继续改当前方案、回头修错、开一条新分支，还是把两条分支合在一起。 这也是机器学习工程比一般 Coding 任务更适合研究 AI4AI 的原因。它要求 Agent 处理代码，却不能靠单元测试判断全部结果；它还要理解数据和模型，并为每次训练付出真实算力成本。 我们把当前工作称为一次 Meta-Evolutionary Step。程序在执行反馈下演化，筛选后的轨迹用于训练提出修改的模型，更新后的模型再参与搜索。这里已经发生了 “改进者” 的更新，但任务、评测器和训练时机仍由人设定。完整 RSI 还需要多代闭环。 OpenMLE 使用四种程序操作。Draft 从头生成方案；Improve 修改一个可运行方案；Debug 根据报错和日志修复程序；Crossover 把两个父方案中相容的部分重新组合。 这四种操作既用于后训练，也用于推理时的搜索。训练数据描述一次具体修改，搜索图也用同样的接口生成新节点。模型学到的动作因此可以直接放回搜索系统，而不是在训练阶段学一种任务、部署时再临时设计另一套工作流。 OpenMLE-Gym 负责提供可执行环境。按照论文的发布口径，Gym 共有 5,758 个任务：156 个精选锚点、3,362 个 Kaggle Dataset 任务和 2,240 个经过质量筛选的 Kaggle Competition 任务。任务覆盖八类数据模态，11.0% 涉及多模态数据。每个任务都把公开输入、隐藏答案、评价指标和执行脚本放进隔离沙箱，候选程序必须运行后才能得到分数。 这套环境的价值很朴素：训练、搜索和评测终于在讨论同一个结果。模型说自己的方案更好没有用，沙箱中的隐藏测试说了算。 数据构建时，我们很快碰到一个问题：如果只保留每个任务的最终程序，模型看到的是答案，却看不到答案是怎样改出来的。 OpenMLE-ERL 保留了两类数据。并行路径收集 17,245 个完整 Draft；进化路径检查多步搜索轨迹，从高质量局部轨迹片段中筛选得到的9,014 个进化步骤。两部分合计 26,259 条 SFT 样本。 进化路径也没有把 “成功轨迹上的所有步骤” 一股脑标成正样本。一个早期修改只有被后续程序继承，并且最终通过质量门槛，才更可能进入训练集。这样能滤掉碰巧出现在高分轨迹中、实际没有贡献的操作。 强化学习还有一个麻烦：不同任务使用 AUC、RMSE 或自定义指标，方向和数值范围都不同。OpenMLE-ERL 根据当前 Rollout 的分数分布设置上下界，再用 Entropic Advantage 增加上尾候选的权重。奖励关心的是同组方案中谁真正更好，而不只是代码有没有跑完。 执行速度也会改变训练结果。预算自适应采样在有效样本够用或执行预算耗尽时停止，异步 Rollout 让已经完成的生成 — 执行组先进入更新，不必等最慢的一组。40 个匹配步骤中，平均单步时间从 97.0 分钟降到 50.8 分钟。对这种依赖真实训练的 RL 来说，调度方式直接决定同一周内能收集多少有效经验。 推理端的问题换了一个样子。搜索时间一长，Agent 会积累大量程序、日志和失败记录。把它们全部追加到上下文，看起来信息很全，实际经常让下一步决策变差。 OpenMLE-Evo 把每个候选程序看作一个搜索节点，并为执行过的节点生成 Experience Card，记录方法、谱系、分数、相对父节点的变化和错误。Experience Board 保存全局最优、方法覆盖和反复出现的失败。 系统选择亲本时会看三个量：当前质量、相对进步和方法新颖性。分数暂时不高但进步明显的分支仍有机会被扩展，方法不同的分支也不会过早消失。到了真正生成代码时，记忆按操作取用。Improve 查看相关祖先和兄弟节点，Debug 寻找相同错误，Crossover 提取两个父方案的互补部分和已知冲突。 这项设计是否只是 “少给模型一些 Token”？我们在同一 Frontis-MA1-35B、同一 Seed 和 12 小时任务预算下，与原始 AIRA-Evo 做了 66 组匹配实验。OpenMLE-Evo 使用的模型 Token 从 1.293 亿降到 7,530 万，减少 41.7%；每百万 Token 发现新最佳结果的次数从 1.77 升到 3.27；Improve 操作刷新最佳成绩的比例从 4.73% 升到 9.36%。被评估节点只减少 12.4%，所以差异主要来自节点选得更准，而不是简单地少跑实验。 论文里有一个很能说明问题的材料性质预测任务。原始 AIRA-Evo 在 Draft 报错后，沿着同一条分支连续 Debug 七次。OpenMLE-Evo 保留了两个不同分支：一个有物理特征，另一个能稳定解析不规则.xyz 文件。Crossover 组合两者，并避开兄弟节点中已经出现过的缓存错误和维度不匹配。最终方案的验证 RMSE 降低 8.2%，隐藏测试 RMSE 降低 11.3%。 MLE-Bench Lite 包含 22 个任务，每个配置运行 3 次。单个任务在一张 RTX 4090 上运行 12 小时，显存上限为 12GB。固定 OpenMLE-Evo 后，Qwen3.6-35B-A3B 基座的 Medal Average 是 39.39%，Frontis-MA1-35B 为 60.61%，差值 21.22 个百分点。30B 实验也出现了相近趋势，从 34.85% 升到 53.03%。 OpenMLE-Evo-Max 加入与 MLE-Bench 隔离的跨任务经验先验和异步多 GPU 搜索，总沙箱算力保持不变，最终得到 71.21%。它比 GPT-5.5 + Codex 高 3.03 个百分点，与 GPT-5.6 Sol 和 Kimi K3 相差 1.52 个百分点。Human Rank 则从基座模型的 0.5828 升到 Frontis-MA1-35B 的 0.7647，使用 Evo-Max 后为 0.8126。71.21% 是模型与增强搜索共同得到的系统成绩，不能写成 Frontis-MA1 单模型成绩。 我们还在 NatureBench Lite 的 10 个科研任务上做了迁移测试。固定搜索框架，只把基座模型换成 Frontis-MA1，达到论文 SOTA 水平的任务数从 5 个增加到 7 个；固定模型，只把原框架换成 OpenMLE-Evo，则从 2 个增加到 5 个。十个任务还不足以下很大的结论，但至少说明模型和搜索框架没有完全依赖 Kaggle 式任务。 如果一个修改不能稳定测量，Agent 只能生成一段看起来像研究过程的文字。数据、隐藏测试、执行环境和资源限制共同决定什么叫 “变好”。Verifier 不是结果页上的最后一栏，它从一开始就在定义训练信号。 最终程序当然重要，但 AI4AI 更需要模型回答：看到当前程序和执行反馈后，下一步改哪里。Draft、Improve、Debug 和 Crossover 把这个问题变成了可训练的操作。我们在数据构建中保留中间步骤，也是出于这个原因。 保存完整历史很容易，决定下一步该看哪段历史更难。OpenMLE-Evo 的 Experience Card 和按操作检索并不追求记住一切，它们只服务两个决定：扩展哪个节点，生成代码时带入哪些证据。 Frontis-MA1 已经由程序演化产生的经验训练，并重新进入程序搜索。这比固定改进者的 Evolution 多走了一步。它还没有形成多代、自治的递归更新，所以我们把它放在 Meta-Evolution 层，并把 RSI 保留为目标。 OpenMLE 把这一步做成了可以运行、复现和拆开测量的系统。下一阶段的问题很明确：经过更新的改进者能否继续产生更好的训练经验，多轮更新后又会不会出现能力回退、奖励投机或方法趋同。OpenRSI 仓库将继续发布模型、数据、环境以及后续实验，供同行复现和继续往前做。