Matt Pocock × Lauren Tan：从验证 Skill 到软件工厂（完整中文译配·完整版）

原始访谈：Matt Pocock 与 Lauren Tan 对谈

这是原访谈的完整中文译配，不是摘要，也不替换此前发布的解读版。从领域专长、米其林厨房比喻与验证 Skill 出发，连接确定性工具、工程环境、协调智能体、缓冲队列、抽样审查、黑灯工厂以及高风险领域的可验证性边界。

00:00 从亲手盯一个智能体到信任阶梯

04:48 领域专长、语言与压缩后的意图

08:39 为什么是米其林厨房，而不只是软件工厂

11:25 验证为何是智能体时代的关键基础设施

14:34 把确定性工作收进工具与约束

19:07 工程师的新工作：打磨环境

24:12 连接内外循环，规模才真正出现

29:25 Grokbot、Cursor Projects 与协调智能体

33:09 园艺、例程与缓冲队列

35:46 抽样审查与会在夜里工作的黑灯工厂

40:45 单向门、高风险领域与可验证性边界

43:27 Skill 是可以混合、磨利并带走的刀

声音说明：Matt 与 Lauren 均为 AI 中文译配声，不是本人原声；英文依据 YouTube 自动字幕整理。