254
0这篇来自 DeepSeek 与北京大学的论文名为《一套处理时空可组合性的编程范式》，讲的是：让 AI 智能体像飞机边飞边换零件一样，在运行中给自己改代码、换组件，而不必停机重启。
要实现这个目标，得先解决"动态组合"难题。传统软件拼装完成后就无法改动，而未来的智能体需要随时加载、卸载组件，还不能留下垃圾。论文把问题拆成两半：一是"时间可组合性"——组件卸载时，它对系统的所有修改必须能完整撤销；二是"空间可组合性"——组件之间要正式声明依赖关系，由系统自动协调先后。作者拿 VSCode 举例：热门插件大多无法单独卸载，换个插件要重启整个程序，就像为了拔一根刺得把整只手砍掉重长。
论文给出了两套机制： 可逆效应，每次修改环境都记一笔"怎么还原"，卸载时像剥洋葱一样逐层撤销； 反应式余效应，组件声明自己需要什么，系统盯着环境变化自动激活或停用。两者结合，卸载逻辑会从加载逻辑里自动长出来。这套机制已在开源聊天机器人框架 Koishi 上运行多年，支撑着四千多个社区插件。
论文最后展望：下一个验证场景正是自进化的智能体框架（也就是 DeepSeek 新发布的 Harness：DSH）——让 AI 一边服务、一边替换自己的零件。这大概也是 DeepSeek 把它选为自家底层的原因。
论文地址：github.com
