形式化验证也挡不住：AI 攻击下软件迁移慢于漏洞演化

jd_pressman 与 MIRI 的 Anna Salamon 指出，形式化验证和内存安全无法消除全部软件错误，AI 加速网络攻击后，漏洞利用窗口可能只剩几天。即使明天代码成本归零、不可破解版本覆盖全栈，组织也难以及时完成迁移，长期运行的旧栈因此构成重大攻击面，防御也将进入 24/7 状态。