在如今大模型和Agent混戰的市場局面中，DeepSeek會如何佈局一直備受市場期待，如今，從今年5月份就傳出的“殺手鐧”項目正式亮相了。
今天，DeepSeek官方進行了兩項重要發佈：
首先正式推出DeepSeek-V4-Pro大模型，主要針對Agent性能進行了升級；其次，推出DeepSeek Harness v0.1開發者預覽版，並以MIT許可開放原始碼庫，一夜之間，已衝破65K星，熱度非常之高。
據悉，DeepSeek Harness是一種全新代理框架，核心理念是：一切皆外掛，模型、工具、技能、會話、沙箱、檔案系統、循環、編排和UI全部作為外掛實現，可供開發者自由組合、匹配、替換和擴展。
01. 模型性能逼近行業前沿價格也要變了
DeepSeek-V4-Pro模型總計1.6T/49B活躍參數，擁有100萬token的上下文窗口，並支援最大38.4萬token的輸出長度，能夠處理超長文字任務，評測資料顯示，新模型在多項智能體任務中的表現逼近Anthropic的Claude Fable 5。
同時，DeepSeek API已原生支援OpenAI Responses API格式，並針對性適配Codex，可通過一鍵配置指令碼完成Codex的配置。
DeepSeek同步推出了V4-Pro和V4-Flash思考模式，支援low/high/max三檔思考強度，使用者在實際使用中可以根據任務複雜度靈活選擇：簡單任務使用low，日常Agent任務使用high，高度複雜的任務場景使用max。
隨著V4系列模型正式版上線，DeepSeek對API價格也進行更新調整。為了合理地調配資源，將採用峰谷定價，閒時價格為高峰時段價格的一半，鼓勵使用者根據實際使用情況調整任務時間，新價格將於2026年8月17日0時開始生效。
02. 一套更像Agent OS的框架
DeepSeek Harness（簡稱DSH）基於Cordis外掛系統建構，模型、工具、技能、會話、沙箱、記憶體、循環、調度、UI等所有Agent能力均由外掛提供，並通過Cordis服務與事件彼此協作，開發者無需改動DSH原始碼，即可在配置層選擇、替換或擴展任一能力。
該項目的負責人Tianyi Cui（崔添翼）發文表示，現在的0.1.0版本是一個面向Harness開發者的預覽版，還很不完善，懇請大家多提提寶貴意見。
崔添翼和梁文鋒同為浙大校友，他曾是前量化投資機構TSY Capital聯合創始人，也曾在華爾街量化巨頭Jane Street履職近9年，也是一位電腦科學與演算法領域的青年才俊，於今年3月加入DeepSeek。
大學期間他曾系統性整理並行布《背包問題九講》，後成為電腦演算法競賽與動態規劃（DP）學習的經典參考資料，也曾代表浙江大學先後六次斬獲ACM國際大學生程式設計競賽亞洲分區賽金牌，是不少參與過內測的開發者表示，DSH很難只被視作是一個現成的Agent產品，它更像一個早期的Agent OS。
如果拿當前Coding Agent的產品標準來說，當前DSH的體驗確實不如Claude Code/Codex那麼完善，整個項目還很基礎，介面也一直在變化，外掛生態也才剛剛起步，質量肯定是層次不齊的。
但如果從開發框架的角度來看，DSH就像一個超級樂高汽車玩具，官方提供的這個Coding Agent，只是一套官方預置，開發者完全可以把裡面的零件換成自己喜歡的：換引擎、換輪胎、換擋風玻璃，或者加裝其他模組，甚至最後拼出來的東西，也不一定是一輛樂高汽車。
由於開發者蜂擁而至，截至發稿前開源社區關於DSH的外掛已經有超過1000個，這個數字仍在快速增長。
由於都可以自訂，所以DSH的外掛形態風格也是多樣化的，例如目前排名較高的二次元風格外掛「同事.skill」：可以把任何人提煉成一個技能。同事、合作夥伴、家人、老朋友、偶像、公眾人物、虛構人物——甚至包括你自己。
輸入素材+你的描述，就會打造一個像他們一樣思考的AI技能，用他們的思維框架思考，用他們的聲音說話。
還有一個外掛「iPolloWork」，一個以本地化為先的視覺AI工作台，可以將一個目標轉化為可編輯的程式碼、文件、簡報、網站、設計和視訊——是Codex和Claude Code的開放替代方案。
當然，你如果是視覺黨想給DSH換皮膚也是可以的，例如這個「DSH Web UI」外掛：
一隻常駐互動介面的「鯨魚娘寵物」，會跟隨智能體的狀態切換動畫：思考、等待、工作、慶祝，點選可互動（摸頭），投喂小魚乾可提升親密度，陪伴度從幼鯨一路成長至「深海羈絆」，支援自訂名稱、自由拖動位置，也可隨時隱藏。
開發者可以根據需要把DSH DIY成任何自己想要的樣子，這或將給開源社區生態留下很大的想像空間，有點「自進化軟體」的雛形了。
03. 88頁論文開啟“自演化”智能體時代
與V4-Pro和DSH一同發佈的，還有一篇長達88頁的技術報告論文，題目名為：《面向時空可組合性的程式設計範式》，崔添翼是作者之一。
論文中提到，現代軟體——從外掛系統到可自主演化的智能體運行框架——越來越多地需要動態組合能力，但其形式化基礎仍有待完善。
這篇論文將該問題拆解為兩個相互正交的維度：時間可組合性，即元件被移除時能夠完整撤銷其產生的副作用；以及空間可組合性，即能夠聲明元件間依賴關係並對依賴進行響應式管理。
DeepSeek團隊通過將經典效應（effect）與共效應（coeffect）概念提升為執行階段機制，同時解決上述兩大維度的問題。
具體而言，形式化定義可回滾效應：每一次上下文變換都附帶逆操作，由執行階段持續追蹤；同時形式化定義響應式共效應：一旦上下文發生變更，系統將依據共效應規約通知對應元件。
研究人員將效應上下文與共效應上下文統一為單一上下文類型，並以此建構一套程式設計範式，隨後，把上述機制整合至元件模型中，提出一套動態組合演算，該演算的元理論能夠將時空可組合性特性從單個元件傳遞至由多個交錯元件構成的完整系統。
DeepSeek團隊基於上述思路實現了Cordis，一套面向時空可組合性的元框架，它提供具備效應追蹤、共效應解析能力的核心庫，同時搭載支援配置調和與熱模組替換的聲明式元件載入器。
論文中展望，除人工維護的外掛生態外，一個極具價值的後續驗證方向是自演化智能體託管框架。
在該場景下，AI智能體可持續生成、替換自身託管元件，幾乎無需人工介入，在這類場景中部署Cordis，能夠驗證兩項核心性質：元件頻繁更替場景下完整狀態恢復的時間特性保障，以及依賴拓撲頻繁變動時依賴協同的空間特性保障。
相關驗證將證明，該範式可作為支撐智能體託管框架與其他自治系統實現可恢復、可協同、持續自演化的底層基礎。
感興趣的小夥伴可去查看完整版論文，地址：
https://github.com/cordiverse/paper/blob/main/paper.pdf
在智能體大戰如火如荼的今天，DSH能否掀起新的變革浪潮可以拭目以待。 (頭部科技)