NIST的一位高级科学家发表了一项数学证明，该证明建立在库尔特·哥德尔的工作之上，证明使用传统的安全模型无法使AI系统完全无懈可击。该证明表明，在使AI系统完全安全方面存在固有的局限性。 AI
影响 表明在AI系统的安全性方面存在根本性限制，可能影响未来的开发和部署策略。
排序理由 该集群讨论了一篇同行评审期刊的出版物和一项与AI安全相关的数学证明。[lever_c_demoted from research: ic=1 ai=1.0]
在 Mastodon — sigmoid.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
完整方法见我们的编辑标准。
Don't blame AI, blame Kurt Goedel "Try as we might, we can never render AI completely unassailable using conventional security models. In the peer-reviewed journal IEEE Security and Privacy, Apostol Vassilev, a senior scientist at the National Institute of Standards and Technolog…