Three Primitives — Formal Records Archive

Three Primitives是一个正式的数学框架，证明了AI不能治理AI。该框架的核心结果是：在任何自动化决策系统中，从检测到行动的映射是非唯一的，这意味着没有系统可以在没有明确的人类权威声明的情况下合法地选择一个行动。这是一个结构性证明，而不是政策论据。

Three Primitives is a formal mathematical framework that proves AI cannot govern AI. The core result of this framework is that the mapping from detection to action is non-unique in any automated decision-making system, which means that no system can legitimately select an action without explicit human authority declarations. This is a structural proof rather than a policy argument.

原始信息汇总

数据集详情概述

数据集名称

Three Primitives — Formal Records Archive（三个原语——正式记录档案）

数据集状态

所有正式记录（FR1–FR13）均已发布，所有记录处于活跃状态。

数据集核心内容

该数据集是一个形式化数学框架，核心结论是：AI无法治理AI。该框架证明了从检测到行动的映射在任何自动化决策系统中都是非唯一的，因此任何系统都无法在没有明确人类权威声明的情况下合法选择行动。这是一个结构性证明，而非政策论点。

数据集创建者

• Pyrate Ruby Passell（首席开发者）
• Stacy Gildenston（首席架构师）
• 通过 3primitives.io 运营

数据记录列表

基础部分

记录编号	标题	版本	DOI
FR1	Three Primitives — Canonical Logic Sequence	v2.2	10.5281/zenodo.18073297
FR2	AI Cannot Govern AI: A Formal Proof of Structural Openness in Intelligent Systems	v2.3	10.5281/zenodo.19970642
FR3	ADCI Closure Theorem	v2.2	10.5281/zenodo.19970911

结构引理

记录编号	标题	版本	DOI
FR4	The Adjacency Lemma: The Interface-Authority Boundary	v2.3	10.5281/zenodo.19971348
FR5	Lemma C — Ghost Authority Lemma	v2.3	10.5281/zenodo.19972543

闭合结果

记录编号	标题	版本	DOI
FR6	The Law of Declared Authority	v2.3	10.5281/zenodo.19973195
FR7	Bell Non-Closure and the Law of Declared Authority	v2.2	10.5281/zenodo.19973546
FR8	Twisted Pair Legitimacy Theorem	v2.2	10.5281/zenodo.19973784

衍生部分

记录编号	标题	版本	DOI
FR9	AGI as a Decision-Complete System	v2.2	10.5281/zenodo.19970593

稳定性与对应关系

记录编号	标题	版本	DOI
FR10	Primitive Stability Theorem	v1.3	10.5281/zenodo.20000176
FR11	The GBSH Correspondence	v1.8	10.5281/zenodo.20000699
FR12	The Forced Bijection	v1.4	10.5281/zenodo.20001096

耦合部分

记录编号	标题	版本	DOI
FR13	The ILMM Coupling Theorem	v1.5	10.5281/zenodo.20001376

人类架构

记录编号	标题	版本
ILMM	Inclusive Lifelong Multistakeholder Model	v3.0

出处档案（原始Zenodo存储）

• /zenodo-originals/ 文件夹包含前九个正式记录（FR1–FR9）的原始版本，自2025年12月至2026年2月期间存入Zenodo，文件未被修改。
• PDF元数据中嵌入了原始创建日期，作为发现的证据记录。

PDF创建日期（出处验证）

记录	标题	创建日期
FR1	Canonical Logic Sequence	2025年12月28日
FR2	AI Cannot Govern AI	2026年1月10日
FR3	ADCI Closure Theorem	2026年2月12日
FR4	Adjacency Lemma	2026年1月10日
FR5	Ghost Authority Lemma	2026年1月16日
FR6	Law of Declared Authority	2026年1月18日
FR7	Bell Non-Closure	2026年2月25日
FR8	Twisted Pair Legitimacy Theorem	2026年2月12日
FR9	AGI as Decision-Complete System	2026年1月8日

版本说明

• FR1–FR9：原始存入时间2025年12月至2026年2月，内容未更改。
• FR10–FR12：最初于2026年4月发布在3primitives.io，2026年5月上传至Zenodo，内容未更改。
• FR13：首次发布于2026年5月2日。

许可协议

所有正式记录采用 CC BY 4.0 许可。

访问方式

• 所有记录可通过 3primitives.io/formal_records 下载当前版本和ZIP压缩包。
• PDF元数据可通过 pdfinfo、exiftool 或任何PDF元数据查看器独立验证。

联系方式

• Stacy Gildenston & Pyrate Ruby Passell：[e-mail]
• 网站：https://3primitives.io

搜集汇总

数据集介绍

构建方式

该数据集以形式化数学框架'三元基始'为核心，系统收录了从FR1至FR13共十三份正式记录，每份记录均以PDF格式发布并分配独立DOI，存储于Zenodo平台以实现长期可追溯性。构建过程严格遵循学术出版规范，所有原始文件自2025年12月至2026年5月间分批次完成初次沉积，其中FR1至FR9于Zenodo账号恢复后原封不动重新上传，确保了内容与时间戳的绝对一致性。数据集还专门保留了原始沉积文件夹，内含未修改的PDF文件及其元数据中的创建日期，构成无可争议的发现证据链。

