生成-验证
Generator → Verifier
One agent generates, another verifies.
这是当前 Survey 用来阅读 196 篇论文展示集的 working taxonomy,不是领域已定标准;每个回路都要继续追问 mutable object、feedback、verifier、retention 和 rollback。
可变对象:prompt · memory · skill · code · architecture · policy
Specification-to-Execution Loop
User specifies goals in natural language → system decomposes into sub-tasks → selects/configures ML pipelines → executes and evaluates → feeds results back.
Feeds into Search Loop and Evaluator Loop.
Ambiguous specifications lead to wrong pipeline selections.
AutoML-GPT achieves competitive results on tabular benchmarks.
The gap between "what you want" and "what runs" is the first evolution bottleneck.
Search Loop
Define search space → LLM proposes candidates → evaluator scores → select best → mutate/recombine → repeat.
Core of ADAS, OPRO, AlphaEvolve. Requires Evaluator Loop.
Search space too large → random walk. Too small → local optima.
OPRO discovers prompts outperforming human-designed ones. ADAS architectures transfer across tasks.
LLMs as search operators unlock combinatorial spaces that gradient methods cannot reach.
Evaluator Loop
Define tests/benchmarks → run candidate → score objectively → accept/reject → iterate.
Every other loop depends on this.
Benchmark contamination. Goodhart's law.
FunSearch discovered new algorithms verified by formal proof.
Without a reliable evaluator, self-improvement is indistinguishable from random walk.
Reflection Loop
Execute task → observe failure → generate reflection → store in memory → retrieve → revise strategy.
Feeds into Search Loop. Combines with Population Loop.
Reflection can be wrong. Memory grows without bound.
Reflexion: HumanEval 80→91%. Voyager: skill library compounds.
The reflection loop is where experience becomes reusable knowledge.
Population Loop
Initialize diverse population → evaluate → select top → mutate/crossover → archive elites → repeat.
AlphaEvolve combines with Evaluator and Search.
Premature convergence. Loss of diversity.
AlphaEvolve: 4×4 complex-valued matrix multiplication with 48 scalar multiplications after 56 years; scope is source-specific.
Population-level evolution discovers solutions no single trajectory can reach.
Generator → Verifier
One agent generates, another verifies.
Proposer ↔ Opponent → Judge
Two agents argue; judge decides.
Population → Selection → Mutation
Candidates compete; winners reproduce.
Worker → Reviewer → Approver
Multi-level quality gates.
| 方法族 | 论文数 | 代表方法 | 一句话洞察 |
|---|---|---|---|
| 提示词/搜索优化 | 68 (34.7%) | OPRO, EvoPrompting, Self-Refine, ACE | Largest family: LLMs rewriting their own instructions. |
| 奖励/强化学习/自博弈 | 51 (26.0%) | STaR, Self-Rewarding LM, RISE, Absolute Zero | Self-generated rewards eliminate human annotation bottlenecks. |
| 代码/自我修改 | 28 (14.3%) | ADAS, DGM, Godel Agent, AlphaEvolve | Code as the mutable substrate — agents rewrite their own source. |
| 多智能体反思/辩论 | 16 (8.2%) | Multi-Agent Debate, MAE, SPIRAL | Social pressure as selection mechanism. |
| 记忆/知识进化 | 16 (8.2%) | Voyager, ExPeL, Memory-R1, ReasoningBank | Accumulated experience becomes heritable skill libraries. |
| Web/工具/环境适配 | 13 (6.6%) | WebEvolver, RAGEN, SICA | Real-world environments as the ultimate fitness function. |
| 评估/安全/治理 | 4 (2.0%) | IterAlign, Constitutional AI | Smallest but most critical: guarding against misevolution. |