17:20
官方账号arXiv cs.AI@Orr Paradise, Oliver Richardson, Yoshua Bengio, Shafi Goldwasser
推荐理由：这篇论文给AI安全提供了新思路，用交互式PCP验证概率预测的自洽性，数学严谨，值得做安全对齐的人看看。
验证协议
共 2 条相关 AI 资讯
8月12日
17:20
该论文研究概率预测器回答多个条件概率查询时，其答案是否自洽以及能否在多项式时间内验证。作者构建了一个交互式PCP协议，验证器只需在少数点评估电路(P,Q)并读取证明预言机的少量位置，即可验证近似一致性。论文将显式概率声明的l2近似一致性置于NP中，证书长度为O(mn+log B)。该工作为AI安全中概率预测的自洽性认证提供了复杂性理论基础。
6月23日
10:24
10:24
官方一手arXiv: OpenAI@Moran Koren
推荐理由：这篇论文为你演示了如何用LLM做经济理论研究，重点不是让模型生成答案，而是设计验证流程来确保结果可靠，三种方法对比很清楚。