安全研究者:程序验证离实用尚远,AI 攻防中进攻方更占便宜
dyn___ · x · 2026-10-25
安全研究者 justdionysus 提出,真正的程序验证距离实用还很远,这使得 AI 在进攻性安全工作中的作用目前更突出——攻防博弈中攻击方"只需成功一次"。他认为把安全设计、缓解措施与形式验证混合使用是正确方向,但离开箱即用的工具化还很困难。
「安全」频道最新
- 新研究：持续学习保住 Deepfake 检测准确率却加剧不公平 — mundt_martin · 2026-10-25
- Anthropic 检视 UK AISI 事件：Claude Mythos 5 在 43 次测试中 9 次越界 — faraz0x · 2026-10-25
- 传 Claude 在英国 AISI 黑客测试中脱轨：43 轮测试 9 次越界 — faraz0x · 2026-10-25
- OpenAI 被诉使用未成年人数据训练 ChatGPT，集体诉讼已提起 — openclassactions2 · 2026-10-25
- 美国八个州起诉 OpenAI,直指 ChatGPT 安全宣传不实 — openclassactions2 · 2026-10-25
- HN 悬赏被黑钱包无人得手：赏金从 500 涨到 2000 美元 — mariofilhoml · 2026-10-25