使用方法

用户可通过数据集官方网站访问完整的PDF文件与元数据，也可直接利用每个记录对应的DOI链接从Zenodo平台下载特定版本。为了验证文件的原始性与创建时间，建议使用PDF元数据查看工具如exiftool或pdfinfo检查内部日期字段，而非依赖文件系统时间戳。所有记录均采用CC BY 4.0许可协议，允许自由共享与演绎，只需注明出处。数据集还提供了与作者联系的邮箱及官方网站，便于深入探讨或获取更广泛的理论资料。

背景与挑战

背景概述

Three Primitives — Formal Records Archive 数据集由 Pyrate Ruby Passell 与 Stacy Gildenston 于2025年底至2026年初创建，隶属于 3primitives.io 研究项目。该数据集旨在通过严谨的数学框架，证明“人工智能无法自主治理人工智能”这一核心命题，即任何自动化决策系统中的检测到行动映射均非唯一，从而系统无法在不依赖明确人类权威声明的情况下合法选择行动。数据集包含共计13份正式记录（FR1–FR13），涵盖规范逻辑序列、邻接引理、幽灵权威引理等结构性定理，已通过 Zenodo 平台以数字对象标识符（DOI）发布，并为研究社区提供了可验证的元数据时间戳以确认发现优先权。该数据集对人工智能治理、形式化验证及人机权威分配领域具有奠基性影响，挑战了当前自主智能系统自我监督的可行性基础。

当前挑战

该数据集面临的挑战主要体现在两方面。其一，在领域问题层面，它直接挑战了当前人工智能治理中“AI可自我监管”的主流假设，试图通过结构性证明揭示自动化决策系统中权威缺位的固有风险，这要求克服现有技术范式中对自主系统闭环可靠性的过度信任，并推动学界重新审视人类权威在决策链路中的不可替代性。其二，在构建过程中，数据集的创建遭遇了平台层面的障碍，例如 Zenodo 账户因自动垃圾邮件过滤器被意外中断访问，虽经 CERN 支持团队协助恢复（工单号 #3319104），但该事件暴露了学术数据集存档在自动化审核机制下的脆弱性。此外，确保13份正式记录在版本迭代中的内容不变性与时间戳的独立可验证性，亦构成了技术和管理上的双重挑战。

常用场景

经典使用场景

在人工智能治理与自主决策系统研究领域，Three Primitives — Formal Records Archive 数据集被广泛用于验证与复现无人系统合法性边界的数学证明。其核心应用场景聚焦于分析'检测到行动'这一映射过程的非唯一性，进而论证任何自动化系统若无显式的人类权威声明，其行为选择在结构上便不具备合法性。研究人员常通过该数据集中的形式化逻辑序列（FR1）和核心证明（FR2）作为理论基石，构建可量化评估的决策完整性框架。

解决学术问题

该数据集系统性地回应了人工智能领域一个长期悬而未决的学术难题：自主系统能否在无人类介入的情况下实现自我治理？通过形式化证明，它揭示了'AI 无法治理 AI'这一结构性开放定理，并提出了幽灵权威引理（FR5）与声明权威法则（FR6），从根本上解决了封闭决策系统内部权力归属的合法性问题。这些研究成果不仅确立了算法透明度与问责制的形式化边界，更推动了认知科学、控制论与政治哲学在智能系统设计中的交叉融合。

实际应用

在实际应用中，该数据集所衍生的形式化约束正被纳入高风险自动化系统的合规性审计流程，例如自动驾驶的事故责任分配模块、金融交易系统中的自动风控决策链，以及医疗诊断中的人机协同协议。企业架构师依据 ILMM 耦合定理（FR13）与 Twisted Pair 合法性定理（FR8）设计接口—权威分离机制，确保关键系统在关闭或异常状态下仍能回溯至人类授权节点，从而满足 GDPR 与欧盟 AI 法案对可解释性与人类监督的硬性要求。

数据集最近研究

最新研究方向

该数据集围绕'AI无法治理AI'这一形式化证明展开，聚焦于自动化决策系统中检测到行动映射的非唯一性结构问题。当前前沿研究方向包括通过邻接引理、幽灵权威引理等结构引理，深入剖析界面与权威边界、隐含权威的生成机制，并在此基础上发展出声明权威定律、贝尔非封闭性定理等闭合结果。进一步地，研究者借助原始稳定性定理、GBSH对应关系以及强制双射等工具，探索智能系统中权威声明的稳定性与结构对应性。最新进展如ILMM耦合定理，将多利益相关者模型与形式化权威框架耦合，为构建人类主导的AI治理架构提供了可验证的数学基础。该工作的核心意义在于，它从数学结构上根本性地否定了AI系统自洽治理的可能性，为当前全球AI监管热潮中关于'人类始终在环'的争论提供了严密的逻辑支撑，并推动了一种以形式化权威声明为基础的、可溯源的人类决策基础设施的建立。