技术热点透视20260906:100 万行代码,AI 自己写完了
Bun 1.4 把运行时底层从 Zig 重写成 Rust,一次改动 +1,009,257 / −4,024 行、6,778 次提交、约 11 天、烧掉约 16.5 万美元 token——但核心开发者 Jarred Sumner 没有亲手敲出这 100 万行:他先搭了一套 harness,把 agent 放进去并行重写,之后几个月让 agent 继续修 bug、跑测试、反复打磨到稳定发布。同一天,Claude 用几乎一样的思路端到端形式化证明了费马大定理(约 1,300 万行 Lean、约 60 亿 token、约 11 天)。两件标杆性事件指向同一个判断:软件生产的单位,正在从「人写的一行行代码」变成「人设计的 harness + 被调度去执行的 agent」。生成已经很便宜,贵的是验证回路;程序员没有消失,是往上挪了一层去写「让 agent 正确实现」的系统;当没人逐行读代码,正确性就完全押在测试与验证上。