最近AI圈最炸的消息，莫過于DeepSeek核心研究員郭達(dá)雅被曝離職。這位被導(dǎo)師寄予厚望、要做“中山大學(xué)雷軍”的技術(shù)天才，從博士畢業(yè)入職到如今出走，不過兩年多時(shí)間，卻深度參與了DeepSeek從代碼、數(shù)學(xué)專項(xiàng)到V2、V3、R1全系列模型的研發(fā)，每一項(xiàng)都是核心貢獻(xiàn)。他的離開，不僅讓DeepSeekV4研發(fā)蒙上陰影，更讓字節(jié)、百度等大廠開啟搶人大戰(zhàn)。郭達(dá)雅究竟是怎樣的天才？他的出走又折射出AI行業(yè)怎樣的人才困局？

一、天才養(yǎng)成記：從珠海一中到中大博士，入學(xué)三天完成畢業(yè)論文

郭達(dá)雅的天才底色，從中學(xué)時(shí)期就已顯現(xiàn)。作為珠海一中的學(xué)生，他在信息課上第一次接觸編程，便被代碼的邏輯與創(chuàng)造力深深吸引，這份興趣成了他后來深耕計(jì)算機(jī)領(lǐng)域的源動(dòng)力。2014年，他考入中山大學(xué)計(jì)算機(jī)學(xué)院，本科畢業(yè)后直博，還入選了中山大學(xué)與微軟亞洲研究院（MSRA）的聯(lián)合培養(yǎng)項(xiàng)目，師從印鑒教授與周明博士，研究方向鎖定自然語言處理。

讀博期間，郭達(dá)雅的科研效率堪稱“恐怖”。他自述，博士入學(xué)第三天，就完成了中山大學(xué)博士畢業(yè)所需的論文發(fā)表要求——這意味著別人要熬三五年的畢業(yè)門檻，他剛?cè)腴T就輕松跨過。在MSRA實(shí)習(xí)時(shí)，他主導(dǎo)完成了CodeBert與GraphCodeBert兩大開創(chuàng)性研究：CodeBert首次實(shí)現(xiàn)自然語言與編程語言的雙模態(tài)預(yù)訓(xùn)練，填補(bǔ)了行業(yè)空白；GraphCodeBert則進(jìn)一步將代碼數(shù)據(jù)流結(jié)構(gòu)納入模型，讓AI對代碼的理解更深入。這兩項(xiàng)成果分別發(fā)表于EMNLP2020與ICLR2021，成為代碼預(yù)訓(xùn)練領(lǐng)域的標(biāo)桿之作。

除了學(xué)術(shù)，郭達(dá)雅在競賽領(lǐng)域更是“封神”。2019-2021年，他連續(xù)三年斬獲騰訊廣告算法大賽冠軍，累計(jì)拿下超百萬獎(jiǎng)金；2021、2022年蟬聯(lián)ATEC科技精英賽冠軍，2022年又在微信大數(shù)據(jù)挑戰(zhàn)賽中帶隊(duì)奪冠，3200支隊(duì)伍里脫穎而出。業(yè)內(nèi)調(diào)侃他“沒畢業(yè)就賺夠百萬”，而他的競賽實(shí)力，也讓他在真人秀《燃燒吧！天才程序員》中，成為僅有的兩名SSS級(jí)“巨佬”選手，60小時(shí)極限編碼挑戰(zhàn)里，用實(shí)力征服全場。

二、DeepSeek兩年：從Coder到R1，貫穿核心研發(fā)線的技術(shù)支柱

2023年博士畢業(yè)后，郭達(dá)雅拒絕了大廠邀約，選擇加入初創(chuàng)公司DeepSeek。原因很簡單：師姐介紹的AGI愿景與他的價(jià)值觀契合，加上公司充足的研發(fā)資源與自由的創(chuàng)新氛圍，讓他認(rèn)定這里能實(shí)現(xiàn)技術(shù)理想。入職后，他專注代碼智能與大模型推理，迅速成為團(tuán)隊(duì)核心，幾乎參與了DeepSeek所有關(guān)鍵模型的研發(fā)，從專項(xiàng)到主線，全程在線。

1.代碼智能奠基：DeepSeek-Coder打響開源第一槍

2024年1月，郭達(dá)雅作為核心貢獻(xiàn)者推出DeepSeek-Coder系列，覆蓋1.3B到33B參數(shù)的開源代碼模型。該系列在多項(xiàng)基準(zhǔn)測試中登頂當(dāng)時(shí)開源代碼模型SOTA，不僅能理解復(fù)雜代碼邏輯，還能高效生成高質(zhì)量代碼，為DeepSeek在代碼領(lǐng)域站穩(wěn)腳跟奠定基礎(chǔ)。

2.數(shù)學(xué)推理突破：GRPO算法成R1核心密鑰

緊接著，2024年2月，他主導(dǎo)DeepSeek-Math研發(fā)。該模型以DeepSeek-Coder-Base-v1.57B為基礎(chǔ)，用120B數(shù)學(xué)token專項(xiàng)訓(xùn)練，更關(guān)鍵的是提出GRPO（群體相對策略優(yōu)化）強(qiáng)化學(xué)習(xí)方法——讓模型對同一問題生成多個(gè)答案并相互比較學(xué)習(xí)，大幅降低訓(xùn)練成本。這一方法后來成為DeepSeek-R1推理訓(xùn)練的核心技術(shù)，直接支撐R1以僅29.4萬美元的訓(xùn)練成本，實(shí)現(xiàn)推理能力的飛躍。

