DeepSeek携手北大发布Cordis核心论文:用时空可组合性重塑软件动态组合范式
北京大学与DeepSeek-AI的Harness团队合作发布了一篇长达88页的核心论文,专注于解决软件工程中长期存在的“动态组合”难题。该研究建立了形式化的基础,推出了名为Cordis的元框架,该框架完全使用TypeScript实现,分为核心库与组件加载器两层架构。Cordis引入了诸如效应追踪、余效应解析、声明式配置协调以及热模块替...
核心观点DeepSeek通过Cordis定义了智能体自我演化的底层骨架,标志着AI竞争正从模型算力向软件架构范式延伸。
阅读全文