有這樣一則消息在AI圈悄然流傳：DeepSeek研究員郭達(dá)雅已經(jīng)離職。

大家第一時(shí)間的反應(yīng)普遍是“誰？誰是郭達(dá)雅？”

這不難理解，因?yàn)楣_(dá)雅的知名度遠(yuǎn)不如創(chuàng)始人梁文鋒以及“天才AI少女”羅福莉。

但是在學(xué)術(shù)研究以及對(duì)DeepSeek大模型的貢獻(xiàn)上，郭達(dá)雅要比后兩者高許多。

截止至發(fā)稿，郭達(dá)雅發(fā)表的論文已經(jīng)被引用超過37000次，遠(yuǎn)遠(yuǎn)超過了同齡的研究者。

郭達(dá)雅的h指數(shù)為37，i-10指數(shù)為46，說明他不僅學(xué)術(shù)產(chǎn)出非常穩(wěn)定，而且他還發(fā)表了多篇擁有極高影響力的論文。

甚至可以這么說，只要你了解過郭達(dá)雅的研究方向以及他所主導(dǎo)的研究后，你就會(huì)認(rèn)識(shí)到，當(dāng)年之所以能出現(xiàn)DeepSeek時(shí)刻，郭達(dá)雅絕對(duì)功不可沒。

那他去哪了？目前有兩種說法，一種說是百度，一種說是字節(jié)。

實(shí)際上這兩年加入字節(jié)的這幾個(gè)大牛，周暢、郁博文、蔣路，他們都是視頻方向的。

郭達(dá)雅不一樣，他是代碼智能和數(shù)學(xué)方向的，他剛好可以補(bǔ)強(qiáng)字節(jié)在Vibe Coding以及AGI這兩大板塊。

如果是去百度，那也說得通。文心快碼在3月份剛剛完成了4.0版本迭代，推出了多agent協(xié)同全鏈路開發(fā)的功能。

但是你知道文心快碼3.0是什么時(shí)候發(fā)布的嗎？是2024年11月。兩個(gè)大版本中間相隔了一年多，這在以周為單位的AI圈是不太常見的。

這么看下來，百度其實(shí)比字節(jié)更需要郭達(dá)雅。

然而對(duì)于遲遲不發(fā)布V4的DeepSeek，郭達(dá)雅的離職，無疑是雪上加霜。

01

郭達(dá)雅其人

郭達(dá)雅1995年出生于廣東珠海，2014年考入中山大學(xué)數(shù)據(jù)科學(xué)與計(jì)算機(jī)學(xué)院。大四時(shí)入選中山大學(xué)與微軟亞洲研究院聯(lián)合培養(yǎng)博士生項(xiàng)目，在印鑒教授和周明博士指導(dǎo)下攻讀博士學(xué)位，研究方向是自然語言處理。

2020年獲得微軟學(xué)者獎(jiǎng)學(xué)金，這個(gè)獎(jiǎng)項(xiàng)每年只授予亞太地區(qū)12名博士生。2023年博士畢業(yè)后，他加入DeepSeek擔(dān)任研究員，專注代碼智能和大語言模型推理。

郭達(dá)雅在博士期間的一個(gè)細(xì)節(jié)值得注意。他在微軟亞洲研究院實(shí)習(xí)時(shí)，分別在EMNLP和NeurIPS這兩個(gè)頂會(huì)發(fā)表了論文。

如果按照中山大學(xué)的畢業(yè)要求，郭達(dá)雅在博士入學(xué)的第三天，就已經(jīng)完成了博士學(xué)位最難的論文發(fā)表要求。

他本人在接受采訪時(shí)也提到了這件事。那我們不妨挑一篇其中影響力最高的來一起過一遍。

2020年，郭達(dá)雅作為共同第一作者，在EMNLP 2020上發(fā)表了CodeBERT。另一位共同第一作者是哈爾濱工業(yè)大學(xué)的馮章印。