3.形式化證明進(jìn)階：Prover模型超越GPT-4

2024年5月，郭達(dá)雅參與研發(fā)的DeepSeek-Prover發(fā)布，面向Lean4定理證明。通過大規(guī)模合成形式化證明數(shù)據(jù)微調(diào)模型，該模型在Lean4miniF2F基準(zhǔn)上，全證明生成準(zhǔn)確率達(dá)46.3%，累計(jì)52%，遠(yuǎn)超GPT-4的23.0%；在FIMO基準(zhǔn)上證明5題，而GPT-4得分為0，證明了DeepSeek模型在硬核形式化推理領(lǐng)域的領(lǐng)先性。

4.主線模型貫穿：V2、V3、R1的核心作者

從V2、V3到登上《Nature》封面的R1，郭達(dá)雅都是核心作者。他參與證明了“不依賴人工標(biāo)注，純強(qiáng)化學(xué)習(xí)也能激發(fā)大模型推理能力”，讓模型自然涌現(xiàn)自反思、驗(yàn)證、動(dòng)態(tài)策略調(diào)整等能力。R1的成功，讓DeepSeek在全球大模型推理領(lǐng)域一戰(zhàn)成名，而郭達(dá)雅作為核心貢獻(xiàn)者，也成為行業(yè)公認(rèn)的推理與代碼領(lǐng)域頂尖人才。

三、天才出走：V4研發(fā)遇阻，大廠搶人白熱化

郭達(dá)雅的離職消息一出，立刻引發(fā)行業(yè)震動(dòng)。一方面，他離開的時(shí)機(jī)恰逢DeepSeekV4研發(fā)關(guān)鍵期——V4原計(jì)劃3月發(fā)布，現(xiàn)已延期至4月，核心賣點(diǎn)正是“超強(qiáng)編程能力”，而郭達(dá)雅正是這一能力的核心構(gòu)建者，其出走讓V4的性能與進(jìn)度充滿不確定性。外網(wǎng)網(wǎng)友紛紛擔(dān)憂：“這不會(huì)影響V4吧？”

另一方面，郭達(dá)雅的去向成了行業(yè)焦點(diǎn)。目前雖未官宣，但字節(jié)跳動(dòng)Seed團(tuán)隊(duì)、百度文心快碼團(tuán)隊(duì)是兩大熱門下家。字節(jié)正補(bǔ)強(qiáng)代碼能力與類o1通用推理，郭達(dá)雅的技術(shù)積累恰好匹配；百度文心快碼則急需強(qiáng)化代碼生成與數(shù)學(xué)推理，他的加入能直接提升產(chǎn)品競爭力。也有消息稱他可能自主創(chuàng)業(yè)，專注代碼智能與推理領(lǐng)域。

關(guān)于離職原因，業(yè)內(nèi)普遍認(rèn)為并非理念不合，而是兩大現(xiàn)實(shí)痛點(diǎn)：一是薪資倒掛，DeepSeek新員工薪酬普遍高于老員工，作為早期核心的郭達(dá)雅薪資未跟上；二是算力瓶頸，盡管DeepSeek有幻方AI加持，但與字節(jié)、百度等頭部大廠相比，算力資源仍有差距，制約了他的研發(fā)空間。

四、AI人才困局：天才留不住，行業(yè)該反思什么？

郭達(dá)雅的出走，絕非個(gè)例，而是當(dāng)前AI行業(yè)人才競爭白熱化的縮影。一方面，大模型賽道爆發(fā)，代碼、推理、數(shù)學(xué)等領(lǐng)域的頂尖人才極度稀缺，大廠不惜高薪挖角，初創(chuàng)公司難以抗衡；另一方面，初創(chuàng)公司雖有愿景與創(chuàng)新氛圍，但在薪資、算力、資源上的短板，難以長期留住頂尖人才。

對DeepSeek而言，失去郭達(dá)雅是重大損失，但公司研發(fā)體系已相對成熟，短期內(nèi)或有沖擊，但不至于“斷崖式下跌”。而對整個(gè)行業(yè)來說，如何平衡人才激勵(lì)、資源投入與技術(shù)傳承，如何讓頂尖人才既能實(shí)現(xiàn)理想，又能獲得匹配的回報(bào)，是亟待解決的問題。

郭達(dá)雅的下一站尚未揭曉，但可以確定的是，無論他加入大廠還是創(chuàng)業(yè)，都將繼續(xù)攪動(dòng)AI江湖。這位從競賽冠軍成長起來的技術(shù)天才，用實(shí)力證明：真正的頂尖人才，永遠(yuǎn)是行業(yè)最稀缺的資產(chǎn)。而AI行業(yè)的競爭，本質(zhì)上就是人才的競爭——誰能留住并激發(fā)頂尖人才的創(chuàng)造力，誰才能在未來的AGI賽道上占據(jù)先機(jī)。