Language / 语言

AutoResearch:把研究循环变成可证伪的系统

Jul 2026 · AutoResearch / Scientific Workflows / Evaluation Design

AutoResearch(自主研究系统)最值得研究的地方,不是它能否一夜之间“成为科学家”,而是它迫使我们把研究工作拆成一个可审计的闭环:提出改动、执行实验、读取由评测器产生的结果、保留或否决工件,再决定下一步。这个闭环很有用,但它本身既不是 benchmark,也不自动构成递归自我改进(RSI)。

本文的工作定义:只有在评测器、预算和可编辑面都被明确约束时,AutoResearch 才是一个可检验的主张。它首先是在说“系统会利用实验结果继续实验”,而不是在说“系统已经发现了普适科学规律”。

1. 先分清四件不同的事

名称 它是什么 它不自动证明什么
研究循环 提议、实现、运行、测量、据此修订的连续过程 新颖性、可迁移性或自主性
benchmark 任务分布、协议、计分规则与基线 一个具体 agent 或 harness 有效
智能体运行支架(harness) 工具、状态、权限、预算、沙箱、日志和评测钩子的执行系统 分数只由模型能力决定
RSI 系统改进的是未来仍会执行改进的 agent / policy / 工具 仅仅把外部训练脚本或某个目标函数刷得更好

Karpathy 的 autoresearch 是一个非常清爽的原型:agent 改动受限的训练脚本,准备与评估保持冻结,短训练给出指标,循环保留更好的候选。它说明了有边界的经验优化可以自主运行;它并不声称跨硬件分数可比,也不构成“通用科研能力”或 RSI 的证据。

2. 从“会改代码”到“能做研究”,中间缺什么

一个研究循环至少要能回答四个问题:

  1. 干预是什么? 哪些文件、超参数、工具调用或实验设计允许修改?
  2. 证据从哪里来? 是可见开发指标、隐藏验证器、物理约束,还是人工反馈?
  3. 什么被保留? 只保存最终最优工件,还是保存假设、失败实验和决策谱系?
  4. 如何防止局部刷分? 评测器是否冻结,胜出结果是否在保留种子、保留设置或独立运行时复验?

如果第四个问题没有答案,最诚实的名称通常是“对本地 harness 的优化”,而不是科研。一个更强的研究结论需要把评测代码、数据准备和隐藏测试放在 agent 不能写入的边界后面,并在预先声明的保留设置上重新运行。

证据边界:“连续迭代得到更高本地分数”只支持局部优化结论。它不推出发现具有新颖性、结果能跨任务迁移,或系统已经改进了自身的研究能力。

3. 同样叫“科研任务”,测量对象其实不同

系统 主要工件 主要反馈与指标 它最接近测什么
MLS-Bench 一个可迁移的 ML 组件 多设置证据与受限编辑协议 能否提出跨设置成立的 ML 方法
AutoLab 在预算内持续改善的代码 / 模型工件 本地评测与隐藏 verifier 的连续分数 长程的经验优化与坚持迭代
EdgeBench 在真实感工作区中逐步改善的工件 多级反馈与 best-so-far 曲线 agent 在环境中利用反馈学习的动态
Terminal-Bench Science 可完成的科学计算工作流 计划中的确定性 pytest 验证 可靠完成受程序验证的科学任务

这不是谁“更像科学”的排行榜。MLS-Bench 把算法轴钉住,要求改进跨设置成立;AutoLab 把墙钟预算和实证迭代放到中心;EdgeBench 关心至少 12 小时内反馈如何被转成更好的工件;Terminal-Bench Science 目前仍在建设,目标是可程序验证的自然科学工作流,不能当作已经发布的完整 benchmark 来引用。

4. 一个值得做的 AutoResearch 协议

我会把一个严肃的 AutoResearch 实验写成下面这张“研究卡”,而不是只公布一条漂亮轨迹:

字段 需要固定或公开的内容
任务与工件 问题、允许编辑面、提交产物和禁止修改的部分
预算 墙钟时间、GPU 小时、token、并发与重试规则
评测器 版本 / 哈希、可见与隐藏反馈的边界、失败如何计分
对照 单次尝试、随机搜索、无谱系循环、人工或现有强基线
复验 保留任务、保留随机种子、迁移设置与独立运行时
谱系 每次假设、改动、观测、采用 / 拒绝理由与工件指纹

其中最重要的是谱系消融:用相同模型、工具和预算移除历史实验记录。若优势消失,才有证据说明系统从实验历史中学习,而不只是碰巧采样到更好的候选。

5. 何时才可以说 RSI

RSI 的对象不是研究目标本身,而是执行下一轮研究的系统。比如,一个系统修改自己的工具选择、上下文策略、搜索程序或 agent policy,然后这些改变让之后在未参与选择的封闭任务上也更有效,才接近经验性的 RSI 证据。Darwin Gödel Machine 属于值得认真阅读的方向,但它的实证结果仍不是无界递归改进的证明。

因此我会采用保守的命名:

  • 改善外部工件:自动目标优化
  • 利用实验记录持续改进:AutoResearch / 自主研究循环
  • 改善执行后续循环的 agent 或 harness,并在封闭、偏移评测中保持增益:经验性的 RSI 证据

