DeepSeek携手北大发布Cordis核心论文：用时空可组合性重塑软件动态组合范式

北京大学与DeepSeek-AI的Harness团队合作发布了一篇长达88页的核心论文，专注于解决软件工程中长期存在的“动态组合”难题。该研究建立了形式化的基础，推出了名为Cordis的元框架，该框架完全使用TypeScript实现，分为核心库与组件加载器两层架构。Cordis引入了诸如效应追踪、余效应解析、声明式配置协调以及热模块替换等高级特性，旨在实现软件组件在空间与时间维度上的灵活组合与替换。作为该理论的重要验证案例，知名开源聊天机器人框架Koishi基于Cordis构建，经过四年的社区积累，已成功承载了超过4000个插件，有力证明了该范式的稳定性与扩展能力。论文进一步指出，该范式是未来自演化AI智能体的关键技术基础设施，能够为智能体在运行过程中持续生成、替换和协调自身组件提供严密的恢复与协调保证，标志着AI软件工程向更高阶的动态化与自动化迈出了重要一步。

事件分析

核心观点：DeepSeek通过Cordis定义了智能体自我演化的底层骨架，标志着AI竞争正从模型算力向软件架构范式延伸。