网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!?
8 d) _( I. E8 \& {; w7 d2 q, Z% u/ D7 m2 g

+ l( @! a4 w( t( ^! U$ L全网都在扒的DeepSeek团队,是清北应届生撑起一片天
( a6 ]$ S$ \' t% T. L1 |' c& vhttps://baijiahao.baidu.com/s?id=1820416672677804227
9 ?- [' E9 d/ j0 Y- \. @; a5 g/ T0 e2 L8 _' j4 F9 G4 Z
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。: Q3 `7 E/ F/ H
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。
9 l$ r* A# ^$ L- C8 h1 U, I2 K+ q2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。6 |  h7 z; K9 t3 l4 j; M6 _
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”& _- y9 t3 ^, H! w% x& `' A
。。。。。。

4 b; r+ S; z( W$ c5 G5 z
, G6 A- x5 b1 R% F& r像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑

# e4 A+ g3 c+ @! S* j' j4 Y; a+ W. p3 K5 o

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
& T+ V, T! }4 e( ~: H/ e% U1 i% D5 _6 \8 O4 y
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。( T& ]1 g1 F2 \) j0 J1 e
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。7 R$ n8 D3 x& _, v# \# n
) T& P( U& q1 A7 ]2 n( f
————————————————, s% ?# {3 H/ l' ^# s

6 S; D) p, N4 y1 Z) \逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
' R9 o% a) H) a) P4 [* C) ^
) e7 `+ \" e: l8 S' B

! l+ Z3 [' x& E$ H中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
7 k; L. h$ W9 e3 ]: r. k9 F3 Y0 W$ ^! D+ t

: K9 Q9 j( o( @- M! o$ j6 h8 J2 \在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。
$ J' f; d# ?% J8 s: p3 {

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)' Q% u8 k2 |. y  I5 d3 b) n

3 k5 K; s0 D4 N9 t; h* Z$ l/ L联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学
( x3 }1 d1 P# g$ h
. N/ t, m3 D7 y/ q) p+ Y& M逻辑学,名列第二。。。
% I. r) B& v  m9 L
, M; j3 _" [1 Z* ?6 j1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 ! _- b& ?  g6 @0 {) @
6 y" t( v# a7 _- K" _# X
————————————————————————
4 ~' w( r" r0 ?" @- }% ?0 [, i
% C# r4 ?. T) E$ y. W- I2 H3 P(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

, p6 d6 R: c$ B/ t1 @/ `& v1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。8 T* k! N' x& s+ \6 A. g
这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
- B; M4 q  q- l& a0 W& e  y你知道这是什么原因嘛。。。
; J3 ?% d8 |0 c* @7 S& \
& M% M# Y* D) E1 t4 N

) T" v6 O& F" ^. E0 c4 C/ ~( o: u2 n. ~. V* E
% C4 H1 r) d% b: G$ y

3 ^7 X* l! i6 G1 g* T/ v4 V
7 o8 J, ^$ Q( [9 S6 U! A& N+ J( r

% X9 y1 f2 B' z! x. ]  J

中级站友

Rank: 3Rank: 3

156

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15
, T6 b! A$ h2 i7 I2 ~5 `( v% i4 w这比带资进组还要牛
. j) k& T& g, s6 p

) m- ?2 g6 S6 N; w4 g6 v: f8 W; W& x( E( a6 ~# q( R6 L

. ^' V7 X; Q( r5 w) e$ u  q$ B

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
4 K. b! q# z! G0 Y1 ~: uhttps://m.163.com/dy/article/JM8VTSQB0511T1D2.html8 x* N/ r4 t4 @$ M- y6 J0 O

7 J! H5 I) K. A) w" I这家杭州科技公司创始人,为何成为总经理的“座上宾”?0 F, R6 Q9 d8 D& S3 b6 E
https://export.shobserver.com/baijiahao/html/849060.html9 O& o! ~1 V* l7 O
; G$ w" D( |% O; ^& N, n
梁文锋是谁?# c: O* c2 ]# Y

3 n1 ?9 N! K  V7 P/ n: P4 b; r$ D0 |说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”) A2 N# s0 Y7 E1 |* v+ W* A$ R% c

  J/ _0 \2 P! R* z: K8 H5 v【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
, V9 a1 x+ S$ d6 o' h2 w& d: o) Y! I1 ?! x5 w- d" `

- X6 t6 k9 E4 v: V. p+ h9 u1 f5 `/ B0 ^6 m# U4 x9 x. W

2 x: Z' k9 o8 \& k$ a2 @+ U9 n0 B  E& `

# t( A* G+ Z) h. n" Z3 \6 I0 _# x0 _  Q1 _" X' R3 M; d

5 i% m0 I; \9 D* z; H# e/ ^9 b/ ]
3 ?, W4 l6 P% w3 H4 f# e

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:48:17 | 显示全部楼层
2 l" j( v8 `1 X* T/ a
“东方神秘力量” 爆火国产AI大模型背后的年轻人
2 t7 `) E5 E0 G$ T8 P" l' U' Ohttps://tech.ifeng.com/c/8gMIT2sFcxI
2 Z8 R3 p2 {5 g/ W5 O& t% X' L4 E! d7 \  e* N9 B
2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。
( u3 d9 i# Q( D+ t1 R
, w$ l: Z" t1 p! d$ G/ p两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
% j# @  w! q5 k" k/ q# t- F2 G
0 z, ~9 ], w  g# r" E4 t; n0 \DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。
& q4 k# J/ x2 N- q. m3 Q* t* }
0 h3 u* V! f5 y, z+ v3 _$ f6 j核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。
$ l0 b5 ~' ~. V. F; \/ m9 Z7 _! N% Y  J8 K
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。; G' o9 k+ p# b$ a

3 L; q: ]* M6 }# d' C& u4 Y  w。。。。
, R4 ^, q3 `, H8 E' Y0 Y0 N# s3 X! p4 |+ c
负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。
0 L' v) l( W! V
. \6 N  e# u* I+ M3 J" }! oDeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。

1 l9 m: P7 N" D7 i2 {& h& h

白银长老

Rank: 8Rank: 8

3398

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48
0 ]! i) U5 W' v7 A) e% }' Q“东方神秘力量” 爆火国产AI大模型背后的年轻人
+ N5 K  S0 f% V% Vhttps://tech.ifeng.com/c/8gMIT2sFcxI
+ t; x% K. J0 K/ n( h/ H
2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。1 i0 W6 Y$ S+ j# d: t$ x

7 d* U0 O5 `! a* G不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。( S" m# e& a  w+ {  r# Z
) l* X. Q9 [9 L. B* U' K
梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。
) @0 d; G2 J/ P/ z! u
; `& s4 w1 ?: p# ^在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。3 `) J" H! U0 o- c

% A* p: ~1 A8 _2 S他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

256

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:418 q; T4 y, n0 e: b
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
3 h& x8 G/ _( n2 I5 Xhttps://m.163.com/dy/article/JM8VTSQB05 ...

6 h% k& |: i+ a3 d- O梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
$ Q# P2 d7 p, @8 U: f& A+ K" U5 M3 U; [* K$ C  U* V, ]
BTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。
, t! b0 ^8 _- O$ D段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。3 h. G2 C' d2 \" {# y! P* M
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
6 Z! M7 Y& [; {9 i2 U# O陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。3 }, t  o% {2 e8 C8 E' c
梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。
% x! w7 S& l  d- […………
6 @: o/ O, y4 k1 f+ n" A# s6 H9 G
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-6-5 02:51 , Processed in 0.077148 second(s), 20 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.