DeepSeek Harness用范畴论给AI Agent造骨架
内容提要
DeepSeek开源了DeepSeek Harness框架，利用范畴论为AI Agent构建骨架，核心是“一切皆插件”，由Cordis系统驱动，确保插件可组合、可替换。通过态射和单子结构，系统实现容错、可追溯和确定性，使Agent行为可预测。开发者无需改动源码即可扩展功能，数学在类型层面保证组合正确性。
延伸解读
范畴论如何保证插件组合的正确性
Harness将每个插件视为范畴论中的态射，插件间的串联对应箭头的复合。范畴论组合律在类型层面保证：只要输入输出类型匹配，组合后的行为就是确定的。这意味着开发者无需大量集成测试，类型不匹配的插件在编译期就会被拒绝，从而降低运行时出错风险。
Cordis的时空可组合性
Cordis框架强调时空可组合性：空间维度管理插件依赖，当服务变化时自动调整相关插件；时间维度追踪副作用，卸载时自动清理资源。两者结合实现合流性，即无论加载顺序如何，最终状态一致。这映射了交换图定理，使系统具备可逆性和可验证性。
单子结构封装副作用
Harness用单子处理AI Agent中的失败、状态和副作用。每个插件运行在单子内，副作用被封装，外部只看到干净的输入输出。例如，多步操作中任一步失败，链条自动短路并返回错误包装，避免程序崩溃或状态混乱。这类似快递包裹，每站只负责传递，不检查内部。
从量化交易到AI框架的思维迁移
Harness的设计者崔添翼来自量化交易背景，他将量化系统对容错、可审计和确定性的要求，转化为范畴论语言。Harness的插件架构、交换图定理和单子结构，本质上是将量化交易中的严谨性应用于AI Agent开发，使行为可预测，而非依赖经验试错。
Q&A
DeepSeek Harness是什么？
DeepSeek Harness（DSH）是DeepSeek于2026年8月13日开源的一个AI Agent运行框架，它不是一个新模型或API客户端，而是将模型接入文件系统、终端、网页、代码工具等环境的整套框架。其核心公式是Model + Harness = Agent，模型负责理解和生成，Harness负责调度上下文、工具、任务状态、反馈与边界。
DeepSeek Harness的核心设计原则是什么？
DeepSeek Harness的核心设计原则是“一切皆插件”，即模型适配器、工具注册表、会话日志甚至Agent循环本身都是插件，开发者无需改动源码即可独立替换或扩展任一能力。该架构由Cordis插件系统驱动，其设计思想来自学术论文《A Programming Paradigm for Spatiotemporal Composability》。
范畴论在DeepSeek Harness中是如何应用的？
在DeepSeek Harness中，每个插件被视为一个态射（箭头），插件之间的组合遵循范畴论的组合律，只要输入输出类型匹配，组合后的行为就是确定且可预测的。此外，单子结构用于封装副作用、错误和状态，使带副作用的计算能像普通函数一样串联。Cordis框架的时空可组合性也对应范畴论中的交换图定理，保证系统加载或卸载插件的顺序不影响最终稳定状态。
Jane Streeter（崔添翼）的背景是什么？
崔添翼（英文名可能为Tianyi Cui）是DeepSeek在2026年3月从Jane Street挖来的核心工程师，负责Harness业务线。他90后，毕业于浙江大学计算机系，大学期间获得6枚ACM-ICPC亚洲区域赛金牌。2013年加入Jane Street香港分部，专攻量化系统、风控和回测平台开发，2022年联合创办量化基金TSY Capital，2026年3月加入DeepSeek。
DeepSeek Harness的四种运行模式是什么？
DeepSeek Harness有四种运行模式：标准模式加载完整插件集合；PTC模式让模型用TypeScript程序组合多步工具调用；极简模式只保留两个工具用于基准测试；创造模式允许在内存中试验插件组合。这四种模式本质上是同一套插件系统的四种不同组装方案，通过插拔不同插件得到不同的Agent行为。
DeepSeek Harness如何保证Agent行为的可预测性？
Harness通过范畴论在类型层面保证插件组合的正确性，类型不匹配的插件无法组合，编译器会直接报错。同时，单子结构封装副作用和错误，使计算链条干净且可预测。Cordis框架的时空可组合性确保插件加载或卸载时自动调整依赖和撤销副作用，最终达到合流性，即无论加载顺序如何，系统稳定状态一致。
