开发者类比：Agent 代码治理就像让人类充当 PCP 验证器
willcb · x · 2026-09-06
willcb 在其「大规模 Agent 写代码、人类快速抽查验证」观点的后续中进一步类比：我们实际上发明了「平均情况 NP 预言机」，而治理要求人类成为 PCP（概率可检验证明）验证器——即不逐行审读全部代码，只对可检验证明做局部抽查来确认行为正确。
「编程与Agent」频道最新
- 人类审批是企业 AI 最大瓶颈:把人挪到策略与审计环节 — krishnan · 2026-09-06
- 70MB Rust 无头浏览器 Obscura 85ms 加载页面,仅占 30MB 内存 — Roger_M_Taylor · 2026-09-06
- 一份 3D 网页项目性能优化清单：物理与渲染分离提速 — bennash · 2026-09-06
- 观点：Twitter 架构是 agent 时代最好的思维工具 — generativist · 2026-09-06
- Wes Roth 实测 Astra:12.5 小时跑完一个可玩的 3D 世界 — Wes Roth · 2026-09-06
- 网友实测 GPT-6 Astra 实时操控 Onshape,口述指令自动建 CAD 机器人 — dreamwieber · 2026-09-06