CodeBERT是首個(gè)將雙模態(tài)預(yù)訓(xùn)練的效果做到跨語言通用的SOTA，它能同時(shí)處理自然語言和編程語言。在此之前，BERT等預(yù)訓(xùn)練模型，雖然在自然語言處理領(lǐng)域取得了成功，但針對(duì)編程語言的預(yù)訓(xùn)練模型研究相對(duì)匱乏。

CodeBERT的核心創(chuàng)新在于引入了替換標(biāo)記檢測(cè)任務(wù)。傳統(tǒng)的掩碼語言建模只能利用配對(duì)的自然語言-代碼數(shù)據(jù)，而替換標(biāo)記檢測(cè)借鑒了ELECTRA的思想，通過檢測(cè)生成器產(chǎn)生的似是而非的替代標(biāo)記來訓(xùn)練模型。

這使得CodeBERT能夠利用大量單模態(tài)代碼數(shù)據(jù)，大大擴(kuò)展了訓(xùn)練數(shù)據(jù)規(guī)模。模型在代碼搜索和代碼文檔生成任務(wù)上取得了當(dāng)時(shí)的最優(yōu)性能。

或者我換一種方式來描述，CodeBERT它能讓AI既能讀懂人類語言的需求描述，又能理解代碼的邏輯結(jié)構(gòu)。比如你用中文說“給我找一個(gè)排序算法”，它就能幫你找到相關(guān)的代碼；或者你給它一段代碼，它能用人話解釋這段代碼在干什么。

雖然現(xiàn)在看來這沒什么，可這篇論文是2020年發(fā)表的，在當(dāng)時(shí)，代碼就是代碼，自然語言就是自然語言，這兩者之間隔著一條通天河。

因此，CodeBERT的出現(xiàn)，其實(shí)可以被看做是現(xiàn)如今Vibe Coding的開端。

加入DeepSeek以后，如果你要問郭達(dá)雅參與過的最有影響力的學(xué)術(shù)成果，那肯定是非DeepSeek-R1莫屬了。

但如果你要問排名第二的是哪篇，那我告訴你，答案不是DeepSeek-V3，而是DeepSeekMath。

DeepSeek-V3的技術(shù)報(bào)告引用數(shù)量為3890，而DeepSeekMath的引用數(shù)量為5182。

2024年2月，郭達(dá)雅作為核心貢獻(xiàn)者參與了DeepSeekMath的研發(fā)。這是繼郭達(dá)雅以第一作者身份發(fā)表DeepSeek-Coder后的又一力作，這個(gè)項(xiàng)目的目標(biāo)是提升大語言模型在數(shù)學(xué)推理方面的能力。

DeepSeekMath的關(guān)鍵創(chuàng)新是引入了GRPO，即群體相對(duì)策略優(yōu)化。這是近端策略優(yōu)化PPO的一種變體。

傳統(tǒng)的PPO需要訓(xùn)練一個(gè)獨(dú)立的價(jià)值函數(shù)模型，這增加了內(nèi)存使用和計(jì)算開銷。

所以GRPO干脆直接放棄了對(duì)獨(dú)立價(jià)值函數(shù)模型的依賴，轉(zhuǎn)而通過群體內(nèi)的相對(duì)比較來估計(jì)優(yōu)勢(shì)，因此降低了訓(xùn)練資源需求。

GRPO的工作流程是這樣的：對(duì)于同一個(gè)數(shù)學(xué)問題，模型生成多個(gè)候選答案，然后根據(jù)這些答案的正確性進(jìn)行排序，將正確答案的概率提高，錯(cuò)誤答案的概率降低。

這樣一來，大模型在下次遇到類似問題就知道該怎么做了。

這種方法不需要額外的價(jià)值網(wǎng)絡(luò)，只需要一個(gè)能夠驗(yàn)證答案正確性的獎(jiǎng)勵(lì)函數(shù)。在數(shù)學(xué)推理任務(wù)中，獎(jiǎng)勵(lì)函數(shù)可以直接檢查最終答案是否正確。

