把 LLM 当神谕机:论文提出 Agent 与 Workflow 的统一抽象计算模型
China666 · hf · 2026-10-08
这篇理论论文尝试为 agentic 系统建立一个统一的形式化基础,把系统设计拉回计算机体系结构的轨道。
核心构造:
- Oracle 与 Priestess:将 LLM 视为 Oracle(神谕),在双栈下推自动机上增加一条指令——把整个栈作为查询交给 Oracle,并把答案追加回同一栈。机器由此同时执行两个计算:Oracle 的计算和一个图灵完备的 "Priestess" 计算。
- Workflow 与 Agent 的统一:只追加的栈像 agent 的上下文一样自回归增长;通过对存储(S)与转移(T)的两个对称性破缺,Priestess 程序成为 Oracle 所运行程序的操作系统,Agent 与 Workflow 成为任务程序放置方式的两种形态。
- 缓存与调度:对内部自回归的 Oracle,两计算在特定条件下于每个答案末尾同步,借此建模缓存并分析调度;能对所有 Oracle 成立的保证只能固定两计算的边界本身。
- 可实现性:提出构造 V 将机器映射到 von Neumann 计算机,并给出 ArchNights——一个扩展 RISC-V ISA 与 Linux 风格操作系统,在 gem5 上运行,当它以 LLM 为 Oracle 时即成为 agentic 系统,将开源。
作者主张:agentic 系统可以像计算机系统一样设计,未来工作能共享不变量与界。
「编程与Agent」频道最新
- 作者实测:Codex 的电脑与浏览器操作失败率相当高 — jdjohnson · 2026-10-08
- 网友用 Spawn 从低清截图直接生成完整游戏，实测效果惊人 — TAbrodi · 2026-10-08
- Burkov:Codex 6.1 High 档过度思考太慢,降档后 Sonnet 5.5 仍更快 — burkov · 2026-10-08
- 反直觉操作:codegen-units=1 让 uv 构建提速 50%、内存降 67% — charliermarsh · 2026-10-08
- 做面向用户的 AI 应用务必设 token 上限并关掉自动续费 — burkov · 2026-10-08
- 开发者力荐 CAFE 技术栈,并开源自己的项目模板 — samgoodwin89 · 2026-10-08