图灵研究所论文：IMO 自主船舶法规存在安全论证缺口
turinginst · x · 2026-11-12
图灵研究所（与劳氏船级社基金会合作）发布新论文，探讨 IMO《MASS Code》（自主船舶规则）中的「安全论证缺口」：如何证明一艘自主船舶是安全的，现行框架尚无法给出可演示、一致且可审计的答案。论文主张建立一个共享框架，使自主船舶的安全性可被系统性地论证与核查。
「安全」频道最新
- 安全研究员实测:多数 AI agent 沙箱形同虚设,连防火墙都没实现 — wavefnx · 2026-11-12
- 研究者称已用开源源码复现 Telegram iOS 完整 RCE 利用链 — OwariDa · 2026-11-12
- DeepMind 联创:AI 护栏人人都在谈，但没人知道它是什么 — ghadfield · 2026-11-12
- 曝英伟达董事会曾讨论罢免黄仁勋;开源模型已被用于复现 Firefox 漏洞攻击 — LeviTurk · 2026-11-12
- 白帽曝光 6.6TiB 公开存储桶漏洞，仅获 55 美元赏金 — kingslyj · 2026-11-12
- 英国教育监管机构：AI 让大学课业评估「几乎不可能」 — bookofjoe · 2026-11-12