实验性 · 预发布版开源 · AGPL-3.0-or-later

AIENOS 是一个由您拥有的实验性机器,用于将搜索转化为可验证的理解。

AIEN 提出结构。Omega 将该结构显式化并可验证。机器在权威下对其实行现实检验。图灵衡量实际学到的内容。Cortex 保存证据。然后下一次搜索从幸存下来的部分开始。

AIENOS 是一种尝试,将持久的机器智能构建为科学过程,而非模型调用。神经机制可能提出想法,但这些想法并无权威性。

Omega 将其转化为显式的程序和理论;验证决定其内部有效性;拥有机器在物理现实中测试它们;图灵衡量它们在支付自身复杂性成本后是否能解释未见的观测;Cortex 保存证据;而这些经过验证的经验改变了下一次搜索。

Atlas 跨硬件传承其谱系。目标不是一台听起来像理解的机器,而是一台其解释力增长可被测量、证伪、复现和拥有的机器。

权重暗示。程序解释。验证决定。证据教学。图灵记分。

循环

提案沿生成路径前行,遭遇现实,并被评分。幸存的证据启动下一次搜索。一个由权威、观察和凭证构成的边界围绕整个循环。

  • 生成路径
  • 证据反馈
  • 验证与权威边界

边界:围绕循环,而非某个阶段

  • AEGIS权威 + 证明边界
  • ARGUS观察 / 审计
  1. ATLAS觉醒 / 谱系生成路径
  2. AIENOS持久的拥有基础生成路径
  3. AIEN提出 / 引导搜索生成路径
  4. OMEGA形式化 / 搜索 / 验证意义生成路径
  5. FORGE实现生成路径
  6. REALITY执行 / 响应与现实接触
  7. TURING评分解释性提升证据反馈
  8. CORTEX保存证据证据反馈

返回下一次 AIEN / Omega 搜索:Cortex 的证据为下一轮提供输入。

  • 能力系统控制可能发生的事
  • 证据凭证使结果可复现
ATLAS、AIENOS、AIEN、OMEGA、FORGE、REALITY、TURING 和 CORTEX 是各个阶段。AEGIS、ARGUS、能力系统和证据凭证构成了围绕它们的边界。

循环中的三个问题

  1. 它学到了什么吗?

    图灵增益 TY-2 通过

    在保留的现实之外仍能成立的网络解释结构。

    TY-2 记录了 2,559,679.825 比特的图灵增益。

  2. 学习的成本是多少?

    图灵产出 尚未开始

    经测量的物理资源所对应的验证解释增益。

    由于尚未测量能量,每焦耳的图灵数无法计算,因此此项尚未启动。

  3. 它所学的内容是否让未来的发现更容易?

    搜索/验证差距

    所获取的抽象是否会降低未来搜索的复杂性。

    这是一个我们希望研究的开放问题。目前此处尚未有任何测量结果。

  • C 内核通过 UEFI 启动 ✓
  • 每个主张都附有凭证 ✓
  • 失败记录公开,不隐藏 ✓
这是什么

不是运行在他人计算机上的另一个应用程序

大多数人工智能存在于租用的堆栈中。提供商拥有机器、模型、价格和关机开关。你的代理依附于他们的意愿存在,按他们的计划遗忘,并在他们的条款下工作。

AIENOS 是相反的赌注:一台主权机器,从固件之后的第一条指令开始构建,其中持续存在的智能运行在你拥有的硬件上。它将记忆、身份和凭证保留在你这一侧。底层硬件是能力,而非身份:机器可以更换,但传承得以延续。

证明,而非承诺

每个主张都附有凭证

本项目不寻求被相信。每张卡片都标明其环境、其关卡、其日期以及其结论,并明确说明凭证证明了什么,以及未证明什么。这包括失败,尤其是失败。

通过
230 次检查 · 0 次失败

关卡 14:基础关闭

Omega 和 Physics 的联合基础凭证,逐级重新计算并被主分支接纳。两个仓库,一个结论,没有任何内容被轻信。

