No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees
对齐无证书:两个独立的不可行性与可实现安全保证的帕累托前沿
机构 * Independent Researcher(独立研究者)
专题命中 其他安全 :alignment(title,abstract);safety(title);分类 cs.LG
AI总结 本文通过两个独立的不可行性定理证明,在标准计算复杂性和学习理论假设下,对开放或无界输入域的AI对齐进行形式化认证是不可能的,并刻画了可实现的安全保证的帕累托前沿。