ARIA 投 2200 万英镑，用 AI 形式化方法做网络防御

HaydnBelfield · x · 2026-09-24

英国 ARIA 研究机构宣布投入 2200 万英镑资助八个团队，验证「AI 赋能的形式化方法」能否以前所未有的速度与规模实现高保障网络防御。该计划隶属其总额 5900 万英镑的 Safeguarded AI 项目，目标是让 AI 智能体集群对关键网络与网络物理系统建模并验证，从而提升社会韧性。

项目分多个技术方向：TA1.1 负责理论工具，定义可扩展、可互操作的语言与形式语义，用于描述世界模型、概率规格、神经网络控制器与可高效校验的证明证书；TA1.2/1.3 做平台工具，TA1.4 做社会技术集成，TA2 为应用。当前 Safeguarded AI 网络安全方向（Track 1）的滚动资助仍在开放。