网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!?
$ x' N0 `( q- g# n4 i& }1 \6 y) b3 E1 T9 W& |

0 Z4 @) }9 S- }  p. W, M9 \* a全网都在扒的DeepSeek团队,是清北应届生撑起一片天* D+ V9 N4 u! |6 Y, z% O, N" X
https://baijiahao.baidu.com/s?id=1820416672677804227
0 [, H  O. h% b' \4 M" q" m' r+ }7 u
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。/ t7 i  p- @% o
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。
) |/ I3 i- y! j" J/ o- v2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。
- u  f# A' w! S/ v6 H2 q郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
, F" V/ ?$ J6 U% ]* ?。。。。。。

! Q; V0 [$ @0 i) T" Q& @' p
% ]+ [( u1 p% J4 b8 W6 ?7 i像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑
% p# A( [2 m+ j2 I6 R

3 F: p; ~9 E" N

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
4 E' c# E! L! Y& y, e6 ]8 T/ s7 V# R% W& h
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
. g3 _1 ?8 z/ t1 D: p他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。6 V0 X1 C# V" g5 ^! _8 Q4 o# E* Y
8 a- D9 u2 i3 m: {
————————————————
: o: ?6 x: o" B) {
( R& \3 X1 v% J! u5 x逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
* x4 \: P7 L0 V+ `( A* d
& B/ C" m6 u4 \  R$ b
" n  v, l- j2 I1 Y# A
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
; d( e& U& U: I9 F* X- r3 w
+ p. x7 _" C6 m3 c$ H

% _; \9 r! ?; N+ y' U' p$ f8 c在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。
& D( Y4 C" ~- b; z+ @

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)# b9 m( H& L8 D" ^# c
. s+ s+ D( r1 J( t, R" I
联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学9 b- `; a! `5 I
+ W. P5 `7 E" n# k( u. B3 [
逻辑学,名列第二。。。& B' _4 s/ j: l" J: O3 _7 F9 _; E

, F& ~* a6 q& V( x# h. U" Y1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。
8 B) X3 y% P! ~' t! }( x- H* P2 R9 W8 V6 g& m
————————————————————————& W" Q% r( ~/ A: F
- A/ B+ G0 K3 j
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?
) [2 [& g; L: R5 v! N" Z. c+ M8 r
1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
* o0 `( V5 a" k1 K6 I  ~这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。+ X4 b+ u6 I  h5 O9 X) y" W4 d
你知道这是什么原因嘛。。。5 r+ @& L8 \8 B2 F- T( M+ j
! j* y6 q, F) o' l- A; q* L7 S

+ c6 t# ^) D4 F! j6 X1 c1 o- P
/ B" z  ?1 a; g" k
2 K+ ?) M4 K) r6 i7 k1 W; f, o

5 g) Y6 n+ n* s" K

1 I0 S8 O. r0 J' z8 V8 F: I  h' P& x2 {- z' c& }/ B7 Q

中级站友

Rank: 3Rank: 3

143

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15
% G5 i; t( g7 Y* c这比带资进组还要牛

" |3 R( U. y( q7 R& ~
+ C  t5 l/ {, E7 S; ?0 _+ ?; r5 g( N# I" k8 X. S: |- U- R& S

9 W& z( F' z( S4 ~; d' \

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI3 G6 I$ P3 ]3 k
https://m.163.com/dy/article/JM8VTSQB0511T1D2.html
" W' g" o: ^! c5 }: {( C! @6 I4 R' [: ]% T. _' v' j+ ^
这家杭州科技公司创始人,为何成为总经理的“座上宾”?$ o# S8 t# |6 C6 o6 z! C. @5 O5 A- j
https://export.shobserver.com/baijiahao/html/849060.html1 p7 B  p, E7 y1 i8 T5 P1 b# N
5 c3 o+ {5 d2 A* ^' Y0 p
梁文锋是谁?. d3 z6 s6 w% y4 U$ q, @9 C

4 ]6 [- v% ^) t) Y  l5 ?5 w% e说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”& f1 q! Y$ c) V8 P& ?  z
8 j6 Q! W8 h# u& [# k0 n6 o0 H
【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
1 g" b% k$ b" ^  {1 w* m3 S4 a4 P0 |2 U( R/ K

% \6 n; f7 K( F* J' P% K) N; ]7 R6 d- \+ M* R6 B

9 }% U8 L6 Z. ?6 n; _- {
/ Z9 H0 r: N; h5 _4 N0 k! Z, U$ T/ Y$ r0 A, K
+ c! p: ^' l3 o3 [" ^3 v& L- U

3 L3 V" B- e  T* B3 t8 U& e

9 G5 j- o2 v3 o0 E4 H4 k

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:48:17 | 显示全部楼层

3 O2 O* E$ v9 h8 ?* s“东方神秘力量” 爆火国产AI大模型背后的年轻人
3 ~* K5 @, R) w; [: zhttps://tech.ifeng.com/c/8gMIT2sFcxI
$ Y) M; ?" [, a4 b: Q  ^" F# {% B! {; m$ N5 |. c
2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。: h' Q6 Q, ^  B5 O5 u# E4 N

) N  q! M% y+ A8 ~  q两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
- D/ q7 m; f+ _8 U* T/ y% n/ i6 J- B; |8 {
DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。+ N. i6 F$ @/ T( J

# |7 [% Y1 T; \核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。
) u2 x" ^5 n. E3 j3 |& Q/ I, ~( X6 N! a0 `& c
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。
3 t+ M4 ~2 X' ~4 e8 H6 m- ~2 N, R) w+ D( t( N- ^2 _% m" s
。。。。  Z$ O' c9 a. k# x( p; M

9 c- k) j2 y9 Q* N' U) j负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。0 Y1 T' {* f/ k4 p+ }

$ q* _: I' i* wDeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。
; k1 j) Z( ~3 F

白银长老

Rank: 8Rank: 8

3538

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48% e/ d6 C$ e. B4 T" a
“东方神秘力量” 爆火国产AI大模型背后的年轻人
4 \" M' g! E9 f5 X( Uhttps://tech.ifeng.com/c/8gMIT2sFcxI

7 b  _8 n& A- \" o* [2 {+ W2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
6 Q, a  N8 w+ n% d3 ?3 U$ _1 |* J# U, {2 C' J' ^. j
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。
' r+ U! k! d  Q8 f8 v
) N. ^( E' d$ g6 ?# Q6 F梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。
: i/ g- n- V+ p% {# @& K& j3 `5 c( v: K, D
在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。# W2 `& G) ^5 u6 k( ?: r: }

# M, Y* R7 Q) |' I2 P0 I( G他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

402

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41# _* [  H) R0 `6 i7 I
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
6 q( w3 G$ x. Z# Ihttps://m.163.com/dy/article/JM8VTSQB05 ...

4 ?2 r, l0 i+ B4 a1 u3 o7 |梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
" D3 A6 c2 d) |2 c1 T* Z# U
7 q0 s$ c/ N3 k% n  l' pBTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。
8 q- s$ k% e! A3 x5 `段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。8 u& o2 X5 r: ?; I
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
! x$ S7 e/ K) g# I陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。
# ]$ f& L' u) \* u! K梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。
7 Z0 x8 g! X! x…………8 W: ~( k6 e& `
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-10-8 02:54 , Processed in 0.033768 second(s), 23 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.