6. 接下来怎么看这组文章

  1. 环境文章:先看各类科研任务到底对什么工件、何种反馈和何种 verifier 负责。
  2. Agentic RL:再看训练时为什么必须保留真实 harness 的行为。
  3. RSI:最后看何时可以从“目标优化”升级到“改进改进者”的主张。

References

AutoResearch: Turning a Research Loop into a Falsifiable System

Jul 2026 · AutoResearch / Scientific Workflows / Evaluation Design

The interesting part of AutoResearch is not a claim that an agent has suddenly become a scientist. It is the discipline of turning research into an auditable loop: propose a change, run an experiment, read evaluator-owned evidence, retain or reject an artifact, and choose the next experiment. That loop is useful. By itself, however, it is neither a benchmark nor evidence of recursive self-improvement (RSI).

Working definition: AutoResearch becomes testable only when its evaluator, resource budget, and editable surface are explicit. Its first claim is that a system uses experimental outcomes to conduct later experiments, not that it has discovered general scientific laws.

1. Four Things That Must Stay Separate

Term What it is What it does not establish by itself
Research loop A continuing propose, implement, run, measure, and revise process Novelty, transfer, or autonomy
Benchmark A task distribution, protocol, scoring rule, and baselines A particular agent or harness works
Agent harness The execution system around the model: tools, state, permissions, budget, sandbox, logs, and evaluation hooks Scores are caused only by model capability
RSI The system improves the agent, policy, or tools that will perform later improvement Merely improving an external target or training script

Karpathy’s autoresearch is a clean prototype. The agent edits a constrained training script while preparation and evaluation stay frozen; short runs return a metric and the loop keeps better candidates. It demonstrates bounded empirical optimization. It does not claim cross-hardware comparability, general scientific competence, or RSI.

2. What Sits Between Code Editing and Research

A research loop needs answers to four questions:

  1. What is the intervention? Which files, hyperparameters, tool calls, or experimental designs may change?
  2. Where does evidence come from? Visible development metrics, a sealed verifier, physical constraints, or human feedback?
  3. What is retained? Only the final best artifact, or hypotheses, failed trials, and a decision lineage?
  4. How is local optimization ruled out? Is the evaluator frozen, and are selected results rerun on held-out seeds, settings, or an independent runtime?

Without the fourth answer, the honest label is usually “optimization of a local harness,” not research. A stronger claim puts evaluator code, data preparation, and hidden tests behind a write boundary, then reruns winners on preregistered held-out settings.

Evidence boundary: “Repeated iteration raised a local score” supports local optimization only. It does not entail novelty, transfer, or an improvement in the system's own research ability.

3. Scientific Tasks Can Measure Different Objects

System Main artifact Main feedback and metric Closest measurement target
MLS-Bench A transferable ML component Multi-setting evidence under a constrained edit protocol Whether an agent can propose an ML method that holds across settings
AutoLab A code or model artifact improved within budget Local evaluation and a sealed verifier’s continuous score Long-horizon empirical optimization and persistence
EdgeBench An artifact improved inside a realistic workspace Multi-level feedback and a best-so-far curve The dynamics of learning from environmental feedback
Terminal-Bench Science A completed scientific-computing workflow Planned deterministic pytest verification Reliable completion of programmatically verifiable science tasks

This is not a ranking of which system is “more scientific.” MLS-Bench fixes the algorithmic axis and asks for cross-setting evidence. AutoLab centers wall-clock budget and empirical iteration. EdgeBench studies how feedback becomes a better artifact over at least twelve hours. Terminal-Bench Science is still under construction; it should not be cited as a released, complete benchmark.

4. A Research Card Worth Publishing

I would report a serious AutoResearch experiment with this card, not a single attractive trajectory:

Field What must be fixed or published
Task and artifact Problem, editable surface, submission artifact, and write-protected components
Budget Wall-clock time, GPU-hours, tokens, concurrency, and retry rules
Evaluator Version or hash, visible versus hidden feedback, and failure scoring
Controls One-shot, random-search, no-lineage, human, or established baselines
Replication Held-out tasks, seeds, transfer settings, and an independent runtime
Lineage Each hypothesis, change, observation, retain/reject decision, and artifact fingerprint

The pivotal ablation removes experimental lineage while keeping model, tools, and budget fixed. Only when the advantage disappears is there evidence that the loop learned from its history rather than merely sampled a lucky candidate.

5. When RSI Is an Appropriate Claim

RSI concerns the system that performs the next round of research, not merely the current target. A system that changes its own tool selection, context policy, search program, or agent policy, then performs better on sealed tasks it did not select against, approaches empirical evidence for RSI. Darwin Gödel Machine is a serious direction to study; its experimental results are still not a proof of unbounded recursive improvement.

I therefore use deliberately conservative labels:

  • Improving an external artifact: automated target optimization.
  • Reusing experimental history to improve continuously: AutoResearch / autonomous research loop.
  • Improving the agent or harness that runs future loops, with gains preserved on sealed, shifted evaluations: empirical evidence for RSI.

6. Where to Go Next

  1. Environments: what artifacts, feedback, and verifiers different research tasks actually hold an agent accountable for.
  2. Agentic RL: why a training system must preserve the behavior of the real harness.
  3. RSI: when it is justified to move from optimizing a target to improving the improver.

References