跨国深谈← 返回←验证器 (verifier)

集里怎么说它

• 《TESL 智能体：让你的编码智能体自己越用越好》(12:18起):本集说验证器是从仓库已有技能和规则中拆出来的非常小、非常快、非常便宜的 LLM 检查规则，像 lint 一样对每个变更跑，专门抓智能体’说了但没做到’的违规
• 《Claude 异步智能体架构的四块基石》(07:11起):本集把它说成:从同一上下文中分离出来、专门在独立上下文中审查和打分的机制,配合构建智能体形成循环,是长程异步任务的通用原语。
• 《Tesla 的暗工厂：65% 的 PR 由智能体自动产出，95% 的代码没人看过》(25:56起):本集说验证器是自然语言单句陈述，能对特定代码片段给出是/否布尔判断，由 LLM 充当裁判；是三层验证塔的中间层，可从代码审查评论中自动晋升生成
• 《RL 环境:让模型学会用你电脑上所有工具的数据生意》(03:27起):本集说验证器可以是评分细则或单元测试,构建难点在于理解完整问题空间;数据质量一半取决于验证器的准确性,靠轨迹分析保证打分与人类排名一致。
• 《Lindy 创始人谈 AI 员工的上下文战争：从红黑树到”走去洗车”》(24:05起):LLM 作为裁判在任务执行中多次触发，最朴素版本就一句「你确定吗？」就能显著提升准确率；做成模块化联邦架构，确定性检查用正则
• 《别指望 AI 一次做对:一位首席工程师的协作心法》(19:30起):本集说每个验证器只查一件事、在文件上确定性触发、跑得很短,合起来的代码审查结果好得多也快得多。
• 《从技能到循环再到工厂:软件工厂实战路线图》(26:59起):本集说它从技能自动生成非常聚焦、高准确率、快且便宜的 LM as judge 工具，跑进 CI 给技能补上「执行强制」的那一半，即「信任但验证」

① 提到它的金句

2 条

如果我有一个非常非常好的生成器验证器，那它本身就是我的生成器了。
If I had a really, really good generator, verifier, then that would just be my generator itself.
—— Chaitanya Asawa · [16:08]

指向原始笔记的链接

在她谈论这件事的文章里，她讲清楚了模型为什么在生成代码上进步得这么快——因为编译器是一个免费的验证器。
In the essay where she was talking about this, she made clear why models got so good so fast at generating code, and that is because a compiler is a free verifier.
—— Laurie Voss · [09:36]

指向原始笔记的链接

② 出现在这些集

7 集

• 《TESL 智能体：让你的编码智能体自己越用越好》 — 作为概念
• 《Claude 异步智能体架构的四块基石》 — 作为概念
• 《Tesla 的暗工厂：65% 的 PR 由智能体自动产出，95% 的代码没人看过》 — 作为概念
• 《RL 环境:让模型学会用你电脑上所有工具的数据生意》 — 作为概念
• 《Lindy 创始人谈 AI 员工的上下文战争：从红黑树到”走去洗车”》 — 作为概念
• 《别指望 AI 一次做对:一位首席工程师的协作心法》 — 作为概念
• 《从技能到循环再到工厂:软件工厂实战路线图》 — 作为概念

③ 关联

点进去有真内容 —— 本页主要出口

智能体 · 沙箱 · Simon Maple · Anthropic · TESL · 技能 · 软件工厂 · Guy Fajani · Claude · 上下文