相當(dāng)于讓模型在判斷問題的時(shí)候，又快又準(zhǔn)確，關(guān)鍵是還節(jié)省了內(nèi)存占用。

經(jīng)過GRPO強(qiáng)化學(xué)習(xí)優(yōu)化后的DeepSeekMath-RL 7B，在無外部工具、無投票集成的條件下，在MATH基準(zhǔn)上取得了51.7%的成績，這和同期的Gemini-Ultra和GPT-4接近，在當(dāng)時(shí)的開源大模型領(lǐng)域，已經(jīng)非常難得了。

因此，GRPO在后來也被應(yīng)用到了DeepSeek-R1的訓(xùn)練當(dāng)中。

02

郭達(dá)雅去哪？

其實(shí)如果咱們從技術(shù)貢獻(xiàn)的角度看，雖然梁文鋒、羅福莉的知名度更高，但是郭達(dá)雅對(duì)DeepSeek的貢獻(xiàn)要比他們倆都高。這點(diǎn)和公眾認(rèn)知是相反的。

梁文鋒的作用是提供研究方向和資源支持。他在多篇論文中的署名位置通?？亢螅砻魉皇侵饕募夹g(shù)貢獻(xiàn)者。

羅福莉雖然也參與了DeepSeek-V2的研發(fā)。不過從論文作者名單看，她的名字并沒有標(biāo)注為核心貢獻(xiàn)者。

言歸正傳，在agent的本質(zhì)，就是代碼理解（Code Understanding）、代碼生成（Code Generation）和程序綜合（Program Synthesis）這三件事。

而巧合的是，從CodeBERT開始，郭達(dá)雅的研究方向就是如此。

因此我認(rèn)為，郭達(dá)雅的離職，對(duì)于DeepSeek來說，影響是非常大的。

除了前文提到的CodeBERT，郭達(dá)雅還主導(dǎo)了GraphCodeBERT和DeepSeek-Coder。

前者是讓AI能理解代碼中變量之間的依賴關(guān)系，比如說改了a會(huì)影響b，改了b又會(huì)影響c。這對(duì)代碼重構(gòu)和修復(fù)Bug特別有幫助。

后者則是通過支持多種編程語言和更長的上下文，讓模型能一次性理解整個(gè)項(xiàng)目的代碼架構(gòu)。DeepSeek-Coder-V2的代碼性能與同期的GPT-4 Turbo相當(dāng)。

2024年的時(shí)候，字節(jié)從阿里挖走了周暢。周暢在阿里通義千問負(fù)責(zé)多模態(tài)相關(guān)研究，加入字節(jié)后擔(dān)任Seed視覺多模態(tài)負(fù)責(zé)人，主導(dǎo)Seedream和Seedance的研發(fā)。

2026年春節(jié)，周暢交出了在字節(jié)的第一份答卷Seedance 2.0，憑借“導(dǎo)演級(jí)”的視頻生成能力在全球范圍內(nèi)引發(fā)轟動(dòng)。

現(xiàn)在，傳言字節(jié)可能是郭達(dá)雅的下家之一。周暢補(bǔ)強(qiáng)的是視覺多模態(tài)，如果傳言為真，郭達(dá)雅要補(bǔ)強(qiáng)的，是代碼智能和推理能力。

字節(jié)Seed團(tuán)隊(duì)在2025年初經(jīng)歷了一次重組。

吳永輝接管后，打破了模型部門間的數(shù)據(jù)壁壘，組建了三層架構(gòu)：Edge團(tuán)隊(duì)負(fù)責(zé)長周期的AGI課題，F(xiàn)ocus團(tuán)隊(duì)負(fù)責(zé)核心技術(shù)攻堅(jiān)，Base團(tuán)隊(duì)確保當(dāng)前一代模型的穩(wěn)定交付。

從技術(shù)匹配度看，郭達(dá)雅最可能負(fù)責(zé)的，是代碼大模型的全鏈路技術(shù)攻堅(jiān)。

