Formal verification 也挡不住：AI 攻击节奏下软件迁移慢于漏洞演化
jd_pressman · x · 2026-10-24
jdpressman 与 MIRI 的 Anna Salamon 讨论指向 AI 时代的安全困境：即便形式化验证、内存安全等技术普及，也无法覆盖全部软件错误，实现不了“完美安全”。
- AI 加速了网络攻击节奏，攻击者能更快、更大规模地行动，漏洞被利用的后果随之放大，防御进入 24/7 状态。
- 作者的关键论点：就算明天代码成本归零、全栈都有“不可破解”版本，很多组织也不会在合理时间内迁移过去——而从 AI 漏洞的视角看，“合理时间”可能只有几天。
这组讨论把 AI 安全风险从模型对齐延伸到存量软件生态的迁移惯性，指出旧栈长期在线本身就是重大攻击面。
所属事件:研究者警告：AI 时代攻击提速，完美安全与全天候响应难两全(3 条相关)→
「漫话AGI」频道最新
- AI 设计电机原形亮相：仿真加 3D 打印要造「物质编译器」 — TinfoilTricorn · 2026-10-24
- 顶级研究员自述：没时间做科研又顾健康和家庭，恐难成杰出学者 — anshulkundaje · 2026-10-24
- 物理学家 David Deutsch：具身与意识无关，「我是计算机程序」 — burny_tech · 2026-10-24
- 网友反击 AI 末日论者:嘲笑网络安全风险的人才是真干扰 — AlexTensor · 2026-10-24
- Anthropic 高管称「我们早就警告过世界」,遭网友嘲讽伪善 — AlexTensor · 2026-10-24
- 一张图讲透企业 AI 转型：缺了数据、流程、培训、变革四根桩 — kuanhoong · 2026-10-24