AI 可能在一两年内把沙箱里的验证安全变成现实
geoffreyirving · x · 2026-07-24
这条回复进一步强调：AI 辅助可能会让基于验证的安全真正落地。
它的判断是，过去那些“理论上可行、但成本高到几乎做不了”的安全方案，可能在 一两年内就能在半验证操作系统和沙箱里实现；这一点与近期“安全能力很强的模型仍然会逃出沙箱”的担忧是连在一起的。
所属事件:Anthropic 等探讨 AI 辅助安全验证的落地前景(3 条相关)→
「安全」频道最新
- 限制模型做逆向工程和漏洞研究，惩罚的恰恰是守规矩的白帽 — mark_k · 2026-10-27
- 程序员警告:模型「消融版」将冲击软件供应链,千级依赖无人设防 — nitarshan · 2026-10-27
- 摩根大通 CEO：Anthropic 模型上线后我行网络风险暴增 10 倍 — ChuckDBrooks · 2026-10-27
- Hugging Face 遭入侵调查受阻：商用 API 护栏挡住防御者 — nathanbenaich · 2026-10-27
- AI 把漏洞补丁窗口压到几小时：先断网备份再谈安全 — aakashgupta · 2026-10-26
- 开发者实测自建 Agent 守门程序:72 次攻击全部拦截零漏网 — Fun-Government-8007 · 2026-10-26