据字母 AI 消息，DeepSeek 核心研究员郭达雅被曝正式离职。

而被行业期待已久的旗舰模型 DeepSeek V4，已经经历了 4 次传闻中的发布窗口跳票，从年初的“春节前后上线”一路延期到 4 月，至今仍未揭开面纱。

郭达雅可不是普通的研发人员，他是 DeepSeek V2、V3、R1 三大核心模型，以及 Coder、Math、Prover 等专项模型的核心作者，全程深度参与了 DeepSeek 关键模型的完整研发链条，堪称团队里的技术顶梁柱。

deepseek308_IO人工智能