有这样一则音书在 AI 圈悄然流传：DeepSeek 斟酌员郭达雅依然下野。
民众第一时分的响应宽广是"谁？谁是郭达雅？"
这不难意会，因为郭达雅的有名度远不如首创东谈主梁文锋以及"天才 AI 青娥"罗福莉。
但是在学术斟酌以及对 DeepSeek 大模子的孝顺上，郭达雅要比后两者高很多。
约束至发稿，郭达雅发表的论文依然被援用进步 37000 次，远远进步了同龄的斟酌者。
郭达雅的 h 指数为 37，i-10 指数为 46，阐明他不仅学术产出相称踏实，而且他还发表了多篇领有极高影响力的论文。
致使不错这样说，唯有你了解过郭达雅的斟酌主张以及他所主导的斟酌后，你就会意识到，夙昔之是以能出现 DeepSeek 时刻，郭达雅完满功弗成没。
那他去哪了？面前有两种说法，一种说是百度，一种说是字节。
试验上这两年加入字节的这几个大牛，周畅、郁博文、蒋路，他们皆是视频主张的。
郭达雅不一样，他是代码智能和数学主张的，他刚好不错补强字节在 Vibe Coding 以及 AGI 这两大板块。
若是是去百度，那也说得通。文心快码在 3 月份刚刚完成了 4.0 版块迭代，推出了多 agent 协同全链路开垦的功能。
但是你知谈文心快码 3.0 是什么时候发布的吗？是 2024 年 11 月。两个大版块中间相隔了一年多，这在以周为单元的 AI 圈是不太常见的。
这样看下来，百度其实比字节更需要郭达雅。
然则关于迟迟不发布 V4 的 DeepSeek，郭达雅的下野，无疑是雪上加霜。
01
郭达雅其东谈主
郭达雅 1995 年诞生于广东珠海，2014 年考入中山大学数据科学与计较机学院。大四时入选中山大学与微软亚洲斟酌院继续培养博士生样貌，在印鉴教练和周明博士指令下攻读博士学位，斟酌主张是天然言语处理。
2020 年赢得微软学者奖学金，这个奖项每年只授予亚太地区 12 名博士生。2023 年博士毕业后，他加入 DeepSeek 担任斟酌员，专注代码智能和大言语模子推理。
郭达雅在博士时间的一个细节值得阻拦。他在微软亚洲斟酌院实习时，分别在 EMNLP 和 NeurIPS 这两个顶会发表了论文。
若是按照中山大学的毕业要求，郭达雅在博士入学的第三天，就依然完成了博士学位最难的论文发表要求。
他本东谈主在接受采访时也提到了这件事。那我们不妨挑一篇其中影响力最高的来悉数过一遍。
2020 年，郭达雅算作共同第一作家，在 EMNLP 2020 上发表了 CodeBERT。另一位共同第一作家是哈尔滨工业大学的冯章印。
CodeBERT 是首个将双模态预试验的效果作念到跨言语通用的 SOTA，它能同期处理天然言语和编程言语。在此之前，BERT 等预试验模子，天然在天然言语处理领域取得了生效，但针对编程言语的预试验模子斟酌相对匮乏。
CodeBERT 的中枢改进在于引入了替换标志检测任务。传统的掩码言语建模只可讹诈配对的天然言语 - 代码数据，而替换标志检测鉴戒了 ELECTRA 的念念想，通过检测生成器产生的不足为训的替代标志来试验模子。
这使得 CodeBERT 能够讹诈多数单模态代码数据，大大扩展了试验数据鸿沟。模子在代码搜索和代码文档生成任务上取得了那时的最优性能。
或者我换一种花式来描写，CodeBERT 它能让 AI 既能读懂东谈主类言语的需求描写，又能意会代码的逻辑结构。比如你用华文说"给我找一个排序算法"，它就能帮你找到筹商的代码；或者你给它一段代码，它能用东谈主话解释这段代码在干什么。
天然当今看来这没什么，可这篇论文是 2020 年发表的，在那时，代码即是代码，天然言语即是天然言语，这两者之间隔着一条通河汉。
因此，CodeBERT 的出现，其实不错被看作念是现如今 Vibe Coding 的起首。
加入 DeepSeek 以后，若是你要问郭达雅参与过的最有影响力的学术效劳，那确定短长 DeepSeek-R1 莫属了。
但若是你要问名次序二的是哪篇，那我告诉你，谜底不是 DeepSeek-V3，而是 DeepSeekMath。
DeepSeek-V3 的本事敷陈援用数目为 3890，而 DeepSeekMath 的援用数目为 5182。
2024 年 2 月，郭达雅算作中枢孝顺者参与了 DeepSeekMath 的研发。这是继郭达雅以第一作家身份发表 DeepSeek-Coder 后的又一力作，这个样貌的主张是提高大言语模子在数学推理方面的才气。
DeepSeekMath 的要津改进是引入了 GRPO，即群体相对策略优化。这是近端策略优化 PPO 的一种变体。
传统的 PPO 需要试验一个安祥的价值函数模子，这增多了内存使用和计较支出。
是以 GRPO 干脆平直废弃了对安祥价值函数模子的依赖，转而通过群体内的相对相比来料到上风，因此裁汰了试验资源需求。
GRPO 的责任历程是这样的：关于灭亡个数学问题，模子生成多个候选谜底，然后字据这些谜底的正确性进行排序，将正确谜底的概率提高，诞妄谜底的概率裁汰。
这样一来，大模子鄙人次遭遇肖似问题就知谈该怎样作念了。
这种步调不需要格外的价值网罗，只需要一个能够考证谜底正确性的奖励函数。在数学推理任务中，奖励函数不错平直搜检最终谜底是否正确。
尽头于让模子在判断问题的时候，又快又准确，要津是还检朴了内存占用。
经过 GRPO 强化学习优化后的 DeepSeekMath-RL 7B，在无外部用具、无投票集成的条目下，在 MATH 基准上取得了 51.7% 的得益，这和同期的 Gemini-Ultra 和 GPT-4 接近，在那时的开源大模子领域，依然相称穷困了。
因此，GRPO 在其后也被应用到了 DeepSeek-R1 的试验当中。
02
郭达雅去哪？
其实若是我们从本事孝顺的角度看，天然梁文锋、罗福莉的有名度更高，但是郭达雅对 DeepSeek 的孝顺要比他们俩皆高。这点和公众理会是相背的。
梁文锋的作用是提供斟酌主张和资源援助。他在多篇论文中的签字位置庸碌靠后，标明他不是主要的本事孝顺者。
罗福莉天然也参与了 DeepSeek-V2 的研发。不外从论文作家名单看，她的名字并莫得标注为中枢孝顺者。
谈天休说，在 agent 的骨子，即是代码意会（Code Understanding）、代码生成（Code Generation）和圭臬笼统（Program Synthesis）这三件事。
而恰巧的是，从 CodeBERT 开动，郭达雅的斟酌主张即是如斯。
因此我认为，郭达雅的下野，关于 DeepSeek 来说，影响短长常大的。
除了前文提到的 CodeBERT，郭达雅还主导了 GraphCodeBERT 和 DeepSeek-Coder。
前者是让 AI 能意会代码中变量之间的依赖相关，比如说改了 a 会影响 b，改了 b 又会影响 c。这对代码重构和成立 Bug 迥殊有匡助。
后者则是通过援助多种编程言语和更长的高下文，kaiyun sports让模子能一次性意会悉数样貌的代码架构。DeepSeek-Coder-V2 的代码性能与同期的 GPT-4 Turbo 尽头。
2024 年的时候，字节从阿里挖走了周畅。周畅在阿里通义千问负责多模态筹商斟酌，加入字节后担任 Seed 视觉多模态负责东谈主，主导 Seedream 和 Seedance 的研发。
2026 年春节，周畅交出了在字节的第一份答卷 Seedance 2.0，凭借"导演级"的视频生成才气在全球范围内激勉震憾。
当今，字节用相似的花式挖走了郭达雅。周畅补强的是视觉多模态，郭达雅要补强的，是代码智能和推理才气。
字节 Seed 团队在 2025 岁首资格了一次重组。
吴永辉袭取后，冲破了模子部门间的数据壁垒，组建了三层架构：Edge 团队负责长周期的 AGI 课题，Focus 团队负责中枢本事攻坚，Base 团队确保面前一代模子的踏实托付。
从本事匹配度看，郭达雅最可能负责的，是代码大模子的全链路本事攻坚。
比如说主导字节 Code-LLM 的下一个迭代之类的。
因为郭达雅擅长预试验架构优化、超长高下文适配、多言语援助等中枢本事的研发，是以他很可能会为字节带来那种"样貌级"的代码生成 agent。
第二个中枢主张是推理才气。
面前字节 Seed 团队的核情绪谋之一，即是类 o1 的通用推理大模子，郭达雅的加入，将平直给字节带来行业最熟悉的 GRPO 落地教授。
他能够率会负责推理主张的强化学习算法研发，优化豆包大模子的数学推理、多步逻辑推理、复杂任务拆解才气。
第三个主张是数学推理专项模子研发。
数学推理才气是大模子通用逻辑才气的中枢底座。Seed 团队挑升诞生的 Edge 团队，聚焦 3 年以上的长久 AGI 基础斟酌。
何况取消了短期季度考察，允许团队干与资源作念探索性斟酌。
郭达雅所参与过的 DeepSeekMath，恰是这个主张。
若是郭达雅聘用加入百度，他相似能在代码智能领域发达蹙迫作用。
前文提到，文心快码在 2026 年 3 月刚刚完成了要紧升级，更新的要点是多 agent 协同。
它具体的协同花式是：Plan agent 负责需求澄莹和任务经营，Architect agent 通过 SubAgents 机制拆解复杂任务，每个子 agent 领有安祥高下文，以科罚长 Context 下的"渐忘"问题。
而郭达雅刚好斟酌过这套全链路神志上的每一个节点，换句话说，百度正在作念的事情，和郭达雅的斟酌主张完全重合了。
因此，若是他加入文心团队，很可能会负责优化这些 agent 之间的协同机制，提高代码生成的准确性和样貌级意会才气。
说到挖角 DeepSeek 中枢东谈主才，阿里也远离冷漠。2026 年 3 月初，阿里通义千问本事负责东谈主林俊旸在外交平台短暂晓谕下野。
更厄运的是，除了林俊旸外，千问在 2026 年还失去了后试验负责东谈主郁博文、代码模子负责东谈主惠彬原等多名本当事者干。
就在这个要津时刻，阿里 CEO 吴泳铭在 3 月 19 日的财报电话会上放出狠话，说面前阿里的 ATH 行状群，更高优先级是"打造智能才气最强的模子"。
这时候，若是阿里能够引进郭达雅这样的顶级众人，那无疑是一石两鸟。既能填补林俊旸下野留住的本事空缺，又能平直赢得 DeepSeek 在代码智能和推理才气方面的中枢教授。
讲确凿，比起迟迟不发 V4 的 DeepSeek，郭达雅有事理趁着年青，去字节或者百度、阿里作念出点得益。
03
DeepSeek-V4 还会来吗？
2026 年 1 月初，外媒征引两名知情东谈主士的音书称，DeepSeek 筹备在春节时间推出下一代旗舰模子 V4。音书还提到，V4 在里面测试中的编程才气依然高出了 Claude 3.5 Sonnet 和 GPT-4o。
这个音书让悉数 AI 圈皆粗糙起来。
自 2025 年 1 月 20 日发布 DeepSeek-R1 以来，DeepSeek 莫得发布过任何一个大版块的迭代，最新的模子也只到了 DeepSeek-V3.2。
春节来了，V4 没来。
2 月 11 日，有效户发现 DeepSeek 的 App 版块号更新为 1.7.4，高下文窗口从 128K 提高至 1M，常识库约束时分更新到 2025 年 5 月。
社区坐窝容或了，民众纷纭在猜，说这即是外传中的 V4 灰度测试吗？
但接近 DeepSeek 的东谈主士很快给出了含糊谜底："这不是 V4，即是一个小版块更新。"
随后外媒又报谈称，DeepSeek 将在 3 月 2 日发布 V4。报谈还暗示，V4 将针对国产芯片进行优化，是该系列大模子中第一个完全基于国产算力生态的版块。
这一音书很快被多数国内媒体转载。
3 月 2 日到了，无事发生。
紧接着第二天，又有音书称 V4 "极能够率"将在本周发布，还有败露的基准测试数据夸耀，V4 在 HumanEval 上得分 90%，算作对比，DeepSeek V3 为 82%。
事实上，HumanEval 仅仅一个初学级的代码生成基准测试，面前已趋于筹备弥散，根柢无法完好辩别顶级代码大模子的简直才气，是以那时我就认为这是个假新闻。
竟然，眼瞅要到 4 月了，V4 依然莫得出现。
当今还有报谈称 DeepSeek-V4 展望在 2026 年 4 月负责发布，要点提高长久记念才气，并深度适配国产芯片。
宽限的原因众说纷纭。有东谈主说是模子鸿沟扩展导致试验程度蔓延，还有东谈主说是多模态功能的整合比预期复杂。
但有一个细节值得阻拦，V4 的中枢卖点之一，即是"超强编程才气"。字据败露的信息，V4 能处理 30 万行代码逻辑链。
而郭达雅，恰是 DeepSeek 在这一块的主心骨。
DeepSeek 的中枢斟酌东谈主员未几。从论文作家名单看，庸碌出现的名字不进步 20 个。
在这样一个精英小团队里，每一个皆是弗成辛劳的，更何况他照旧郭达雅这样的超等大牛。
意旨就摆在这了，若是 V4 生效了，阐明 DeepSeek 找到了替代者，或者团队生效完成了本事交代。
若是 V4 再次宽限，或者代码才气莫得达到预期，那么郭达雅下野的影响就会简直涌现出来。
从当今的情况看，DeepSeek 正在资格一场严峻的进修。它需要讲解，即使失去了中枢东谈主才，它依然能够保捏本事改进的节拍。
接待在批驳区留言 ~
如需开白请加小编微信：dongfangmark
21点游戏官方网站kaiyun sports
备案号: