DeepSeek核心工程师郭达雅被曝离职，他是V2、V3、R1等一系列模型的核心作者。郭达雅于2023年博士毕业后加入DeepSeek，专注代码智能和大语言模型推理。他参与的项目包括：2024年1月的DeepSeek-Coder代码大模型，推出1.3B到33B系列开源代码模型；2024年2月的DeepSeek-Math数学推理模型，提出GRPO新型强化学习方法，成为R1推理的关键技术；2024年5月的DeepSeek-Prover形式化证明项目；以及V2、V3、R1等主力模型。郭达雅在任职期间贯穿了DeepSeek一整段主线研发过程。学术方面，他博士入学第三天便完成毕业所需论文发表要求，多次获得腾讯广告算法大赛冠军、ATEC科技精英赛冠军、微信大数据挑战赛冠军。此外他还参加真人秀《燃烧吧！天才程序员》，作为仅有的两名SSS级选手在60小时极限挑战中展现顶尖编码实力。