网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!?
% g) v( ?' v9 ?
- f) B$ K6 b$ H5 y0 z- u
* b) x! s' @2 _6 O# D: A全网都在扒的DeepSeek团队,是清北应届生撑起一片天* s  o* D" \7 f% @0 @7 }. K
https://baijiahao.baidu.com/s?id=1820416672677804227
$ [3 X) q5 N/ U+ `. H/ |! D) \: Y8 b
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。1 L& I5 f7 }' e  g
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。# B: _' h2 M# i4 H( Q) I5 U
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。& t7 e; \4 I1 I0 i- |2 e% l& w
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
3 y# a( W6 Y8 D  R# z。。。。。。
" h+ d: Q& E4 B$ A5 J3 c7 R& m1 L

/ |, M6 T( n2 B像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑

9 p% @3 n$ w! g$ ~; |( w9 v8 i
, C% X. I  r0 e4 W: R

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
% D8 R( r3 d7 }0 n8 g7 g
% ]- v" S) ]) J像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
; c9 X5 _/ |* U+ F# u2 q他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。& v  o, A. D7 _7 W  P; R  f9 _' ?" K, z

* ?% v0 ]- L& E" t% T————————————————, D) n! |* w! o4 X
( \. Y( C  _$ G
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
' M4 o: `! V! ]' p  ]$ ]
9 L7 g7 G! _8 |1 ^
; E4 ]  w' D9 G; e# U9 i: C
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
6 o, e$ T# M( [" k, ~
1 E: d/ ?" E3 @( h5 G; n  K
8 ^* W8 O4 M- b; m$ t+ f
在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。
- L+ ]& H, `" N

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)
% T3 a) }! N; N8 i- O) R( ?4 l+ @& y- E& X
联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学
0 f3 I  p* R. d0 i
5 `: l  u# K% L8 i8 X逻辑学,名列第二。。。+ K8 y$ u+ T; ^* T

9 J8 [# o2 P  @  }5 ~) D' a- b! J1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 , l, O0 a! H  Y- x( H
' L) d( t$ F  ]3 h
————————————————————————3 h2 ]+ u3 `5 E4 c$ b$ b: u* x
! K# T: c$ o2 G
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?
' m% H( _* K2 N6 o( v9 D+ H: J' y
1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
9 O; V# V8 c5 J% |" d# }' t这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
* q  u. D- ?3 \: N  n5 v/ Y你知道这是什么原因嘛。。。" c) d3 _7 U# L# \1 D, ^: E

  w! m2 q  q+ x9 g$ ]; p

4 G5 O) [! H0 c2 P, U' J& s/ ?3 I" ?8 [2 o
$ w$ V: L9 h- u& z5 H
5 z. s+ ]7 Z1 B5 r
; ~: P! G1 T' F

6 z+ Q1 Z7 O/ L" n8 p: k

中级站友

Rank: 3Rank: 3

149

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15  G* N' F3 U/ H5 q) t: H% c6 S
这比带资进组还要牛

! ?# j0 f' x, p0 o( Y9 j3 |; ?  ~
4 P- y5 R" L" W; R/ p& ]7 E/ t; f5 ~# r7 @4 O8 u; I

" {$ y# \- F: W7 f4 T2 N

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI9 v2 g' e. S# x3 y1 `
https://m.163.com/dy/article/JM8VTSQB0511T1D2.html
" o7 \" g$ A) G* k& k+ E: n6 ~9 c8 ~8 y' E' D' o+ c
这家杭州科技公司创始人,为何成为总经理的“座上宾”?
/ l9 T8 w5 z5 ?+ C6 m' [# rhttps://export.shobserver.com/baijiahao/html/849060.html" ^2 U0 L& b, w4 w

) q9 A! z: I  W9 ?2 O; S梁文锋是谁?4 T3 f& Y7 J" t% |
' d- [" Z# i0 Q, f1 `/ P1 d7 O( k
说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
/ m/ P) {7 Q" |: m8 X' K
8 |  s/ k, v$ s; d7 j8 a9 p) |【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】. |! o* U5 \+ s0 I- i& R
# J4 i# ]& _% N% v, \" s
# S! L( N- c6 h  f) {) s
  q, o1 @8 P7 O) g$ {& V9 S
. n' `  W5 g5 @. }

/ N! ~# p' b; U) l! z; C3 p' d' C( T2 }8 }; @7 R5 a  Y4 F
# q. d5 O9 ~4 A, j. |" M

  d0 K& \' e" _. Y5 k( r
+ `& `, \* {) k5 I

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:48:17 | 显示全部楼层
; B: I/ q  {2 s1 O+ L
“东方神秘力量” 爆火国产AI大模型背后的年轻人
6 x& a: C$ @& [  Fhttps://tech.ifeng.com/c/8gMIT2sFcxI
$ a7 _, H, V, X/ q% S
( b8 j' {  `+ k, D6 ^8 ?+ U2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。
: K3 `. S3 R9 ^: `
5 V; ^1 }) ~3 [( k3 I/ W- \' m  b' C两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
; ~+ g2 Y: ]9 ~; V8 L
- b* ?- {; a4 j+ ?2 h- bDeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。
. S8 \3 T+ f/ _- O7 I7 ?# `- f  q2 d( I: J# @: q% z: ^, ?
核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。8 f! |# b' p+ l& h+ j& Z# s2 [

) _1 y1 b  Y. Q* |GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。
0 M+ _9 E* k& E2 ?2 K& u) ]
) y' F, Y1 p0 p" K。。。。! y5 q# v; C6 y5 p

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

白银长老

Rank: 8Rank: 8

3535

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48
& I8 F6 \! ~  B- D# A7 z/ u, b“东方神秘力量” 爆火国产AI大模型背后的年轻人7 s% A. U! R- b5 e) P6 z* F+ ]; K! h3 b
https://tech.ifeng.com/c/8gMIT2sFcxI

& X0 H- @, Y% o7 f) O2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。3 ?, _3 @8 ^5 d+ I# u: H# d) u
% R  K- D- F& i
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。; a1 x9 ]9 |+ x" o  \
. q1 r& b1 y% J
梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。& K6 H1 v8 v& @
% r2 J# h( T0 A* E2 ]. L# Y2 R
在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。0 s7 ]* Q5 j/ b1 O( ]
7 k0 m0 V: B8 p# ]0 s5 M
他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

高级战友

Rank: 4

443

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41
/ h; E0 h  n$ c4 lDeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
% {; ~3 {- I5 U1 a* jhttps://m.163.com/dy/article/JM8VTSQB05 ...
" p' b6 _  ?5 ~  r2 W6 {8 b
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
2 Q3 E' n6 i: b9 y8 {/ z" @" c7 l3 F
BTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。
; z' O6 d1 h& a8 u段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。
0 n( C( ^6 Z, F; Q+ h4 a1 Y7 t郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。0 s2 e4 @, i: H9 p3 ^7 X. h
陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。
+ [  f( [, p* M/ d( Z  w梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。: e. `! l& L+ v/ U
…………7 b# l/ O" c) \7 A  B% b
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-11-21 15:33 , Processed in 0.208030 second(s), 23 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.