证明: Omega 和 Physics 的基础层在记录的提交点上逐级重新计算并达成一致,端到端一致。

未证明: 原生机器是否合格,或任何物理硬件关卡是否通过。

日期 2026-09-30环境 Omega + Physics 仓库,合并至主分支关卡 关卡 14 联合基础接纳凭证:aien-dev/omega · PR #111 →
通过
2,559,679.825 比特的图灵增益

TY-2 图灵增益

在保留数据上,候选模型 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

运行日期 2026-09-29环境 Omega 验证套件,main 分支上的 turing-yield CI证据/TURING_YIELD/ty2_heldout_receipt.txt收据:aien-dev/omega · PR #88 →
已合并
C 内核通过 UEFI 启动

主分支上的原生内核

一个独立的 C 内核核心通过 UEFI 启动,支持 NVMe、ARGUS 能力安全机制,以及启动路径中的密封存储(PR #195,同日上午)

证明了:C 内核在模拟环境中成功进入其启动阶段,路径中包含存储、能力检查和密封存储

无法证明:物理 DGX Spark 的认证。硬件路径在通过认证前保持封闭;详见 M5 卡

日期 2026-10-01环境 QEMU 模拟,UEFI 启动路径门禁 AIENOS_CK_M1 内核启动收据:aien-dev/aienos · PR #194 →
未通过认证
10 个阻塞 · 6 个缺失

首次 M5 认证尝试

首次正式认证原生机器失败,但收据仍被发布。一个你无法失败的仪表,就不是仪表。这就是此处收据的含义

证明了:认证流程正常运行,测量并公开诚实报告,所有缺口均被明确指出并公开计数

无法证明:该方法失败。它精确标记了仍需构建和验证的内容

日期 2026-09-30环境 原生机器认证矩阵门禁 M5 认证收据:aien-dev/aienos · PR #187 →
如何协同工作

一个流水线,四个角色

硬件被视为能力元数据,而非身份。身份是谱系:谁唤醒机器,谁维持其运行,谁检查其工作,谁从结果中学习

ATLAS
唤醒

在机器上唤醒 AIENOS 的种子。Atlas 携带谱系至新硬件,并将其主权栈带入生命

AIENOS
持续

主权基础,远不止操作系统:它拥有硬件,维持代理的持续运行,并将内存、密钥和收据保留在所有者一侧

OMEGA
定义 · 合成 · 验证

将意图转化为程序,然后在信任之前用现实验证它们。没有凭据运行的程序;所有运行都基于检查

AIEN
学习

持久智能本身。它从已验证的经验中学习:经受住 Omega 检查并接触现实的内容成为知识。权重提出假设,程序提供解释,证据进行教学

从左到右阅读:每个角色将其工作传递给下一个,证据形成闭环

围绕闭环,而非流水线内

这四个并非第五到第八阶段。它们并非按顺序流动。它们围绕着流水线而存在,服务于流水线:一个验证,一个实现,一个观察,一个记忆。

AEGIS验证

检查生成的代码。不作任何更改,不决定任何策略,不属于任何生成系统。

FORGE实现

将Omega验证的内容构建为可运行的形式。

ARGUS观察

观察者。在原生内核中执行能力强制,记录在案。

CORTEX记忆

标准记忆:机器对已验证经验的长期记录。

已发表的研究

不要轻信我们的说法。请查看原始证据。

大多数AI要求你信任一个演示和一个承诺。而本项目选择公开其科学成果:图灵(Turing),即净保留解释压缩单位(机器理解的一个操作性组件),以及支撑它的论文和任何人都可复核的数据。它始于图灵。

图灵(T)

净保留解释压缩的单位

一个图灵等于网络保留描述长度的改进量:一个能预测从未见过的事物的简短解释可获得图灵。猜测不计分,记忆也不计分,因为测试数据是全新的。

当前等级:L2,仅限布朗运动范围,仪器认证。超出布朗运动范围,上限为L1。TY-2不会改变上限。查看完整研究阶梯。

尝试:赚取你的第一个图灵第0轮 / 12轮

一个隐藏的规则正在生成这一串比特流。观察它,找出规律,并在比特落地前预测下一个比特。

得分:0 T

每次正确预测获得1 T,每次错误扣除1 T。抛硬币的平均值为零。

正式论文

计算机械与理解

正式论文。图灵衡量的是净保留解释压缩:机器理解的一个操作性组件。当前等级:L2,仅限布朗运动范围,仪器认证。

配套论文

计算机械与理解:涌现

配套论文:理解如何在一个系统中涌现,以及该度量对此的说明。

立场论文

斯塔普尔顿学说

架构背后的哲学,以立场论文形式陈述:基于物理,掌握基础,证明每一项主张。

文章

后大语言模型时代之论

论证为何要超越大语言模型时代,以及一个自主机器如何改变谁有资格思考。

所有内容,包括协议、密封实验档案和源文件:完整研究索引 · GitHub上的公开代码与原始证据

交互式模拟

系统调用接口,已模拟

一个完全在您的浏览器中运行的模拟。此页面未连接任何真实机器,您输入的内容也不会离开页面。它展示了真实机器所使用的接口形态。真实机器的证明请见上方的证据部分,包括收据等。

AIEN OS REPL v0.4.0 (sm_121a · aarch64 · 128GB LPDDR5x)
COHERENT_ACTIVE
快速触发:
[*] AIEN OS 神经内核 v0.4.0 已在 GB10 (aarch64) 上初始化。
[*] 统一的相干地址空间:128 GB LPDDR5x 已上线。
[*] 权限保险库已密封。零磁盘密钥不变量已激活。
[*] 输入一个系统调用,或点击上方的快速触发按钮之一。
$
规范项目状态

它真实所处的位置

一个项目状态,发布一次,处处消费。本节、status.json 和 llms.txt 均来自同一源,因此不会产生偏差。最后更新于 2026-10-01。

合格
Omega 基础门禁

门禁 1 至 14 已关闭,凭一份合并的准入收据:230 次检查,0 次失败。

已实现
图灵仪器

已实现(仪器);科学部分完成。当前等级:L2,仅限布朗运动范围,仪器认证。L2 判定已与 2026-10-01 的私有密封记录核对,记录保持私有。在布朗运动范围之外,上限为 L1。TY-2 记录了 2,559,679.825 比特的图灵增益。这是比特增益,而非产出。产出是 T/J(每焦耳图灵数),而 T/J 尚未建立:未测量能量。

已实现
原生 C 内核

主控上的独立 C 内核。通过 UEFI 模拟启动,包含 NVMe、ARGUS 权限检查,以及启动路径中的密封存储。

被阻塞
原生机器资格认证(M5)

首次资格收据:未合格,10 项被阻塞,6 项缺失。已发布,并正在公开处理中。

实验性
图灵实验(EXP-001 / 002 / 003)

EXP-001 失败,EXP-001R 通过,EXP-002A 通过,EXP-002B 通过,EXP-002C 通过,EXP-002D 不完整,EXP-003 被阻塞。失败记录将保留在档案中。

实验性
AIEN,持久化代理

在 DGX Spark 实验室中运行。学习循环,从已验证的经验中学习,是当前的构建活动。

计划中
Atlas,觉醒层

在新硬件上唤醒AIENOS的种子。教义已发布于架构仓库;实现工作正在进行中。

计划中
公开发布

预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
物理physicsFORGE实现层及GB10的启动制品。文档:记录Spark切换后的必要检查2026年10月16日1
在GitHub上关注进展阅读研究关注工作
在公开中构建

关注工作。

无需等待发布,也无需加入列表。所有事情都在公共仓库中发生,每次变更都由机器本身进行判断,此页面每小时读取一次记录。关注仓库,阅读收据,打开一个问题。

机器可读:status.json · facts.json · llms.txt