ARIA 资助八团队验证 AI 形式化方法，另设 6000 万英镑机器人运动项目
j_foerst · x · 2026-10-29
英国研发资助机构 ARIA 发布 10 月月报：宣布资助八个团队在真实系统中测试 AI 赋能的形式化方法（formal methods），目标是帮助证明软件安全性；同时推出新的 6000 万英镑 Robot Locomotion（机器人运动）项目，并披露 Creator 系列故事与各项资助机会。
「安全」频道最新
- 安全研究员自嘲翻车：声称公共 WiFi 安全，随即遭证书厂商打脸 — matthew_d_green · 2026-10-30
- 传印度金融 KYC 数据大规模泄露，CERT-In 演习表态遭讽刺 — kingslyj · 2026-10-30
- 架空 1865：蒸汽 AI 代理降临，英国议会立《红领带法案》限速 — azmackay · 2026-10-30
- 加拿大政府宣布入股 Cohere，推进主权 AI 战略 — cohere · 2026-10-30
- 关键州民调：七成选民支持 AI 安全监管，即使损害美国竞争力 — Miles_Brundage · 2026-10-30
- XBOW 公开 AI 发现的 EAC 应用 RCE 细节,含推理与验证全过程 — moyix · 2026-10-30