DeepSeek核心成员揭秘：他在刚入学的第三天，就完成了中大博士生的毕业要求!?

besthread

在刚入学的第三天，就完成了中大博士生的毕业要求!?


4 e2 C3 J, K! \: U" N/ I全网都在扒的DeepSeek团队，是清北应届生撑起一片天
https://baijiahao.baidu.com/s?id=1820416672677804227

吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。
6 A  v9 p. ~1 ~- Y与他师出半个同门的是郭达雅，中山大学印鉴教授与MSRA周明博士联合培养，2023年博士毕业。
% R( {1 E1 n$ H. U0 ~, V! C2024年7月他加入DeepSeek，主要参与了一系列数学和代码大模型的工作。
郭达雅上学期间还有一项事迹，本科期间在MSRA实习一年里发表两篇顶会论文，他笑称“在刚入学的第三天，就完成了中大博士生的毕业要求。”
。。。。。。

像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。

) w* R. T" K6 s, q2 F5 d& v

besthread

. ^) a: O+ E: A" S5 u* b3 z+ {
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover，现在在爱丁堡大学读博士。

' t9 m$ V, J, W————————————————
, L8 h- f2 k; N8 Y) T6 Q
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日（World Logic Day），以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇，也是国家一流本科“逻辑学”专业建设点。

4 M. i& T! X$ ?/ c
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
/ l# ^7 f8 M; J* w

在国内，中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上，中大与某大并列第一，但综合多方面看，多数时候中大独占鳌头。。。

besthread

（楼上）

联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学。
& V3 O# }; f% u/ g6 E
, ^5 X, A: A! c4 W2 j( w逻辑学，名列第二。。。

1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。
, @- Y( G5 R) O! B* t
————————————————————————

9 w' U! X  I# Y8 B8 y（转）联合国教科文组织，确定的第二大基础学科《逻辑学》，在中国是为何被踢出教材的？
, X9 q3 {4 y8 r  a* l1988年，中学语文教材删除了有关《逻辑学》的内容。90年代，在很多大学，《逻辑学》从必修课变成了可有可无的选修课。1998年，根据国家教委颁布的文件，《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此，《逻辑学》这门极其重要的课程就这样无声无息不见了。然而，联合国教科文组织于1974年所确定的基础学科中，逻辑学等作为构建学术研究与教育体系的重要基石。
这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道，逻辑和语数同等重要，是思维和推理的科学，对构建严密论证体系至关重要。这么重要的学科，还是从中国的教育体系反而要弱化，甚至取消了。
! N- G: s9 i% p你知道这是什么原因嘛。。。
5 J8 P0 ?7 P' ^& T* ]. s9 G/ |
. y' o0 _# d) }9 v2 C* N+ o

% I- N- H$ ~2 C9 P" P" n- A% ]5 F

6 _+ ]  `( A# T/ Y5 B9 n% @

yxl1218

这比带资进组还要牛

besthread

yxl1218 发表于 2025-1-6 09:15
这比带资进组还要牛

' b% G; \4 x" ?9 O/ _
# B0 g) _0 N4 ?: ?

besthread

DeepSeek创始人梁文锋，广东人，仅靠百名中国程序员，赶超OpenAI
8 Y0 q: k" B; t* @9 Y* d5 Dhttps://m.163.com/dy/article/JM8VTSQB0511T1D2.html

, g  z/ b, A0 R4 @, z2 r4 A这家杭州科技公司创始人，为何成为总经理的“座上宾”？
: u/ a. O/ @% Thttps://export.shobserver.com/baijiahao/html/849060.html

8 ]1 z) |1 y- T3 t6 y2 n: J9 `梁文锋是谁？

说回DeepSeek创始人梁文锋，他出生于1985年，广东湛江人，此前他接受专访时自称，“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
9 a+ b* y6 H; q9 a0 V/ v
【DeepSeek创始人梁文锋，广东人，17岁考入浙大，30岁创办幻方，36岁管理千亿私募，仅靠百名中国程序员，赶超OpenAI】
) k8 q, _) b/ \! |8 U
2 U6 F. p- q9 K9 u8 C+ [' J" W  `. ]1 L





+ p- x! l) |0 \, f+ s: l" S

