博主头像

Cordis——DeepSeek Harness的乐高底板 | 自进化AI | Agent框架 |

外来客 • 2026-08-15 16:35:11

总结模型：未记录（该条早于模型记录功能上线）

分享
𝕏 f ◉
声明：本文为对公开视频内容的摘要整理， 未经本站独立核实，可能与原视频存在出入，不代表本站立场、观点或建议； 观点与版权归原作者及原平台所有。 如涉及版权问题，请联系我们，核实后立即删除。 [ 免责声明 ]

🧩 核心观点

  • DeepSeek 与北大合作发表 88 页论文，提出名为 Cordis 的编程范式，旨在解决 Agent 框架中插件动态插拔导致的系统重启与依赖混乱问题。
  • Cordis 被定义为“乐高底板”，支持万物皆插件、可重组，是 DeepSeek Harness 的核心技术底座。
  • 该架构通过“可逆效应”解决时间维度问题，通过“反应式余效应”解决空间维度问题，实现时空可组合性。
  • 区别于传统 Agent 框架侧重“搭建”，Cordis 侧重解决 Agent“自我进化”所需的底层基础设施，确保动态修改不破坏现有状态。

📊 关键事实与论据

  • 传统痛点：VSCode 等系统卸载插件需重启宿主进程，导致上下文丢失；Agent 系统复杂度高，重启会破坏缓存与记忆。
  • 理论创新：
  • 可逆效应：每次状态修改记录逆函数，卸载时按反序执行撤销链，精确恢复状态，无需重启。
  • 反应式余效应：组件声明依赖，系统自动解析。依赖齐备则激活，缺失则非激活；依赖方随提供方状态自动启停，避免循环依赖。
  • 实践验证：
  • 基于 Koishi 聊天机器人框架验证，运行 4 年，支持超过 4000 个社区插件。
  • 时间维度验证：插件原地撤回后，其他插件不受影响，缓存保持。
  • 空间维度验证：切换存储后端或消息适配器时，仅受影响插件重新激活，其余保持运行。
  • 作者背景：
  • 施依凡（北大/DeepSeek）：Koishi 框架作者，2023 年提出“可逆插件系统”概念。
  • 张伟（北大副教授）：软件工程与程序设计语言专家，与施依凡长期合作。
  • 崔天忆（DeepSeek Harness 负责人）：前 Jane Street 工程师，算法竞赛背景。

🎯 结论

  • Cordis 架构已在生产环境经过长期验证，具备高开放性与稳定性，能支撑不同作者独立开发的插件生态正常协作。
  • 该方案为自我进化 AI 提供了坚实的技术底座，解决了动态工具生成、安装、替换过程中的状态一致性与依赖管理难题。
  • 尽管目前仅验证了 TypeScript 单一语言及 Koishi 单一生态，且缺乏与其他架构的直接对比，但其从数学基础到工程落地的完整路径，为下一代 Agent 基础设施提供了扎实起点。

博主头像 同一博主

查看该博主全部 34 篇

🧭 类似博主

0 条评论

发表评论

请先 登录 后参与讨论。