CANONIC: Governance Is Compilation
该论文介绍了 CANONIC,这是一个应用编译器理论原则为 AI 生成内容创建可审计证据账本的治理框架,其论点在于,虽然结构性准入无法从算法上过滤掉“内容注水(slop)”,但它能确保每一项主张都锚定于可验证的定义与提交记录,从而实现端到端的可复现性。
原始论文采用 CC BY 4.0 许可(http://creativecommons.org/licenses/by/4.0/)。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性,请参阅原始论文。 阅读完整免责声明
以下是对论文 CANONIC: Governance Is Compilation(治理即编译) 的解释,采用了通俗易懂的语言并辅以创意类比。
核心问题: “废料”洪流 (The "Slop" Flood)
想象一家工厂,它印制书籍的速度比任何人阅读的速度都要快。在 2025 年,这家工厂(AI)开始大量生产文本,从而引发了一个新问题:“废料”(Slop)。
“废料”不仅仅是糟糕的写作;它是指那些看起来完美、听起来聪明、读起来流畅,但与现实完全脱节的文本。它就像一位厨师,能在几秒钟内做出看起来极其诱人的美食,但食材其实是塑料做的。如果你吃了它,你会生病,但仅凭肉眼观察盘中的食物,你无法分辨它是真是假。
论文指出,我们无法通过雇佣更多人来读书(人工审核)或构建更好的谎言检测器(AI 检测)来解决这个问题。为什么?因为这些“假书”看起来和真书一模一样。工厂的速度太快了,而且这些“假货”也太具有迷惑性了。
解决方案: “编译器”闸门 (The "Compiler" Gate)
作者 Dexter Hadley 提出了一个激进的转变。与其试图判断一本书是否“真实”(这很难),不如判断这本书在“结构上是否有效”(这很容易)。
他称之为 “治理即编译”(Governance as Compilation)。
想象一下计算机程序。在程序运行之前,一个“编译器”会对其进行检查。编译器不会问:“这个程序能否解决世界难题?”或者“这段代码是否才华横溢?”它只会询问三个简单的、机械性的问题:
- 你使用的词汇是否存在于字典中?
- 你引用的文件是否确实存在于计算机上?
- 该文件是否在你声称所在的文件夹里?
如果其中任何一个答案为“否”,编译器就会报错 “Error” 并停止程序运行。无论代码多么精妙,只要结构破损,就会被拒绝。
CANONIC 将同样的逻辑应用于 AI 写作。它充当了文本的“编译器”。在任何 AI 生成的内容进入公共图书馆(“语料库”)之前,必须通过三道闸门。
三道闸门(“三位一体”) (The Three Gates / The "Triad")
要让一段文字通过 CANONIC 闸门,它必须像一个包含三个特定文件的特定类型文件夹一样进行构建。如果缺少任何一个文件,文本会被立即拒绝。
- 规则手册 (CANON.md): 这个文件规定了“关于这个特定主题的规则是什么”。它是法律。
- 词典 (VOCAB.md): 这个文件定义了规则手册中使用的每一个词。除非你在词典中进行了定义,否则你不能使用高级词汇。这能防止 AI 编造术语。
- 说明文档 (README.md): 这个文件解释了这个项目究竟是关于什么的。
类比: 想象你正在建造一座房子。
- 词典 是核准材料清单(例如,“砖块”指的是红粘土砖,而不是红色塑料)。
- 规则手册 规定:“每一面墙必须由‘砖块’构成。”
- 说明文档 则说:“这是一座房子。”
如果你尝试用“红色塑料”来造一面墙,却没在词典里定义“红色塑料”,检查员(编译器)就会阻止你。你不能只说:“相信我,这就是一面墙。”
“证据账本” (The "Evidence Ledger")
论文引入了第二个层面:账本 (The Ledger)。
文本中提出的每一个主张都必须关联到公共、不可篡改记录(类似于 Git 仓库)中的一个特定“提交”(commit,即文件的保存版本)。
- 主张: “患者病情好转。”
- 锚点: “参见账本中的提交记录 #12345。”
如果作者无法指向证明该主张的具体提交记录,该文本就会被拒绝。这就像一场法庭审判,你不能只说“我亲眼看见了”,你必须出示录像带。如果没有录像带,你的主张就无法进入记录。
CANONIC 能做什么(以及不能做什么)
这是论文中最重要的部分。作者对局限性非常诚实。
它能做到的:
它保证了 问责制 (Accountability)。
如果一段文本通过了闸门,你可以确定:
- 每个词都有定义。
- 每个主张都指向了特定的、不可篡改的证据。
- 规则得到了遵守。
它将“无法验证的散文”转变为“可检查的记录”。即使文本内容是错误的,它现在也是可追溯的。你可以查看证据,发现哪里出了错,并进行修复。
它不能做到的:
它并不保证 真实性 (Truth)。
论文进行了一项测试(基准测试),以观察该系统是否能过滤掉“废料”。结果令人惊讶:它失败了。
- 测试过程: 他们向系统输入了假新闻、真新闻以及极具欺骗性的 AI 生成谎言。
- 结果: 如果假新闻结构严谨(定义了词汇、拥有看起来真实的虚假证据、且有清晰的时间线),“编译器”闸门就会让假新闻通过。
- 教训: 机器可以检查一个句子在语法上是否有效以及是否被引用,但它无法检查这个句子是否“真实”。
类比:
想象一名银行保安。
- CANONIC 是检查身份证件的保安。如果你的证件是伪造的,但看起来完美无瑕、有照片且符合数据库格式,保安就会让你进入。保安确保你拥有“有效的身份证明”,而不是确保你是一个“好人”。
- 真实性 是由银行经理决定的。经理会观察这个人,然后判断:“等等,这个人对自己的银行余额撒谎了。”
论文认为,我们一直试图让算法(守卫)来决定谁在撒谎。论文说:停止这种尝试。 保安的工作只是检查证件。经理的工作才是判断故事是否真实。
“人在回路” (The "Human-in-the-Loop")
该系统的设计理念是:人类编写规则,AI 编写内容。
- 人类制定“宪法”(CANON.md 文件中的规则)。
- AI 生成文本。
- “编译器”检查 AI 是否遵守了规则。
- 如果 AI 试图修改规则,它会被拦截。只有人类可以修改宪法。
这创造了一个系统,使 AI 可以快速且富有创造力,但它无法破坏法律或掩盖其踪迹。
总结
论文得出结论:我们无法构建一种能够自动识别“废料”(虚假或无根据的 AI 文本)的算法,因为“废料”可以被制作得在结构上完美无缺。
相反,我们应该构建一个强制执行 问责制 的系统。
- 旧方式: “相信我,这个 AI 写了一篇真实的报道。”(难以验证)。
- 新方式 (CANONIC): “这是文章。这里是所用词汇的词典。这里是证据存在的精确文件。这里是它遵循的规则手册。你可以全部自行检查。”
该系统并不阻止谎言的产生;它只是确保如果谎言被说出,它会留下清晰、不可篡改的证据链,以便人类专家能够发现并揭露它。它将 AI 的“黑箱”变成了“玻璃箱”,让一切变得透明且可查。
您所在领域的论文太多了?
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要,使用您的语言。