> **微软用 AI 代理把 Copilot 运行时 43 万行 TypeScript 重写成 80 万行 Rust**,只花 12 万美元、一名工程师三周,提速 15.9 倍、内存降到十分之一。
深挖了两个反直觉点:
- 这个规模上 AI 不是疯狂吐代码,而是在做"迭代式调查",瓶颈从输出速度变成理解系统的能力
- **编译通过 ≠ 正确**,几十个回归暴露核心矛盾:生产被 AI 接管,但语义验收的责任前所未有地压回人身上
- 同期 Bun 用 Claude 把 53 万行 Zig 搬到 Rust,Zig 创始人却骂"没人审的垃圾",行业还没建立配套验收标准
结尾把换挡点说清楚:AI 编程从"能不能写代码"进入"能不能确认重写的旧系统依然正确"。