一句话看懂:北大与DeepSeek合作发表新论文,提出“时空可组合性”编程范式,让Agent在持续修改自身Harness时能够安全回滚、局部隔离故障,不必重启整个进程。这一范式已落地为Cordis元框架,DeepSeek Harness v0.1也已基于它开源。
事件核心:发生了什么
论文《A Programming Paradigm for Spatiotemporal Composability》由北大Yifan Shi、Wei Zhang与DeepSeek的Tianyi Cui合作完成,目前以preprint形式公开在GitHub。核心思路是两大维度:
时间可组合性(Temporal Composability)让组件卸载时自动撤销全部副作用,包括状态、监听和资源,每个effect自带inverse操作;空间可组合性(Spatial Composability)则要求组件声明依赖关系,当Provider变化时系统自动重算依赖图,只重启真正受影响的部分。
在工程侧,该范式已实现为Cordis元框架,并在拥有4000+插件的Koishi中验证。2026年8月13日,DeepSeek宣布Harness v0.1进入Developer Preview,以MIT协议开源,底层正是Cordis。
为什么重要
过去Agent自我修改的痛点在于:一旦它改动自己的运行代码,出错后难以回滚,通常只能重启整个进程,导致长期运行能力大打折扣。时空可组合性把“可逆效应”和“响应式共效应”提升为运行时基础机制,使系统在任意多次动态加载、卸载、替换组件后,最终状态等同于用最终配置重新组装的结果——论文称这一性质为Confluence(合流性)。
这意味着自我进化Agent可以从实验室演示走向持续运行。未来Agent竞争的焦点,可能不再只是“模型能不能写代码”,而是“谁能先让AI安全地修改自己”。框架层面的运行时自修改能力,正在成为新的竞争维度。
对用户/开发者/创作者的影响
对开发者来说,插件系统的设计思路会被刷新。



