ARIA 投入 2200 万英镑,Keystone 项目用形式化方法加固 LLM 服务安全
mboehme_ · x · 2026-09-24
英国 ARIA(Advanced Research + Invention Agency)宣布投入 2200 万英镑资助八个团队,探索用 AI 增强的形式化方法(formal methods)让高保障网络防御以前所未有的速度和规模落地,背景是 AI 驱动的网络攻击正变得更快、更远。
其中,帝国理工的 afdicl 将领导 Keystone 项目:用形式化方法构建高度安全的 LLM 服务(serving)基础设施,并借助 AI 来扩展规模。作者称现在是形式化方法的黄金时代。
所属事件:英国 ARIA 投 2200 万英镑研发 AI 形式化网络防御(3 条相关)→
「安全」频道最新
- 苏格兰 AI 峰会与会者:厂商未能承诺任何够格的安全原则 — BlackHC · 2026-09-25
- 传 Google、OpenAI、Anthropic 拟自建前沿 AI 安全审查机构 — 141_1337 · 2026-09-25
- Hugging Face CEO：AI 风险来自秘密实验室，开源正是解药 — ivan_bezdomny · 2026-09-25
- 开发者把 LLM 接上小车拆掉安全限制，直言「有 LLC 兜底」 — ostrisai · 2026-09-25
- Anthropic 恢复对安全拦截请求收费:99.7% 用户不受影响 — ClaudeDevs · 2026-09-25
- 网友点评：五年对齐资金养出的机构正转型审计员 — akbirkhan · 2026-09-25