AI 的价值在于辅助编码（Pair Programmer），而非完全替代；试图用规范消除编码工作注定失败。
- 规范 ≠ 代码的简化版 — 足够详细的规范本质上就是代码（或伪代码）
- 以 OpenAI Symphony 为例 — 其 SPEC.md 长达 2000+ 行，包含数据库模式、算法伪代码、甚至直接是代码
- 实践验证失败 — 作者用 Claude Code 按规范实现 Haskell 版本，结果 Bug 频出且无法正常工作
- 引用 Dijkstra — 历史上希腊数学和阿拉伯代数因坚持使用文字描述而陷入困境，直到形式化符号体系出现才突破
- 博尔赫斯寓言 — 如果地图和领土一样大，地图就毫无用处；规范如果和代码一样详细，也就失去了意义