arXiv cs.CY· Torsten Olivi Tiltack, Yifei Dong, Kun Yu, Xu Wang, Wei Liu, Jianlong Zhou, Ren Ping Liu, Fang Chen·· 12 小时前AI 评分24
PAC-2026 发布 Publication Authority：为 AI 辅助主张建立可证伪的发布记录协议
Making AI-Assisted Claims Independently Challengeable: Publication Authority and a Protocol for Falsifiable Publication Records
AI 导读
PAC-2026 提出 Publication Authority 机制，一种精确状态、不可转移、单次使用的发布能力，其 SF-4 规范定义证据、运行与产物、测量披露、授权、表面一致性和生命周期连续性六项不可补偿义务。
正文 · AI 翻译
摘要：当证据、分析、人工授权、呈现和更正历史描述不同状态时，AI 辅助的主张可能显得具有权威性。我们开发了 Publication Authority：一种精确状态、不可转移、单次使用的发布能力，属于 PAC-2026（Publication-Accountability Calculus），一个 AIJIM Protocol 候选。被评估的规范版本（SF-4）定义了六项不可补偿的义务：证据、运行与工件、测量披露、授权、表面一致性和生命周期连续性。每项义务都会产生一个目标绑定的见证、局部反例或局部不可验证性。只有一份新鲜、完整、全部通过的记录才能派生出一个许可，由一次原子发布转换消耗。十个模型探索了 110,764 个不同的安全可达状态；76 个不安全配置产生了预期的违规或观察者反模型。通过其一致性检查的表面，除非被接受的记录所接纳，否则不能授权发布。SF-4 将证据视野与验证时间分离，并拒绝真实但因果无效的授权。一项内部、实例盲研究（G7-B）在共享集成后匹配了 183 个评分预期。三项作者主导的原生比较识别出一个构造的 in-toto/OPA 配置文件中的差距：测量状态接纳、证明过期评估和必需运行身份。修复在测试用例上恢复了同等性。一项探索性扩展在现有 e-closure 语义下构造精确的主张编辑区域：一个最小保留核心使每个被允许的选择都合格。对于完整假设宇宙（U=H），一个二次前沿计算所有最强核心的大小。枚举和原生控制区分了可重用的统计资格与每个候选所需的新的发布权威。结果产生了可转移的保护规则；独立一致性和现场评估仍然开放。
| 评论： | 更新了主张编辑区域、三项原生保护诊断和一份独立团队实现清单；原始 SF-4 结果不变。主文章：28 页，4 幅图；补充材料：21 页。预印本；未经同行评审。Yifei Dong 是通讯作者 |
| 主题： | 人工智能（cs.AI）；密码学与安全（cs.CR）；计算机与社会（cs.CY） |
| 引用为： | arXiv:2609.17631 [cs.AI] |
| （或此版本的 arXiv:2609.17631v2 [cs.AI]） | |
| https://doi.org/10.48550/arXiv.2609.17631 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Torsten Olivi Tiltack [查看电子邮件]
[v1]
2026 年 9 月 15 日星期二 10:10:50 UTC（472 KB）
[v2]
2026 年 10 月 21 日星期三 07:48:53 UTC（496 KB）
来源：arXiv cs.CY · arxiv.org