这几天大家都在聊 DeepSeek 的 V4 Pro 翻车事件。还有DSH发布以后疯狂涨星和褒贬不一的评价。但很少有人注意到在同一个深夜DeepSeek 还做了一件特别学术的事——和北京大学合发了一篇论文标题叫《A Programming Paradigm for Spatiotemporal Composability》时空可组合性编程范式。88页全是数学公式发在 GitHub 上。外行看一眼就想关掉。但这篇论文才是 DeepSeek HarnessDSH真正的地基。昨天我们聊 DSH 的一切皆插件理念很多人觉得是营销话术。这篇论文证明不是。DeepSeek 是认真的认真的程度到了——先建一套数学理论再写代码。而且这篇论文想解决的问题恰恰是未来 AI 最大的那个坎怎么让一个 AI 系统安全地、持续地、几乎无人监督地——自己升级自己。别急我用人话给你拆清楚。一、先搞清楚为什么拆插件这么难你可能觉得装软件、卸软件不是再正常不过的事吗点个卸载按钮不就行了但卸载一个功能和干干净净卸载一个功能是两回事。举个最日常的例子——你电脑上的 VSCode程序员最常用的编辑器之一。它支持装扩展也就是插件。但当你卸载一个插件的时候真相是它根本没被真正拆掉只是隐藏了得等你重启整个软件才真正清干净。论文里有个扎心的数据VSCode 最热门的 100 个扩展里87 个都带着可执行代码卸载都得重启整个编辑器论文 1.2.1。为什么这么难因为一个插件装进去之后会到处动手脚——注册一些快捷键、改动一些设置、占用一些内存、监听一些事件。它就像在墙上钉了一堆钉子、贴了一堆胶带。卸载要做的是把每一个钉子拔下来、每一张胶带撕干净恢复到它来之前的原样。可问题是程序自己记不住自己都动过哪些钉子。所以只能偷懒——重启整个屋子一次性全清空。重启就是软件世界最粗暴的卸载。二、DeepSeek 的论文在解决什么论文上来就点破了本质动态组合dynamic composition这件事有两个互不相关的维度都很难。第一个维度叫时间可组合性。翻译成人话一个组件被拆掉的时候它对周围环境做过的所有修改能不能完全、干净、可逆地复原装的时候容易拆的时候能不能做到挥一挥衣袖不带走一片云彩不留下脏数据、不占用内存、不残留事件监听第二个维度叫空间可组合性。翻译成人话组件之间互相依赖的时候能不能自动发现、自动协调、自动响应比如 A 插件需要数据库服务B 插件提供数据库服务。B 被拆了A 怎么办A 应该被自动提醒你的依赖没了然后优雅地进入待机等 B 回来再自动恢复。这就像乐队里吉他手请假了键盘手不能傻愣着得知道自己要顶上去吉他手回来了还得自动换回来。依赖关系一变整个系统要自己反应过来。这两个维度就是这篇论文的题眼。创新点一给副作用装上撤销键先说第一个创新可逆效应Revertible Effects。学计算机的都知道一个概念叫副作用side effect——程序运行时会改变外部环境改文件、占内存、发网络请求、注册事件……这些都是副作用。传统程序里副作用是不可逆的。你写一个文件没有自带撤销功能你注册一个事件没人替你记录我注册过这个。这篇论文干的什么事它提出每一个副作用都应该随身携带一个撤销指令inverse。你做了一件事就要同时告诉系统如果我被移除怎么把这件事件撤销掉。然后运行时runtime把这些撤销指令一个个存起来按顺序串成一条链。当组件要被卸载时系统就顺着这条链倒着把每一个副作用都撤销干净——就像解开一串项链一颗一颗地摘。论文里管这叫扭结组合twisted composition数学上还证明了不管你怎么叠加副作用撤销的顺序永远是对的、完整的。最妙的是连撤销本身也是一种可逆效应——你撤销了如果发现撤销错了还能再撤销回来。层层嵌套永不出错。这等于给整个软件世界装了一个全局的后悔药。创新点二让依赖关系学会自动响应第二个创新响应式共效应Reactive Coeffects。共效应coeffect是计算机科学里一个跟副作用相对的概念。副作用是我对世界做了什么共效应是我需要世界给我什么。一个组件在运行前要先声明我需要这些依赖没有它们我不开工。论文的创新在于把这个声明从装一次就完事变成了持续监听依赖齐了 → 组件自动激活依赖少了 → 组件自动停摆但不报错、不死机只是安静地等着依赖换了 → 组件自动重新适配新的依赖。而且一个组件换掉另一个组件提供的服务时系统能靠一个唯一身份编号识别出来——哪怕两个服务给的是同样的东西系统也知道它俩不是同一个该重启的依赖一个都跑不掉。这种机制论文里还有个特别高级的玩法叫隔离isolation和拦截interception隔离 同一个插座在不同场景下可以接不同的插头。同一个数据库接口测试环境用假数据、生产环境用真数据系统自动识别、互不干扰。拦截 不用改组件本身就能给它套个壳加权限、加日志、加监控。像给电饭煲插了个智能插座电饭煲啥都不知道但你能远程统计它用了多少电。最狠的地方把效果和依赖统一成一个东西这两个创新单拎出来任何一个都是好主意。但这篇论文真正的野心在第三步——把副作用和依赖统一成一个东西叫上下文类型Context Type。用大白话说以前程序的世界分两本账一本记我改了什么一本记我需要什么。DeepSeek 说别分两本了合成一本所有的状态都记录在同一个账本里。这个统一的价值在于你既能知道我对世界做了什么又能知道世界对我做了什么还能自动保证两者协调一致。装和拆、给和取全部在一套逻辑里闭环。论文把这个统一体称为一种编程范式programming paradigm——意思是它不只是一个技巧而是一整套思考软件的方式就像面向对象编程函数式编程那样是一个完整的世界观。然后论文做了一件更狠的事给这套世界观写了一套严格的数学证明证明了它永远成立——不会死锁、不会冲突、无论怎么拆装都能回到干净状态。这才是地基该有的样子不是我觉得这样应该行而是我证明了这样一定行。三、为什么这对 AI Agent 至关重要你可能要问了这论文再牛跟 AI 有什么关系关系太大了。论文的引言里专门留了一节讲自进化智能体Self-Evolving Agent Harnesses。想象一个场景未来的 AI Agent 不是现在这样出厂一个样、升级靠人类发新版而是——Agent 一边干活一边自己写新的插件、自己装新的工具、自己替换自己的某个模块然后继续干活全程几乎不需要人盯着。这就是自进化。听起来很酷但有个致命问题万一它升级升级着把自己搞崩了呢没有时间可组合性Agent 每次自我修改都得整个重启攒了一上午的工作缓存全没了更糟的是如果它改坏了自己的恢复系统那就永远起不来了。没有空间可组合性Agent 替换了某个模块依赖它的其他模块根本不知道还在用旧接口一调用就崩。DeepSeek 这篇论文就是给自进化上的一道保险栓你随便改随便换系统保证——改坏了能撤销依赖变了能感知永远不会把自己锁死。论文结尾的展望部分白纸黑字写着未来要做的事就是让 AI 持续生成并替换自己的组件同时验证这套理论能不能兜住。 论文 8. Conclusion也就是说——这篇论文不是写给过去看的是写给Agent 能自己进化那个未来看的。三、不是纸上谈兵它已经在一个4000插件的系统里跑起来了最难得的是这篇论文不是空想它有一个跑了四年的真实战场Koishi一个开源的聊天机器人框架基于 Cordis论文里实现的那套框架构建积累了超过 4000 个社区插件论文 5.3。论文里说在 Koishi 里管理员在控制台禁用一个插件它的所有副作用当场就被干净地撤掉不用重启其他插件毫发无伤开发的时候改代码保存插件热替换正在进行的连接、缓存全保留依赖被切换比如换个数据库只有真正受影响的插件会自动重启其他插件纹丝不动。更重要的是这些插件的作者是几千个互不认识的人他们唯一的约定就是我声明我需要什么。系统自动保证他们之间不打架、不冲突。一篇理论论文底下垫着一个 4000 插件规模的实战系统——这在中国学术界太罕见了。四、写在最后DeepSeek 的野心比模型大得多回头看看 DeepSeek 这盘棋V4 Pro 翻车是它在模型层的失误DSH 开源是它在 Agent 工具层的布局而这篇论文是它在理论层的深挖。三层叠起来你会发现 DeepSeek 想要的不只是便宜的模型而是——整个 Agent 时代的地基。模型的竞争是暂时的一代不如一代就被淘汰。但动态组合这个底层问题是所有做 Agent 的人都绕不过去的插件系统要、操作系统要、未来能自我进化的 AI 更要。谁先给这个难题打下一个被验证的理论地基谁就站在了下一代软件工程的入口。R1 让推理变便宜DSH 让 Agent 外壳变开源这篇论文想让整个动态软件世界——更安全、更自由。模型会换代但地基不会。我是词元下期我们聊聊V4 Pro 翻车和 Harness 开源在同一天发生DeepSeek 这波操作到底是手忙脚乱还是故意声东击西