AI编程代理可自我重构,规范即代码的稳定核心
Bootstrapping Coding Agents: The Specification Is the Program
- 用926字规范+初始实现,生成新代理从头复现功能
- 实现完全正确,验证了编程代理的自举与元循环特性
- 适合关注代码稳定性与可迭代开发的研究者
一个编程代理可实现自我重构。基于一份926字的规范和由现有代理(Claude Code)生成的首个实现,新生成的代理能够从零开始正确重写同一份规范。这在人工智能编程代理领域重现了经典编译器构建中的自举过程,并实现了源自Lisp的元循环特性。该结果具有实际意义:规范而非实现,才是应长期保留的稳定产物。改进代理的本质是改进其规范;实现原则上可在任何时候重新生成。
原文摘要 · Abstract (English)
A coding agent can bootstrap itself. Starting from a 926-word specification and a first implementation produced by an existing agent (Claude Code), a newly generated agent re-implements the same specification correctly from scratch. This reproduces, in the domain of AI coding agents, the classical bootstrap sequence known from compiler construction, and instantiates the meta-circular property known from Lisp. The result carries a practical implication: the specification, not the implementation, is the stable artifact of record. Improving an agent means improving its specification; the implementation is, in principle, regenerable at any time.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。