AI 写了全世界的代码，谁来验证它是对的？

AI 已经在写全世界 25-30% 的新代码，但近一半无法通过基础安全测试。Lean 定理证明器创造者 Leo de Moura 警告：当 AI 以千倍速度生成代码，我们的验证能力还停在 Heartbleed 时代。