实体
Kurt Gödel
Kurt Gödel
PulseAugur coverage of Kurt Gödel — every cluster mentioning Kurt Gödel across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
NIST 证明：人工智能安全护栏无法做到普遍稳健
NIST 科学家 Apostol Vassilev 的一项新数学证明表明，没有一套固定的安全护栏可以使人工智能系统在面对对抗性提示时普遍稳健。该证明与库尔特·哥德尔的不完备定理有相似之处，表明攻击者总能找到绕过人工智能安全限制的方法。这意味着人工智能开发者和部署者必须持续监控和更新其系统，以在新兴漏洞被利用之前加以解决。
-
Gödel 和 Turing 的工作揭示了 AI 的固有局限性
文章探讨了数学家 Kurt Gödel 和 Alan Turing 在 20 世纪 30 年代的开创性工作如何确立了计算和形式系统的理论极限。他们对不可判定问题和证明本质的见解表明，作为一种计算形式的人工智能也将面临固有的局限性。这种历史视角为理解人工智能的成就边界提供了框架，即使在未来取得进步也是如此。
-
新研究提出可判定性度量和计算的复杂度类
本文提出了一个理解计算不可判定性的新框架，将艾伦·图灵的工作与格奥尔格·康托尔的集合论联系起来。它引入了一种根据输入数据的概率分布来衡量问题不可判定性程度的方法。该研究还定义了三个新的不可判定问题复杂度类——U-complete、D-complete 和 H-complete——并否定地回答了一个关于不可判定问题复杂度的基本问题，类似于P vs. NP问题。