不是运行在他人计算机上的另一个应用程序
大多数人工智能存在于租用的堆栈中。提供商拥有机器、模型、价格和关机开关。你的代理依附于他们的意愿存在,按他们的计划遗忘,并在他们的条款下工作。
AIENOS 是相反的赌注:一台主权机器,从固件之后的第一条指令开始构建,其中持续存在的智能运行在你拥有的硬件上。它将记忆、身份和凭证保留在你这一侧。底层硬件是能力,而非身份:机器可以更换,但传承得以延续。
AIEN 提出结构。Omega 将该结构显式化并可验证。机器在权威下对其实行现实检验。图灵衡量实际学到的内容。Cortex 保存证据。然后下一次搜索从幸存下来的部分开始。
AIENOS 是一种尝试,将持久的机器智能构建为科学过程,而非模型调用。神经机制可能提出想法,但这些想法并无权威性。
Omega 将其转化为显式的程序和理论;验证决定其内部有效性;拥有机器在物理现实中测试它们;图灵衡量它们在支付自身复杂性成本后是否能解释未见的观测;Cortex 保存证据;而这些经过验证的经验改变了下一次搜索。
Atlas 跨硬件传承其谱系。目标不是一台听起来像理解的机器,而是一台其解释力增长可被测量、证伪、复现和拥有的机器。
权重暗示。程序解释。验证决定。证据教学。图灵记分。
提案沿生成路径前行,遭遇现实,并被评分。幸存的证据启动下一次搜索。一个由权威、观察和凭证构成的边界围绕整个循环。
边界:围绕循环,而非某个阶段
返回下一次 AIEN / Omega 搜索:Cortex 的证据为下一轮提供输入。
它学到了什么吗?
图灵增益 TY-2 通过
在保留的现实之外仍能成立的网络解释结构。
TY-2 记录了 2,559,679.825 比特的图灵增益。
学习的成本是多少?
图灵产出 尚未开始
经测量的物理资源所对应的验证解释增益。
由于尚未测量能量,每焦耳的图灵数无法计算,因此此项尚未启动。
它所学的内容是否让未来的发现更容易?
搜索/验证差距
所获取的抽象是否会降低未来搜索的复杂性。
这是一个我们希望研究的开放问题。目前此处尚未有任何测量结果。
大多数人工智能存在于租用的堆栈中。提供商拥有机器、模型、价格和关机开关。你的代理依附于他们的意愿存在,按他们的计划遗忘,并在他们的条款下工作。
AIENOS 是相反的赌注:一台主权机器,从固件之后的第一条指令开始构建,其中持续存在的智能运行在你拥有的硬件上。它将记忆、身份和凭证保留在你这一侧。底层硬件是能力,而非身份:机器可以更换,但传承得以延续。
本项目不寻求被相信。每张卡片都标明其环境、其关卡、其日期以及其结论,并明确说明凭证证明了什么,以及未证明什么。这包括失败,尤其是失败。
Omega 和 Physics 的联合基础凭证,逐级重新计算并被主分支接纳。两个仓库,一个结论,没有任何内容被轻信。
证明: Omega 和 Physics 的基础层在记录的提交点上逐级重新计算并达成一致,端到端一致。
未证明: 原生机器是否合格,或任何物理硬件关卡是否通过。
在保留数据上,候选模型 C 描述事件所用的比特数比一阶基线 B 少约 256 万比特,平均每事件少 0.4387 比特。
证明: 保留预测压缩,图灵产出 V0;候选模型 C(操作 + 前 4 次结果)对比基线模型 B(一阶);拟合种子 1-7,保留 8-10;共 5,834,845 个保留事件,来自 crumbline 控制学习器搜索事件
无法证明:仅验证理想代码长度,无可解码的比特流。验证使用相同工具(自我重推导,非独立)。并非科学发现的度量标准。无能量消耗。事后分析的op+prev1..5得分更高(+2,722,851.799),未计入。检查:dl_b_ub 7484024867446 减去 dl_c_ub 4924345042631 = 2559679824815
一个独立的 C 内核核心通过 UEFI 启动,支持 NVMe、ARGUS 能力安全机制,以及启动路径中的密封存储(PR #195,同日上午)
证明了:C 内核在模拟环境中成功进入其启动阶段,路径中包含存储、能力检查和密封存储
无法证明:物理 DGX Spark 的认证。硬件路径在通过认证前保持封闭;详见 M5 卡
首次正式认证原生机器失败,但收据仍被发布。一个你无法失败的仪表,就不是仪表。这就是此处收据的含义
证明了:认证流程正常运行,测量并公开诚实报告,所有缺口均被明确指出并公开计数
无法证明:该方法失败。它精确标记了仍需构建和验证的内容
硬件被视为能力元数据,而非身份。身份是谱系:谁唤醒机器,谁维持其运行,谁检查其工作,谁从结果中学习
在机器上唤醒 AIENOS 的种子。Atlas 携带谱系至新硬件,并将其主权栈带入生命
主权基础,远不止操作系统:它拥有硬件,维持代理的持续运行,并将内存、密钥和收据保留在所有者一侧
将意图转化为程序,然后在信任之前用现实验证它们。没有凭据运行的程序;所有运行都基于检查
持久智能本身。它从已验证的经验中学习:经受住 Omega 检查并接触现实的内容成为知识。权重提出假设,程序提供解释,证据进行教学
从左到右阅读:每个角色将其工作传递给下一个,证据形成闭环
这四个并非第五到第八阶段。它们并非按顺序流动。它们围绕着流水线而存在,服务于流水线:一个验证,一个实现,一个观察,一个记忆。
检查生成的代码。不作任何更改,不决定任何策略,不属于任何生成系统。
将Omega验证的内容构建为可运行的形式。
观察者。在原生内核中执行能力强制,记录在案。
标准记忆:机器对已验证经验的长期记录。
大多数AI要求你信任一个演示和一个承诺。而本项目选择公开其科学成果:图灵(Turing),即净保留解释压缩单位(机器理解的一个操作性组件),以及支撑它的论文和任何人都可复核的数据。它始于图灵。
所有内容,包括协议、密封实验档案和源文件:完整研究索引 · GitHub上的公开代码与原始证据
一个完全在您的浏览器中运行的模拟。此页面未连接任何真实机器,您输入的内容也不会离开页面。它展示了真实机器所使用的接口形态。真实机器的证明请见上方的证据部分,包括收据等。
已实现(仪器);科学部分完成。当前等级:L2,仅限布朗运动范围,仪器认证。L2 判定已与 2026-10-01 的私有密封记录核对,记录保持私有。在布朗运动范围之外,上限为 L1。TY-2 记录了 2,559,679.825 比特的图灵增益。这是比特增益,而非产出。产出是 T/J(每焦耳图灵数),而 T/J 尚未建立:未测量能量。
EXP-001 失败,EXP-001R 通过,EXP-002A 通过,EXP-002B 通过,EXP-002C 通过,EXP-002D 不完整,EXP-003 被阻塞。失败记录将保留在档案中。
预Alpha版。尚未提供支持的发布版本或安装程序。一旦有,将随版本号、哈希值和签名一同发布,运行前可检查。
六个仓库构成核心。最后两列在页面构建时从GitHub读取,而非手动输入。数据采集于 2026-10-16T16:29:47Z;页面每小时重建一次。
| 组件 | 它是什么 | 最后合并的更改 | 开放 |
|---|---|---|---|
| AIENOSaienos | 操作系统。以代理为先;模型永远不是内核。 | 文档:原生KV所有权状态及一个已解决的GB10未知问题(PERF-DOC P1)2026年10月16日 | 4 |
| Omegaomega | 堆栈正在重写的语言与GPU引擎。 | 文档:记录Spark切换后的必要检查2026年10月16日 | 18 |
| 主权核心aien-sovereign-core | 主机运行时、推理ABI,以及判断每次变更的流水线。 | aien-kv-cache:在源码中记录KV内存所有权与并发性(PERF-DOC P1)2026年10月16日 | 22 |
| 架构aien-architecture | 流程、边界、决策记录、执行计划。 | 文档/research:仓库拓扑(Unix风格、单体仓库、混合模式)2026年10月16日 | 1 |
| 协议aien-protocols | 规范、网络协议、数据结构。 | 文档:记录Spark切换后的必要检查2026年10月16日 | 0 |
| 物理physics | FORGE实现层及GB10的启动制品。 | 文档:记录Spark切换后的必要检查2026年10月16日 | 1 |
无需等待发布,也无需加入列表。所有事情都在公共仓库中发生,每次变更都由机器本身进行判断,此页面每小时读取一次记录。关注仓库,阅读收据,打开一个问题。
机器可读:status.json · facts.json · llms.txt