HV 超维语义代数
AxonCog 的核心数学基础:10048 维闭合代数系统,架构层面消除幻觉
HV 语义张量定义
HV 语义张量是 AxonCog 底座的核心数据结构,是连接"感知-思考-行动"的唯一桥梁。
1pub const VSA_DIM: usize = 10048;2pub const VSA_U64_COUNT: usize = VSA_DIM / 64; // = 157; 34pub struct VSATensor {5 bits: [u64; VSA_U64_COUNT],6}78pub struct HvVector {9 tensor: VSATensor,10 metadata: HvMetadata,11}为什么是 10048 维
不可逆性保证
10048 维空间 = 2^10048 种可能状态,反推原始数据等价于 10^3028 空间穷举 (可观测宇宙原子数仅约 10^80)。
容量充足
超维向量的容量约为维度的 0.35 倍 D,10048 维可可靠叠加约 3500 个向量。
MCU 可行
157 个 u64 = 1256 字节,在 32KB RAM 中绰绰有余。
超维代数三原语
AxonCog 的推理基于三个代数原语,构成闭合代数系统。任何原语的输入是 HV,输出也是 HV, 不会"逃逸"到概率空间。
将两个 HV"绑定"为一个新的复合 HV,类似变量赋值。绑定后的 HV 与原 HV 近似正交。
零精度损失、零平台依赖、恒定时间复杂度 O(D/64)。代码位置:axoncog-core/src/vsa/bind.rs
将多个 HV"叠加"为一个集合 HV,类似无序集合。噪声容忍:叠加 N 个 HV 后,任一成员与集合的相似度约为根号(N/D)。
引入奇偶打破铁律:强制读取种子 bit[0] 决定结果,保证跨平台确定性。逐 64-bit word 处理,计数器仅 128 字节。
将 HV"置换"为序列中的下一个位置,保护时序信息。置换后的 HV 与原 HV 近似正交,但置换逆操作可恢复。
使用确定性循环移位,可逆且跨平台一致。代码位置:axoncog-core/src/vsa/permute.rs
闭合代数系统与零幻觉
零幻觉的数学逻辑:幻觉的唯一来源是概率采样(Top-k / 温度 / Softmax)。AxonCog 的推理路径是闭合代数系统—— 绑定(XOR)、叠加(多数表决)、置换(循环移位)。这些运算是确定性的:同输入永远同输出。 系统中没有任何概率采样环节。没有概率采样就没有不确定性,幻觉在架构上不可能产生。
闭合性保证
绑定、叠加、置换三原语对 HV 集合构成闭合——任何原语的输入是 HV,输出也是 HV, 不会"逃逸"到概率空间或浮点空间。
奇偶打破铁律
叠加操作遇偶数平局时,强制读取种子 bit[0] 决定结果。 保证不同硬件、不同编译器、不同运行时,同一输入永远产生同一输出。
工程防御机制
| 防御机制 | 代码位置 | 作用 |
|---|---|---|
| fence(SeqCst) 内存屏障 | vsa/defense.rs | 防止编译器重排代数运算指令 |
| #[inline(never)] | vsa/defense.rs | 防止内联优化破坏运算隔离 |
| 零概率采样铁律 | 全系统 | 严禁 PRNG / 温度 / Top-k / Top-p |
| 奇偶打破铁律 | vsa/superpose.rs | 保证跨平台确定性 |
| 逐字处理 | vsa/superpose.rs | 避免 MCU 栈溢出 |
与传统 VSA 的区别
学术界存在向量符号架构(VSA)的研究方向,AxonCog 的数学基础与 VSA 有交集, 但 AxonCog 不是 VSA 的工程封装。传统 VSA 存在多个致命缺陷,AxonCog 在工程层面全部解决了这些问题。
| 传统 VSA 缺陷 | AxonCog 解决方案 |
|---|---|
| 维度选择无理论依据,常用 1000/10000 维凑数 | 10048 维 = 157x64,满足不可逆性 + 容量 + MCU 可行三重约束 |
| 叠加遇偶数平局时行为不确定,跨平台结果不一致 | 奇偶打破铁律:强制读取种子 bit[0],保证跨平台确定性 |
| 无工程防御,编译器优化可能破坏代数运算语义 | fence(SeqCst) 内存屏障 + #[inline(never)] 防止指令重排 |
| 纯理论原型,无 MCU 部署能力 | 逐 64-bit word 处理,计数器仅 128 字节,可在 32KB RAM 运行 |
| 无闭合性保证,运算可能逃逸到浮点/概率空间 | 纯二值双极向量 + 三原语闭合,输入输出均为 HV,不逃逸 |
| 无分布式能力,仅单机理论模型 | 7 大原生创新模块实现分布式对等智能场 |
| 无隐私保护,原始数据直接参与运算 | 原生隐私物理删除 + 单向不可逆编码 |