英国 ARIA 投 2200 万英镑研发 AI 形式化网络防御

英国先进研究与发明局（ARIA）宣布投入 2200 万英镑资助 8 个团队，探索用 AI 增强的形式化方法实现高保障网络防御，以应对日益加速的 AI 网络攻击。该计划隶属其总额 5900 万英镑的 Keystone 项目，研究方向包括用形式化验证加固 LLM 服务的安全基础设施，康奈尔等团队参与其中，目标是让此类防御以前所未有的速度与规模落地。

2026-09-24 ~ 2026-09-24 · 3 条相关

• ARIA 投 2200 万英镑，用 AI 形式化方法做网络防御 — HaydnBelfield · 2026-09-24
• ARIA 投入 2200 万英镑资助 8 团队研发形式化验证的 LLM 服务基础设施 — satnam6502 · 2026-09-24
• ARIA 投入 2200 万英镑,Keystone 项目用形式化方法加固 LLM 服务安全 — mboehme_ · 2026-09-24