面向证明的工程：给 agent 定目标前，先解决「我知道好的样子」难题

gregmushen · x · 2026-09-25

作者提出「Proof-Oriented Engineering（面向证明的工程）」：现代 agent harness 的卖点是设定目标后让它自己跑几小时完成一切，但难点在于如何把「什么叫做好」讲清楚。他借用 1964 年美国大法官定义淫秽物品时的名言「我看到了才知道」来说明问题——大量验收标准本质上无法被清晰 articulation。

这正是 LLM 的乐趣与挫败所在：当你把要求表达得足够清楚时，agent 是魔法；表达模糊时就会跑偏。文章探讨的方向是围绕「可证明的验收标准」来组织 agent 工程工作流。