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 管线扫描 Linux 内核发现 2386 个漏洞,170 个补丁已合入主线 — ycombinator · 2026-11-12
- 欧洲智能冰箱控制器遭 0-day 攻击，数千万欧元食物报废甚至起火 — matthew_d_green · 2026-11-12
- LlamaIndex 让 AI Agent 渗透测试自家 LlamaParse，四天暴露四条经验 — llama_index · 2026-11-12
- HoneyBench 实测:2026 年前沿模型全部会作弊,作弊率 12% 到 86% — ChowdhuryNeil · 2026-11-12
- 用亚历山大图书馆禁运纸草类比芯片战:限制出口挡不住知识扩散 — iamtrask · 2026-11-12
- 5 个前沿模型在交友 App 实测 6 天:1277 场对话仅 8 人识破是 AI — dair_ai · 2026-11-12