网大论坛

 找回密码
 立即注册
查看: 5740|回复: 8

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

[复制链接]

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!? 3 Y, |  X8 k7 b2 F# B
1 x. I; m0 G& L* Y
" f9 G! n7 C0 F% t! o1 Y: f, ^5 q
全网都在扒的DeepSeek团队,是清北应届生撑起一片天! r4 W; u4 N& z& @8 F7 G
https://baijiahao.baidu.com/s?id=1820416672677804227! N/ z# M& K# r
) R- B- j  F; z
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。( |2 t* z2 V; i& z
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。- O( m  N  _7 @! ?
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。
- r) c/ W0 w) v1 d郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
0 S$ A2 @. p# a. r- D, t* H2 f% |。。。。。。

3 ^6 b+ s% ?  c( d/ Z( d/ I4 v7 w$ i3 E- g' Z0 W  {
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑

8 f1 m9 Q$ Y" p0 q5 X2 b. S, J; L: w. s% o8 U: |

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑 + p) J. M/ j0 X5 i/ j1 C# b# Q/ F; N- Y
# G0 l1 _( ~- p" F( o
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。4 l- k8 C" M% K" n( O
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。9 W& N; r( w  V' M* b" ], M

  l+ k, l7 t0 C! S3 y; F  ~4 ~3 @————————————————( i1 H0 S8 d! W
8 u! `& e$ `/ q" v8 S& |9 F) u
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
3 ~6 @7 n+ g+ l$ M( p/ Q& t

3 V( f; e3 H; _% _! D. P: c6 ~$ e9 H
. s; C4 t- r5 j( r
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地: x7 l5 T: N* c/ j

8 w( c- X0 v" L: b% t
% _) l' t$ a. S* c$ p# c8 R- J& \- O
在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。
! H  F# e! J  i4 T+ p) H$ |4 V

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)6 e1 m: _$ p7 o( a

* @9 V; c! S+ I/ y7 i% [' J联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学$ j: E$ j6 Y( e* p2 C
5 ~! n/ [2 C& x" ^
逻辑学,名列第二。。。+ d  E. H% A8 x# x: N+ v

, I4 \  A/ t/ G. o! V1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。
1 |6 X7 d% }, m2 a3 C  F: `  a/ T- a. Y- w& W% ?: c
————————————————————————
! y9 \3 W' G5 v" V- U3 }" C2 R4 j0 g: [$ v) k( d# f" E2 {6 j% l
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

" ]7 L, D! J# D4 P1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。3 A( H! r9 \6 X/ I
这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
2 q, q6 s- |) w& {/ ~你知道这是什么原因嘛。。。
) G2 H/ V% s* h4 T8 T2 z* S/ o, j
! @  C$ ~7 p; C
6 @" Z1 B  K$ {3 N4 g( @5 R

( s- _3 V8 V' G1 e+ D

' m3 M1 u! e1 y' c6 a3 ]) S" c8 O+ Q1 s- R$ k; e0 X6 z, m  x

" L, s% t: p$ |! T& o2 n( b8 q: w0 \; e- Q' N- B

中级站友

Rank: 3Rank: 3

156

积分

0

贡献

0

奖励
发表于 2025-1-6 09:15:54 | 显示全部楼层
这比带资进组还要牛

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15' Q% S; B% u3 P) ~) M
这比带资进组还要牛

/ h9 k- f' W& c, k& h% Z/ p( t5 r* \. K+ w
8 J4 s' t* }& ]+ h' L+ `9 f9 n8 y
( e& @2 y' n; Q5 O6 A" ?

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI3 T4 W* [4 o! _, Y6 L8 J/ z) D! }
https://m.163.com/dy/article/JM8VTSQB0511T1D2.html
/ t( ~8 K/ [6 }" P* X5 g5 U- [1 ^" N/ P: ]; M1 `' u
这家杭州科技公司创始人,为何成为总经理的“座上宾”?1 J( M' w! a5 z* u  |
https://export.shobserver.com/baijiahao/html/849060.html5 r4 [; c5 q8 i* L- ^7 h9 j
  l$ T. b9 m4 v! N
梁文锋是谁?' C% V* ^5 t- f4 z, P' \+ W0 M
1 \( U/ X! y: f( O4 d/ `: P
说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
" g, T% t0 ^3 o3 b  M
2 e) ~3 O/ T) x  Y【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】0 c  Y1 Q! R7 C! d( H2 K, f3 F" C* f# H

5 Q1 ?; Q; N" z( C! `
. q3 q7 K) m* B/ U
" K6 f! v# N* `0 a$ H4 c6 a9 D$ n* c+ N8 W, Y9 B; P5 B/ ?) ]' U
& C6 `/ D) t: [1 X8 p, H  O
" l. k% n3 [' ~: w2 f
- W. v/ D" d% O2 R
" o7 r( c( A; `: b

& d6 ?4 D  R) @) y

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:48:17 | 显示全部楼层
) D: @( C' @( p& }9 B
“东方神秘力量” 爆火国产AI大模型背后的年轻人, K. B" q- L7 z9 O" I
https://tech.ifeng.com/c/8gMIT2sFcxI
5 r- G/ x/ w  {( r4 o1 ]: u
: o$ m7 n' a: U' o" e* H3 B: A2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。
* J; _' ?8 K* T2 ?$ @! N9 r: J& ~  Y6 q. u+ J( t
两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。/ o. x! t  {# v" r; z' }- q; I. W

8 l* O% s9 r& ^' jDeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。8 n6 r, \6 D/ b  ?$ F6 k, E# q

1 E/ n3 T6 M$ T* O: P% O5 Q7 N- ~' y核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。
+ e$ O+ W+ X  A7 P8 j
3 `1 s& d9 ^- m( r. ~GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。/ D' T$ h9 {, j1 N# ~  ~
" Y3 ]5 F8 g4 M0 L
。。。。" k% }7 C# X& d6 C. R6 b

1 d5 m$ X8 w2 X$ t8 j* q负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。
# U8 {9 y# h  R
# |: l) w6 `! m3 vDeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。

. x3 C1 Q* @  o% q( B& S# C5 _

白银长老

Rank: 8Rank: 8

3324

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:483 s9 B4 G1 s6 C3 v+ Z
“东方神秘力量” 爆火国产AI大模型背后的年轻人
1 e* E, u" R# P  \1 Qhttps://tech.ifeng.com/c/8gMIT2sFcxI
) }( t2 }; @. ^4 F# f8 {# X* p
2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
8 U( [' g; m( L9 C! R6 O& r2 q: H7 C
/ [7 r: ?1 \6 ~  M$ {8 H& G8 s+ z不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。
' U+ C5 C! p; d, A. c% a% P
2 e( x1 o' k0 A  W9 M/ S6 C梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。
$ i2 W, ~, Q0 C5 l% j3 A3 f% F
' d& d( F! }6 L. G; y7 F在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。& @# v/ C( c5 \$ ]3 ~$ M( e8 ?0 F
! D" B6 D$ J+ e* L$ W0 z
他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

239

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41
# A' M9 ?  e/ x7 lDeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI" g7 H# h& J5 ]0 ^
https://m.163.com/dy/article/JM8VTSQB05 ...
5 q& B  W2 {) t) b$ |
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
. h$ ^) h, ]1 s( Q$ H  |0 Q! |+ _- t: l) B; b6 ^. J: Q
BTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。' u+ n6 m) S. G5 T! C' z
段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。# |" t! L& B% u7 n. I, F
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
* N1 G7 @1 V" J陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。: ~- |( t; h! y; _+ k& I$ f
梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。2 {- ^- f# k7 \# q, j# s
…………
* d2 u0 ]! q3 C5 V2 k/ ?
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

论坛的微信公众号(二维码如下),关注获取更多科教信息

Archiver|手机版|网大论坛 ( (鄂ICP备2021013060号-2) )

GMT+8, 2025-5-3 05:53 , Processed in 0.057438 second(s), 20 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.