17:20
官方账号arXiv cs.AI@Orr Paradise, Oliver Richardson, Yoshua Bengio, Shafi Goldwasser
推荐理由：这篇论文给AI安全提供了新思路，用交互式PCP验证概率预测的自洽性，数学严谨，值得做安全对齐的人看看。
NP
共 1 条相关 AI 资讯
8月12日
17:20
该论文研究概率预测器回答多个条件概率查询时，其答案是否自洽以及能否在多项式时间内验证。作者构建了一个交互式PCP协议，验证器只需在少数点评估电路(P,Q)并读取证明预言机的少量位置，即可验证近似一致性。论文将显式概率声明的l2近似一致性置于NP中，证书长度为O(mn+log B)。该工作为AI安全中概率预测的自洽性认证提供了复杂性理论基础。