网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!? ; I$ z7 K- Q% M
" Y8 i- t+ |$ [7 t  V

% E6 g# d8 l! p6 d全网都在扒的DeepSeek团队,是清北应届生撑起一片天# _  n% D9 b' A
https://baijiahao.baidu.com/s?id=1820416672677804227
* ~" _0 x$ h3 `5 ]7 s6 V, |, o! k! s8 s+ h2 [. f: i
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。% h7 i& T+ d  o" v- x% U6 @
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。1 ]. ~6 A# f8 l. Z" E( p
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。: R. ?; W7 x$ z
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”0 ]2 n0 l) G' f( v1 ~. ~( \
。。。。。。

- {$ M# V, B+ K2 O2 @! Y7 I+ ?% p$ A2 e
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑

' l+ F2 B( j2 v- p1 f
/ z4 y/ c' v5 v

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑 " q, Y! v( X8 e* ^% n* m6 X% G3 O6 H
; l; ]7 M' p  [
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。6 p/ j* j& A8 R  V1 t! ~' H
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。+ a) M+ G7 `, r$ L4 F. ]
( N2 L# A: h6 R! k
————————————————0 @. m  g. L/ l# y2 j$ f
; h1 V/ d" ?+ ^6 p( D7 x
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
& @; e8 J+ u- g1 Q

5 Z! T% J2 S3 N: e- v' O6 @+ ~
6 F$ E0 S8 {" j) _* ?
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
5 o3 R9 d  e+ y) |% K1 n( I9 @: {: p$ B% j" t: A' p

- @( |0 s, f& k( t5 L3 Q5 @在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。' x9 g* y$ M) Y1 {

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)7 C: }7 @5 ]1 j" {8 t3 S7 C

/ o0 Q  @  y9 c! K$ M联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学" @$ \$ J3 H' Z% n$ T/ {
* @. P3 y( ~! q$ y7 {" a- k
逻辑学,名列第二。。。. W& J1 _/ L& J9 Q+ Y: L

" `5 h5 Y4 T! X4 v+ |, ]7 n1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 0 W/ x! ]1 K* |& w8 R
. p. |2 k5 {3 y5 k6 F# O) V
————————————————————————9 ]4 [$ ^' r$ {/ _$ m

# ]: V# Y0 ?( Q  @' ~& A# J4 x(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

* [+ f) _" L) R( ?6 Q% ^1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
+ E! x: v9 e0 H7 J" ]9 r这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
: Y( m5 l- K6 Z* _你知道这是什么原因嘛。。。
. |% g6 c" k3 i- _  K& Z+ N( g3 D" h4 X6 c9 r5 ~9 D8 A/ k

; q& D$ b- a. f% o1 d9 _4 w# L9 H) u) H! q* O, r" ~( Z) H

  }9 g8 p0 i8 e# `) d. G; F, e* P3 O5 _# }+ l: J

& J  A) S, f3 c9 m3 J, R1 h0 ^. B. W( P7 D+ [8 C3 X6 j

中级站友

Rank: 3Rank: 3

156

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:155 C8 g5 v; L& D0 _
这比带资进组还要牛
4 N' y: e' @- b& N
* |3 ~$ ]6 M1 K: ?, X/ Q, m

/ v( v0 j1 W. t( Y& H3 `4 T& T* P+ i1 @; W* d) X$ ^

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI* ~/ O' \( H' X' G
https://m.163.com/dy/article/JM8VTSQB0511T1D2.html' ]7 F$ x" M; ]- o% v$ V6 z- R

6 J$ D5 S3 ?, A/ N9 P7 \这家杭州科技公司创始人,为何成为总经理的“座上宾”?
4 ^8 ?9 x+ X" P8 }; J  Yhttps://export.shobserver.com/baijiahao/html/849060.html7 ^, o8 \1 Z5 ]4 ]& N" |9 w

. D  X; M* V+ `梁文锋是谁?
; {$ d+ y% A) w8 y: V) j  q5 }) w, J5 \2 W. O6 r. D" w
说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
  @6 ^* ~. t; z* b4 F1 F3 {* k# t
/ S% K# u5 i0 J# @9 L' F; F【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
" r! F5 x2 \" s* g6 t6 c- V' K
+ ^) x# y6 t- j* W9 ?! y+ w1 r* u$ J% T/ _5 t2 ^  @
# S8 W+ T$ g2 o. R8 G  V9 d7 j! u/ @

0 h9 p2 u8 k9 C  [8 ?2 |3 O7 i( R7 t1 j# X- H1 K$ C0 K" t+ h$ R

" F; d6 K2 k; k( H1 W7 Y5 {4 |# I5 F) C

7 q& G3 I. d: b5 ^

; z* E2 U- `5 s. W

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:48:17 | 显示全部楼层
* p: ?2 O2 ^& j) l5 S2 d0 ^
“东方神秘力量” 爆火国产AI大模型背后的年轻人& `, C& G& _3 b) i
https://tech.ifeng.com/c/8gMIT2sFcxI! I( Y0 h: F: ~/ P0 k, r7 X

6 {: d/ l9 q8 j7 i7 }& c; [" ^2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。
; m8 W0 `, }- s/ Z% V
* z5 K2 ^  g2 j, ]两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。8 ]$ j. Q. E2 M( r% _
4 _) z3 |+ Y+ [3 L
DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。
6 F2 M8 F* L2 Q0 x7 x& Q
# j- d" W! l5 m; ?9 o核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。" t% l, h: F* t0 K
* y0 ^2 |/ ^6 z% w7 }: S0 z9 g
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。
. }- N* b: n" @6 U9 q7 e
- T4 c# t# ~3 p- Y- l! y9 M。。。。
: U1 X9 _5 z8 _$ _% m% B
9 G; s! v) G5 ]$ O; R负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。9 {; o. l4 \" ^, l( c

" _3 x( e; i4 lDeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。
: Y9 v* y$ N4 G

白银长老

Rank: 8Rank: 8

3421

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48& P4 q# \; z3 c+ t8 c8 H
“东方神秘力量” 爆火国产AI大模型背后的年轻人
/ s; R$ L2 @8 Ohttps://tech.ifeng.com/c/8gMIT2sFcxI
4 b8 z0 I" Z+ e7 z0 ^
2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。# N+ M) O$ i5 Z, u$ r8 _/ ]& T

3 l' }; u' \0 z7 Y" {. d4 o) W不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。( b* t/ g& H2 A7 T& A

$ W# y9 I; B! ^# j! x4 S  c& i梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。
# c, ]3 i6 z, B) `: |% [9 c) A& X5 _3 y' u( r  }
在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。
8 ?! w9 Q- M7 ]
$ v4 \! F. x- n他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

289

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41
; t( S2 i1 D* l  P4 iDeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
, v/ a6 t) |; p. C! E+ Jhttps://m.163.com/dy/article/JM8VTSQB05 ...
; y; j, X- X: A- ^; S# V; y# @! b
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。' Z0 P8 G2 a/ ^9 _/ `) ]
+ \8 B' Q9 b3 g& j% W8 M+ x
BTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。/ B( C; E6 `, m  o; Z* ]! w% r
段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。
( b6 N5 q7 ^8 |* Z$ z8 ~郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。/ v$ f6 O& t6 q' F0 s- T  z# U
陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。
! [  e( y$ H! L9 w梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。4 N- U. v8 A2 s: ^6 X) b
…………# P# p+ A. O$ N: ~4 p# F; j
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-6-19 05:43 , Processed in 0.045755 second(s), 20 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.