ARIA 投入 2200 万英镑资助 8 团队研发形式化验证的 LLM 服务基础设施
satnam6502 · x · 2026-09-24
英国 ARIA 研究机构宣布以 2200 万英镑资助 8 个团队，探索用 AI 驱动的形式化方法应对日益加速的 AI 网络攻击，让高保障网络防御以前所未有的速度与规模落地。
康奈尔的 Nate Foster 宣布参与其中，与帝国理工学院及 EPFL 的同事合作，方向是构建经形式化验证的 LLM 服务基础设施（formally verified LLM serving infrastructure）。
所属事件:英国 ARIA 投 2200 万英镑研发 AI 形式化网络防御(3 条相关)→
「安全」频道最新
- Gary Marcus 引黄仁勋言论再轰 OpenAI:接连隐瞒安全事件应关停实验室 — GaryMarcus · 2026-09-24
- 安全威慑靠刑责还是立法?美国 AI 监管思路交锋 — trevposts · 2026-09-24
- Anthropic 让外部评估者入驻办公，已有 AI 公司跟进 — victor_explore · 2026-09-24
- Wiz 联合 Gemini 扫描美国关键基础设施防 AI 攻击 — ralucaadapopa · 2026-09-24
- 研究员利用 Cloudflare Containers 漏洞读取其他租户磁盘残留数据 — matthew_d_green · 2026-09-24
- 安全研究员：HF 事件严重性约为澳洲医保黑客事件的 1000 倍 — S_OhEigeartaigh · 2026-09-24