研究者质疑「形式化验证」声明：同一版本里满是可利用漏洞
OwariDa · x · 2026-11-15
一位安全研究者（@sy1vi3，经 OwariDa 转发）吐槽：最近见到至少好几篇「我们已对某系统做了形式化验证」的帖子，但她自己就在其最新版本里发现过大量可利用的漏洞，不禁怀疑这些验证到底验证了什么。这反映 AI 安全领域「形式化验证」声明与实际漏洞现实之间的张力，值得对验证类安全声明保持审慎。
「安全」频道最新
- Linus Torvalds：AI 掀起的内核 bug 洪峰已过，系统反而更坚固 — IgorCarron · 2026-11-15
- 开源 Row-Bot 让 AI 操作电脑，靠六道锁防失控 — Acceptable-Object390 · 2026-11-15
- 向 AI 脑子里植入后门：复刻 Lazarus 木马注入全过程 — zibenmoka · 2026-11-15
- Claude Cowork 文件访问权限可信吗?Reddit 用户求解沙箱机制 — OriginalPosition1 · 2026-11-15
- 自主 AI Agent 安全事件频发,团队提出形式化验证监控方案 — Smooth_Profit4543 · 2026-11-15
- Jack Clark 敦促国会堵第三国芯片走私:含 3.9 亿美元新加坡转运 DeepSeek 案 — basedjensen · 2026-11-15