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 条相关)→
「安全」频道最新
- 2026 中期选举 41 项数据中心公投 40 项倒向反 AI 建设方 — Acceptable-Offer-518 · 2026-11-12
- 为 20 行小工具起容器太重:Redditor 推出可静态验证的 Safescript — uriwa · 2026-11-12
- Zvi 深析 Anthropic 新系统卡: autonomy 阈值争议成焦点 — Don't Worry About the Vase (Zvi) · 2026-11-12
- AI 梳理 42 场黄仁勋播客：出口管制批评在 2025 年 4 月后明显升级 — ShakeelHashim · 2026-11-12
- 20MW 以下小站点绕开监管大战,成数据中心新出路 — antavedissian · 2026-11-12
- Newsweek 撰文：美国应资助医院与高校用联邦学习共建 AI — Saul_Loveman · 2026-11-12