Blog / 博客Blog
关于 agentic AI systems 的研究笔记:科研任务环境、网页 Agent、长程执行、AutoResearch、RSI 与可验证的 harness 工程。 Research notes on agentic AI systems: scientific-task environments, web agents, long-horizon execution, AutoResearch, RSI, and verifiable harness engineering.
知识地图 / 推荐阅读顺序Knowledge Map / Recommended Reading Order
- Agent Research Environments:先问任务对什么工件、何种反馈和 verifier 负责,再把逐步拦截、提交、证据、reward 和最终接纳拆开。Agent research environments: first ask what artifact, feedback, and verifier a task holds an agent accountable for, then separate step interception, commitment, evidence, reward, and final acceptance.
- ClawBench / 网页 Agent:把 self-host 网站、Browser / Computer Use、受控提交拦截、证据轨与独立 verifier 合成一个可训练、可反驳的 RL 设计。ClawBench / web agents: combine self-hosted websites, Browser / Computer Use, controlled submission interception, evidence trails, and independent verifiers into a trainable, falsifiable RL design.
- 长程 Agent:把 long horizon 定义为可恢复的状态机——什么必须 checkpoint,怎样记录 active/wait/recovery 时间,如何在故障和安全退化下仍验证最终完成。Long-horizon agents: define long horizon as a recoverable state machine—what must be checkpointed, how to record active/wait/recovery time, and how completion stays verified under faults and safety degradation.
- AutoResearch:看开发搜索何时只是本地优化,以及候选冻结、独立接纳与复验怎样把结果变成可反驳的研究证据。AutoResearch: learn when development search is only local optimization, and how candidate freezing, independent acceptance, and reruns create falsifiable research evidence.
- RSI:用改进算子、选择、迁移与完整性四条曲线,检验一条 lineage 是否真的从受限优化升级到“改进改进者”。RSI: use improvement-operator, selection, transfer, and integrity curves to test whether a lineage really moves from bounded optimization to “improving the improver.”
- Harness 架构:真实 coding agents 怎样组织 loop、tools、skills、budget、sandbox 与训练轨迹。Harness architecture: how real coding agents organize loops, tools, skills, budgets, sandboxes, and training traces.
- LLM RL 基础:PPO / DPO / GRPO、reward、critic 与 verifiable reward。LLM RL foundations: PPO / DPO / GRPO, reward, critic, and verifiable rewards.
Agent Research Environments:到底在测什么Agent Research Environments: What Is Actually Being Measured?
一张测量地图:MLS-Bench、AutoLab、EdgeBench、Terminal-Bench、SForge、Harbor、Browser Use 与 Computer Use 分别在测什么,以及怎样把逐步拦截、提交、证据、reward 和最终接纳拆开。 A measurement map for MLS-Bench, AutoLab, EdgeBench, Terminal-Bench, SForge, Harbor, Browser Use, and Computer Use, including how to separate step interception, commitment, evidence, reward, and final acceptance.
网页 Agent 环境:把 Browser Use 变成可验证的 RLWeb-Agent Environments: Making Browser Use Verifiable for RL
一份设计说明:自托管站点、DOM/CDP 与 computer-use 接口、受控提交拦截、独立 evaluator,以及 PPO / GRPO 应如何被公平地比较。 A design note for self-hosted sites, DOM/CDP and computer-use interfaces, controlled submission interception, independent evaluators, and a fair PPO / GRPO comparison.
长程 Agent:状态、恢复、计划与可验证的数小时执行Long-Horizon Agents: State, Recovery, Planning, and Verifiable Hours-Long Execution
先区分 long task、单题大工程与科学 workflow,再将 long horizon 定义为可恢复的状态机:什么必须 checkpoint,怎样记录 active/wait/recovery/human 时间,如何在故障和安全退化下仍验证最终完成。 First separate long tasks, single-project challenges, and scientific workflows, then define long horizon as a recoverable state machine: what must be checkpointed, how to record active/wait/recovery/human time, and how completion remains verified under faults and safety degradation.
AutoResearch:把研究循环变成可证伪的系统AutoResearch: Turning a Research Loop into a Falsifiable System
AutoResearch 是方法论,不是里程碑。开发搜索、候选冻结、独立接纳与干净复验将本地刷分、可信研究循环和 RSI 分开。 AutoResearch is a methodology, not a milestone. Development search, candidate freezing, independent acceptance, and clean reruns separate local score chasing, credible research loops, and RSI.
RSI:条件性的理论,不是已达成的里程碑RSI: A Conditional Theory, Not an Achieved Milestone
从 Gödel Machine 到受限自我优化:用改进算子、选择、迁移与完整性四条曲线,检验一条 lineage 是否真的支持强 RSI。 From the Gödel Machine to bounded self-optimization: use improvement-operator, selection, transfer, and integrity curves to test whether one lineage supports strong RSI.
6 个 coding agent 到底怎么跑:harness 架构对比How 6 Coding Agents Actually Run: A Harness Architecture Comparison
深度拆解 hermes-agent、claw-code、codex、opencode、openclaw 和 pi:一次 turn 的控制流、Tools / Skills / Harness 分层,以及为什么 training-friendliness 是好的 harness design criterion。 A deep dive into hermes-agent, claw-code, codex, opencode, openclaw, and pi: one-turn control flow, the Tools / Skills / Harness stack, and why training-friendliness is a useful criterion for good harness design.
LLM RL 核心算法:PPO、DPO、GRPOCore LLM RL Algorithms: PPO, DPO, and GRPO
一张紧凑地图:PPO 对应经典 online RLHF,DPO 对应离线偏好优化,GRPO 对应可验证推理任务里的 critic-free RL。 A compact map: PPO for classic online RLHF, DPO for offline preference optimization, and GRPO for critic-free RL on verifiable reasoning tasks.