arXiv ID:
2604.04876
arXiv 提交日期: 2026-04-06
基于柯氏复杂度的AI安全验证的不完备性 / Incompleteness of AI Safety Verification via Kolmogorov Complexity
1️⃣ 一句话总结
这篇论文从信息论角度证明,任何有限的、形式化的AI安全验证器都存在一个根本性局限:当AI系统的行为复杂度超过某个阈值时,验证器将无法证明所有符合安全策略的实例,这揭示了安全验证存在独立于计算资源的固有极限。