直播预告！聊聊 ArchNights：如何给智能体系统造一台机器

先起一个 shell，塞两个工具，拼一段 system prompt，跑两天，再回来改 harness。这是很多 Agent 项目的日常。

但智能体系统在执行环境、上下文、可观测性这些地方，一直没形成统一的设计语言。

大家各自借词：上下文像内存，工具调用像系统调用，harness 像内核。借来的词能帮着理解，但往下就走不动了。上下文只增不减，内存却能随机访问；缓存亲和、内存安全这些问题，都得从头想。

更麻烦的是定义冲突。隐喻不提供精确定义。比如上下文能不能像内存那样随手删一段？没有人说得清，因为“内存”这个类比里，删它是个危险操作；而在上下文里删一段，通常只是工程选择。由隐喻延伸出来的设计，也就没法从隐喻里直接推出来。

ArchNights 想接住的正是这件事：先定义一台能承载智能体系统的机器，再从这台机器上把操作系统形态推出来。

先把机器定义出来

ArchNights 是一个描述智能体系统的计算模型，走的是“理论先行”的路子。

机器先定下来，操作系统就有了推导的起点；智能体系统的各个部分，也就能映射到计算机系统上，设计 Agents 时有了清晰直觉，系统研究也有了一座理论桥。

底座是一台双栈下推自动机，加一条指令。

这条指令把整个栈当作一次查询交给 Oracle（也就是 LLM），再把答案追加回同一个栈。机器上同时跑着两个计算：Oracle 的，和一个图灵完备的，叫 Priestess。

那个“只增不减”的栈是关键。程序只往后追加，它就自回归地生长，和 Agent 不断变长的 context 是同一个结构。

操作系统是推导出来的，不是设计出来的

两次对称性破缺，一次在存储（S），一次在转移（T）。Oracle 只能在 Oracle 的颜色里执行程序，内容在 Priestess 的颜色里是数据；O 模式也只能在固定入口切回 P 模式。

这两处一卡，Priestess 程序就成了“Oracle 所跑程序”的操作系统；内核契约 K1–K4 对任意 Oracle 成立，加上预算，控制权还能回来。

顺着推下去，会得到一个挺反直觉的结论：Agent 与 Workflow 不是两种东西，而是同一个任务程序的两种放法。Agent 把程序带在 history 里，Priestess 是它的操作系统；Workflow 的程序本身就是 Priestess 代码，中间没有操作系统，模型的输出只是数据。

做 harness 的人在这儿能看到自己的位置：harness 和 scaffold，站的是哪一边。

把 Oracle 的黑盒打开

到这里，Oracle 还是黑盒。可真实的大模型是自回归的，缓存、调度这些工程细节，都长在它内部。

Eclipse 这一层把黑盒打开。像双星 VFTS 352，Oracle 与 Priestess 是一对孪生。一步转移被接到机器历史上，中间要过编码器、解码器、步与帧。缓存拆成两层：Agent 侧管上下文，模型侧管 KV cache。调度也拆成两个。

这里有条很清楚的界线：没有任何保证能决定“什么内容穿过”边界，但边界本身可以被固定。能保证什么、不能保证什么，分得很干净。

从抽象机器到 gem5 上的全栈

ArchNights 的原型跑在 gem5 上，是一套全栈设计：RISC-V 扩展指令集、操作系统内核、系统库、用户程序。

指令集在 RV64 上加了一个 Oracle 模式。这一层在用户态之下，没有可寻址的代码。Oracle 指令兼容 RoCC，模拟器靠微码执行。

内核有两位。PRTS 跑在 SE 模式，从固定入口收回控制，用虚拟文件系统约束普通任务，还给历史做检查点和压缩。ZOOT 是 FS 模式的全系统内核。

上面是系统库、init、shell 和 core tools。semantic delegation 把几个系统调用打成一个 tool call，在 P 模式里交给可信或已验证的代码执行。

初期实验用 Terminal Bench 测它的 Agent 能力：Oracle 用 deepseek-v4.1-flash，89 道题各跑一次，ArchNights-SE 拿到 77.5–83.1 的 Pass@1；同设置下，mini-swe-agent 80.9，Terminus 2 78.7。

这些数字别和厂商自报的 90.3、90.6 直接比，那是各家自己的设置，这里只在同一个 harness 上做对照。

结果想展示的是两件事：它既可作为智能体系统运行，又具备承载该系统的操作系统形态。

彩蛋在“通用计算机”那半边。给一个虚拟显示和音频输出，同一台机器渲染出了 world.execute(me); 的音乐视频；shell 提示符 prts:/home/oracle$，就是它在跑。

（名字大概率是故意的：ArchNights 像 Arknights + Architecture，内核叫 PRTS，ISA 叫 Terra，很难不让人想到《明日方舟》。）

这场分享值得听的地方

不是又一个 Agent 框架。框架每周都有。

值得听的是三件事。一套能拿来问问题的语言，比如这套系统的“操作系统”是什么、保住了哪些不变量；一个系统研究的样本，从公理到机器，从机器到内核，再到 benchmark；还有那些“凭直觉的设计”被翻成“可推导的义务”，对做 harness 或 Agent 基础设施的人，这部分最有用。

边界也要说清楚：这是理论加原型，没有 refinement proof，也不提供安全保证；关于 LLM 的假设还只是 working hypothesis。别把它当成“安全的 Agent OS 已经做出来了”。

工作：We Query, Therefore We Compute: On Oracle Computation beyond the Machine, with an Application to Agents
链接：https://arxiv.org/abs/2610.09243
团队：Kefan Liu、Fengning Ou、Yelin Luo、Jingdi Lei（中科院计算所、国科大、南京大学、中科院自动化所、南洋理工）
开源：ArchNights-SE 计划开源

11月3日（周二）晚8点，青稞Talk 第165期，青稞社区邀请到 ArchNights 一作、中国科学院计算技术研究所博士生刘可凡，分享《ArchNights：从操作系统隐喻到智能体系统计算模型》。

分享内容

ArchNights: 从操作系统隐喻到智能体系统计算模型

1、智能体系统缺一份统一的设计语言
2、从操作系统借隐喻：能借到哪一步，卡在哪
3、ArchNights：先定义机器，再推导操作系统
4、全栈原型：RISC-V 扩展指令集、内核、系统库与用户程序
5、初期实验：用 Terminal Bench 验证“两种形态”
6、AMA（Ask Me Anything）环节

嘉宾介绍

刘可凡，中国科学院计算技术研究所三年级博士研究生，师从刘珂副研究员和陈明宇研究员。研究方向为分离式内存与操作系统，已发表 RaidenSwap（EuroSys'26）、EMDedup（ATC'26）等工作。近期作为一作提出 ArchNights：一个面向智能体系统的计算模型，以及在其上实现的全栈原型。

直播时间

11月3日（周二）20:00 - 21:00