比如說主導(dǎo)字節(jié)Code-LLM的下一個(gè)迭代之類的。

因?yàn)楣_(dá)雅擅長預(yù)訓(xùn)練架構(gòu)優(yōu)化、超長上下文適配、多語言支持等核心技術(shù)的研發(fā)，所以他很可能會(huì)為字節(jié)帶來那種“項(xiàng)目級(jí)”的代碼生成agent。

第二個(gè)核心方向是推理能力。

目前字節(jié)Seed團(tuán)隊(duì)的核心戰(zhàn)略之一，就是類o1的通用推理大模型，郭達(dá)雅如果加入，將直接給字節(jié)帶來行業(yè)最成熟的GRPO落地經(jīng)驗(yàn)。

他大概率會(huì)負(fù)責(zé)推理方向的強(qiáng)化學(xué)習(xí)算法研發(fā)，優(yōu)化豆包大模型的數(shù)學(xué)推理、多步邏輯推理、復(fù)雜任務(wù)拆解能力。

第三個(gè)方向是數(shù)學(xué)推理專項(xiàng)模型研發(fā)。

數(shù)學(xué)推理能力是大模型通用邏輯能力的核心底座。Seed團(tuán)隊(duì)專門設(shè)立的Edge團(tuán)隊(duì)，聚焦3年以上的長期AGI基礎(chǔ)研究。

并且取消了短期季度考核，允許團(tuán)隊(duì)投入資源做探索性研究。

郭達(dá)雅所參與過的DeepSeekMath，正是這個(gè)方向。

如果郭達(dá)雅選擇加入百度，他同樣能在代碼智能領(lǐng)域發(fā)揮重要作用。

前文提到，文心快碼在2026年3月剛剛完成了重大升級(jí)，更新的重點(diǎn)是多agent協(xié)同。

它具體的協(xié)同方式是：Plan agent負(fù)責(zé)需求澄清和任務(wù)規(guī)劃，Architect agent通過SubAgents機(jī)制拆解復(fù)雜任務(wù)，每個(gè)子agent擁有獨(dú)立上下文，以解決長Context下的“遺忘”問題。

而郭達(dá)雅剛好研究過這套全鏈路環(huán)節(jié)上的每一個(gè)節(jié)點(diǎn)，換句話說，百度正在做的事情，和郭達(dá)雅的研究方向完全重合了。

因此，如果他加入文心團(tuán)隊(duì)，很可能會(huì)負(fù)責(zé)優(yōu)化這些agent之間的協(xié)同機(jī)制，提升代碼生成的準(zhǔn)確性和項(xiàng)目級(jí)理解能力。

說到挖角DeepSeek核心人才，阿里也不容忽視。2026年3月初，阿里通義千問技術(shù)負(fù)責(zé)人林俊旸在社交平臺(tái)突然宣布離職。

更糟糕的是，除了林俊旸外，千問在2026年還失去了后訓(xùn)練負(fù)責(zé)人郁博文、代碼模型負(fù)責(zé)人惠彬原等多名技術(shù)骨干。

就在這個(gè)關(guān)鍵時(shí)刻，阿里CEO吳泳銘在3月19日的財(cái)報(bào)電話會(huì)上放出狠話，說當(dāng)前阿里的ATH事業(yè)群，更高優(yōu)先級(jí)是“打造智能能力最強(qiáng)的模型”。

這時(shí)候，如果阿里能夠引進(jìn)郭達(dá)雅這樣的頂級(jí)專家，那無疑是一箭雙雕。既能填補(bǔ)林俊旸離職留下的技術(shù)空白，又能直接獲得DeepSeek在代碼智能和推理能力方面的核心經(jīng)驗(yàn)。

講真的，比起遲遲不發(fā)V4的DeepSeek，郭達(dá)雅有理由趁著年輕，去字節(jié)或者百度、阿里做出點(diǎn)成績。

03

