大厂抢郭达雅进行时！DeepSeek核心成员还是个“综艺巨佬”

Core Viewpoint - The article discusses the departure of Guo Dayan, a key engineer at DeepSeek, who has significantly contributed to various models including V2, V3, and R1, raising concerns about the potential impact on DeepSeek's future developments [1][6][7]. Group 1: Guo Dayan's Background and Achievements - Guo Dayan is recognized as a technical prodigy with a remarkable academic and competitive history, often referred to as the "Lei Jun of Sun Yat-sen University" [2][42]. - He completed his doctoral thesis requirements just three days after starting his postdoctoral studies, showcasing exceptional research efficiency [3][35]. - Guo has won multiple championships in competitions such as the Tencent Advertising Algorithm Competition and the ATEC Technology Elite Competition, earning substantial monetary rewards [4][44][46]. Group 2: Contributions to DeepSeek - Guo Dayan joined DeepSeek after completing his PhD in 2023, focusing on code intelligence and large language model inference [8][10]. - He was a core contributor to several models, including DeepSeek-Coder, DeepSeek-Math, and DeepSeek-Prover, which have shown significant advancements in mathematical reasoning and formal proof generation [13][18][21]. - The training cost for the DeepSeek-R1 model was approximately $294,000, indicating a relatively low investment for the capabilities achieved [25]. Group 3: Future Implications - Guo's departure raises questions about the continuity of DeepSeek's innovative projects, particularly the development of the upcoming DeepSeek-V4 model [6][10]. - His contributions have been pivotal in demonstrating that large models can achieve reasoning capabilities without relying on human annotations, which could influence future AI model development strategies [24].