Agentic 软件开发假说：完整规约让编码变得 trivial

Marc Brooker 提出 Agentic 软件开发假说，将 AI 辅助编程分为三个层次：弱形式——任何拥有完整规约的编码任务都将变得 trivial；强形式——任何拥有确定性 oracle 的任务都将变得 trivial；最强形式——任何拥有非对抗性 oracle 的任务都将变得 trivial。作者同时指出两个关键反驳：很少有有意义的任务具备完整规约，且大多数 oracle 并非确定性。

该假说本质上是在探讨 AI Agent 在软件开发中的能力边界，即规约的完备性与 oracle 的确定性决定了 Agent 能否可靠完成任务。