DeepSeek-V4還會(huì)來嗎？

2026年1月初，外媒援引兩名知情人士的消息稱，DeepSeek計(jì)劃在春節(jié)期間推出下一代旗艦?zāi)Ｐ蚔4。消息還提到，V4 在內(nèi)部測(cè)試中的編程能力已經(jīng)超越了Claude 3.5 Sonnet和GPT-4o。

這個(gè)消息讓整個(gè)AI圈都興奮起來。

自2025年1月20日發(fā)布 DeepSeek-R1 以來，DeepSeek沒有發(fā)布過任何一個(gè)大版本的迭代，最新的模型也只到了DeepSeek-V3.2。

春節(jié)來了，V4沒來。

2月11日，有用戶發(fā)現(xiàn)DeepSeek的App版本號(hào)更新為1.7.4，上下文窗口從128K提升至1M，知識(shí)庫截止時(shí)間更新到2025年5月。

社區(qū)立刻沸騰了，大家紛紛在猜，說這就是傳說中的V4灰度測(cè)試嗎？

但接近DeepSeek的人士很快給出了否定答案：“這不是V4，就是一個(gè)小版本更新?！?/p>

隨后外媒又報(bào)道稱，DeepSeek將在3月2日發(fā)布 V4。報(bào)道還表示，V4 將針對(duì)國產(chǎn)芯片進(jìn)行優(yōu)化，是該系列大模型中第一個(gè)完全基于國產(chǎn)算力生態(tài)的版本。

這一消息很快被大量國內(nèi)媒體轉(zhuǎn)載。

3月2日到了，無事發(fā)生。

緊接著第二天，又有消息稱V4“極大概率”將在本周發(fā)布，還有泄露的基準(zhǔn)測(cè)試數(shù)據(jù)顯示，V4在HumanEval上得分 90%，作為對(duì)比，DeepSeek V3為82%。

事實(shí)上，HumanEval只是一個(gè)入門級(jí)的代碼生成基準(zhǔn)測(cè)試，目前已趨于指標(biāo)飽和，根本無法完整區(qū)分頂級(jí)代碼大模型的真實(shí)能力，所以當(dāng)時(shí)我就覺得這是個(gè)假新聞。

果然，眼瞅要到4月了，V4依然沒有出現(xiàn)。

現(xiàn)在還有報(bào)道稱DeepSeek-V4預(yù)計(jì)在2026年4月正式發(fā)布，重點(diǎn)提升長期記憶能力，并深度適配國產(chǎn)芯片。

延期的原因眾說紛紜。有人說是模型規(guī)模膨脹導(dǎo)致訓(xùn)練進(jìn)度延遲，還有人說是多模態(tài)功能的整合比預(yù)期復(fù)雜。

但有一個(gè)細(xì)節(jié)值得注意，V4的核心賣點(diǎn)之一，就是“超強(qiáng)編程能力”。根據(jù)泄露的信息，V4能處理30萬行代碼邏輯鏈。

而郭達(dá)雅，正是DeepSeek在這一塊的頂梁柱。

DeepSeek的核心研究人員不多。從論文作者名單看，經(jīng)常出現(xiàn)的名字不超過20個(gè)。

在這樣一個(gè)精英小團(tuán)隊(duì)里，每一個(gè)都是不可缺少的，更何況他還是郭達(dá)雅這樣的超級(jí)大牛。

道理就擺在這了，如果V4成功了，說明DeepSeek找到了替代者，或者團(tuán)隊(duì)成功完成了技術(shù)交接。

如果V4再次延期，或者代碼能力沒有達(dá)到預(yù)期，那么郭達(dá)雅離職的影響就會(huì)真正顯現(xiàn)出來。

從現(xiàn)在的情況看，DeepSeek正在經(jīng)歷一場(chǎng)嚴(yán)峻的考驗(yàn)。它需要證明，即使失去了核心人才，它依然能夠保持技術(shù)創(chuàng)新的節(jié)奏。