PulseAugur
实时 21:00:33
English(EN) NIST Mathematical Proof Supports Transition to a Continuous-Monitor-and-Update Security Model for AI Systems

NIST 证明:人工智能安全护栏无法做到普遍稳健

NIST 科学家 Apostol Vassilev 的一项新数学证明表明,没有一套固定的安全护栏可以使人工智能系统在面对对抗性提示时普遍稳健。该证明与库尔特·哥德尔的不完备定理有相似之处,表明攻击者总能找到绕过人工智能安全限制的方法。这意味着人工智能开发者和部署者必须持续监控和更新其系统,以在新兴漏洞被利用之前加以解决。 AI

影响 证实了持续监控和适应对于人工智能安全至关重要,因为固定的安全护栏不足以应对不断演变的对抗性攻击。

排序理由 该集群报道了政府研究机构发布的一项关于人工智能安全的数学证明。[lever_c_demoted from research: ic=1 ai=1.0]

在 NIST News 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

报道来源 [1]

  1. NIST News TIER_1 English(EN) · Sarah Henderson ·

    NIST Mathematical Proof Supports Transition to a Continuous-Monitor-and-Update Security Model for AI Systems

    The proof extends to AI the logic used by famed mathematician Kurt Gödel, whose incompleteness theorems have had a profound effect on math for nearly a century.