* S3 `6 S. v; O/ J0 b/ _% Z

besthread

$ E8 e& W  u1 {6 g“东方神秘力量” 爆火国产AI大模型背后的年轻人
7 q1 U/ r$ H" w" `( yhttps://tech.ifeng.com/c/8gMIT2sFcxI
7 l: ^6 l9 T+ r& F
2023年5月，DeepSeek-V2发布，相比于国内外主流大模型，大幅减少了计算量和推理显存，一问世就备受关注。做出这一突破性创新的，是年轻的高华佐和曾旺丁等人。
; S& _0 c  s& H, Q1 h7 j/ `, q) o
两人都刚从学校出来没几年。高华佐来自广东，2012年在华南师范大学附属中学就读时，曾获第29届全国中学生物理竞赛一等奖，并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县，2017年至2023年就读于北京邮电大学人工智能学院，硕士期间主要学习人工智能方向，导师为张洪刚，2018年曾获全国大学生数学竞赛（非数学类）二等奖。
* _! W& F9 R9 K) ?* g
" Z' q$ ]5 u9 R7 l2 tDeepSeek大模型的另一大突破，是通过一种名为GRPO的算法，创新训练方法，大大降低了成本。其中的主角，依然是这些看似缺少经验的年轻人。

; L) u6 X6 W: k* O核心成员之一邵智宏此前是清华大学交互式人工智能（CoAI）课题组博士生，主要研究自然语言处理、深度学习，对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院，加入DeepSeek团队之后，参与了多个重要项目的研发，包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。
9 d. k$ L' G& U/ n5 d& u
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生，专注于深度代码学习研究。在校期间，他展现了惊人的学术能力，发表CCF（中国计算机学会）-A类论文16篇，获得了软件工程领域顶级会议（ESEC/FSE）杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作，正是基于自己的博士论文，主导开发DeepSeek大模型的一个关键项目。
, ^5 |: G- U8 E7 E4 c1 F
3 F" B. F5 \' Y; r- Y。。。。
: K& H" ?- z# k( ]5 u5 W
负责DeepSeek大模型训练及推理基础架构的，是同样刚毕业的工程师赵成钢。加入DeepSeek之前，他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时，他是信息学竞赛班成员，2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时，他成为学生超算团队正式成员，三次获得世界大学生超算竞赛冠军。
  p" x2 t7 a( C/ O8 P
DeepSeek团队规模并不大，不到140人，工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校，鲜有“海归”，而且工作时间都不长，不少还是在读博士。即便是团队的管理者，也非常年轻。

besthread

besthread 发表于 2025-1-22 23:48
/ `& X7 v8 X" k# C$ L“东方神秘力量” 爆火国产AI大模型背后的年轻人
( N) U  Y' ?6 U# p* P! W1 s# f; ehttps://tech.ifeng.com/c/8gMIT2sFcxI

2022年底，ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司，从语言大模型开始，后边也会有视觉等。”实际上，OpenAI公开论文和代码后，国内外出现了许多大模型公司。梁文峰认为，在未来20年，大厂和创业公司都有机会。
5 O; J+ I1 j) e* h( P
8 A  Q9 f, V" h; A0 R. v( v* |不过，直到第三代大模型发布，DeepSeek团队依然没有上线相应的应用，尚未全面考虑商业化，而且与多数国产大模型不同，他们选择了开源路线。
1 S: M9 h# q% |8 P# T* r1 v5 y
梁文峰向媒体透露，他和团队的目标并不是做一个应用，而是进行基础研究，只负责基础模型和前沿的创新。
/ Y9 G6 k+ t# b" Z
6 L. x" c: p3 O! k0 M) Q在互联网时代，很多人都会有一种惯性思维，认为欧美科技圈擅长从0到1的技术创新，而中国人更习惯从1到N，在应用层面发力。“很多中国公司习惯follow（跟随）而不是创新。”梁文峰认为，过去30年，这些企业更强调赚钱，忽视了创新。

' ~: E' S9 s0 O5 h他相信中国AI不会“永远处于跟随的位置”，希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

cryogenics

besthread 发表于 2025-1-22 23:41
4 x3 o; h4 X9 }# \# c& UDeepSeek创始人梁文锋，广东人，仅靠百名中国程序员，赶超OpenAI
1 I1 ]% z4 q  N9 K" h# U7 Qhttps://m.163.com/dy/article/JM8VTSQB05 ...

梁文锋是浙大信电系2006届本科、2010届硕士，人很低调，两年前匿名给母校浙大捐了2.5亿。

BTW，浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生，加上后起之秀梁文锋等人，可谓牛人辈出。
) \9 z9 c0 m% A9 [% V段永平：1961年生，江西南昌人，浙大信电系1982届本科，商业教父级人物，千亿级隐形大富豪，已累计给母校浙大捐了16亿元人民币。
郑树生：1966年生，浙江江山人，浙大信电系1987届本科、1990届硕士、1993届博士，曾任华为常务副总裁。后自己创业，任迪普科技、宏杉科技董事长。
陈明永：1969年生，四川达州人，浙大信电系1992届本科，OPPO创始人。
9 {! t+ a9 ^; x3 g3 n9 v梁文锋：1985年生，广东湛江人，浙大信电系2006届本科、2010届硕士，幻方量化&DeepSeek创始人，已给母校浙大捐了2.5亿元人民币。
0 R! `6 o1 D. S5 v9 \…………