网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!? - w2 p9 g4 x# M9 w2 \

8 \+ p3 e6 `8 n& K" e
6 h  p/ w" R2 ]全网都在扒的DeepSeek团队,是清北应届生撑起一片天
0 i6 R2 j/ j. N9 |5 E! ?  z5 h' l# Whttps://baijiahao.baidu.com/s?id=1820416672677804227$ [; d* Y: ?2 ?& m& c# u

$ \  m8 y% k) I/ ^; G吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。
: Z9 O! k8 m9 ~! `8 o1 J与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。
  h3 e$ |' [& n' u5 m' U7 D2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。
  g- l3 L# o! e' A1 w; e. k郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”# f1 f/ U% @2 \
。。。。。。
- a. W5 y" f' w
; B/ g- {5 q$ Z* C
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑
5 K: s# f- B/ D3 ^5 V0 N

7 D: Z5 k& E2 t0 s% ~: y/ j

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
/ W: g  ^5 E* N/ j% S
2 C) W, b* z& R6 x像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。2 ^. S! k- k. H8 c$ C& Q
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。
! ], [, f  i2 @; `* A1 a# |" Q5 y9 m/ c$ b" G& \
————————————————5 x" _5 P& J7 ~
8 q; E0 x  ?4 U
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
; L1 q% ^8 x  F: O

! N8 y- t5 p/ `9 a; x" H  M

  Z& q* e: e7 e4 t; X中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地( l$ E2 b3 z4 Z/ p0 ~& }6 v

# }, s8 h$ ]" z: k

' K6 X& t  B; O/ A: w, V6 Z2 A在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。
+ b) R/ O4 p! h. i3 Z# s

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)
+ \# H; u; f' o* Y9 Y6 u2 Y, u, L* L: I9 q) e/ r$ [. s" Y
联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学
5 I7 W( N& d+ R' j. Y7 U: E) Y. a) Y6 B$ }, M
逻辑学,名列第二。。。( @7 i: W0 t/ C! S. ^8 I

9 ?4 R3 G% [( d. ]1 C1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 ! _/ p; ?! \9 j0 A, f

- A' Y1 I. ^- M: e9 m, r( j————————————————————————
% J# d; k# N- O% V9 A
/ c1 @$ L  g) V(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

9 E; p% s! z: v. d6 ~# h1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
5 Y1 o6 l* f- L这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。% v$ e7 V" o2 U. h
你知道这是什么原因嘛。。。9 m1 t# _: Z+ V" j  i; }

. t0 d* Y' X) d% Z

5 `( f2 @8 [1 L" x+ ^' B8 y. v8 g, c9 q+ ?
. c" a. f/ R+ n" z: q3 s
9 l  P' o0 r0 U# q0 I, e* M

6 z( e2 O4 S7 B# o7 T' P5 P: {" a, v$ t6 E. ~

中级站友

Rank: 3Rank: 3

156

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:159 \3 I$ \+ s  h% y7 a' t
这比带资进组还要牛

# Y2 p* ?4 K' N$ x3 K
  }) [0 y) ^5 N# Y' L9 R$ `; [; a1 d2 j* I2 c& G" _
2 Z4 I+ V/ L# S7 {/ |

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
. \" K$ R. x7 x) vhttps://m.163.com/dy/article/JM8VTSQB0511T1D2.html
1 H1 p; `3 f1 a5 f, k
% j; e) f9 K4 N! C8 f5 H% c' \. Y这家杭州科技公司创始人,为何成为总经理的“座上宾”?
6 S7 v7 I" O9 `8 ~1 _8 `, l1 shttps://export.shobserver.com/baijiahao/html/849060.html
* ]8 t; g3 i$ B$ B2 Q7 g
) R, U. @2 b! v; C( I9 n梁文锋是谁?5 |4 T* e8 j3 s. q, j! ]
' n$ q& K6 ~) x( S  v
说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
; l5 W$ d5 `* [- i- q& @' M3 {4 u- s+ I7 X; {
【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】& u1 E! A/ j  m7 s7 w$ @3 j: }! d

' b# o; @3 y) z( E/ U0 Q: m  F+ A0 r, T5 @

) q2 t- R' x" b. S: V( k
) C' }/ C8 K& y( v) B0 S4 }
; d# S: `: b" t2 I
8 r( U3 A; M7 N4 M- |  x6 W
3 Q; a$ O5 Y( U4 f. P5 j* g. ]; S
, k% E8 A0 X0 y; n7 |: ^) `- K

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

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

" G4 _3 D! c& S% g4 r( y! S7 O“东方神秘力量” 爆火国产AI大模型背后的年轻人# }$ E( R; b/ O" \1 {3 [+ \6 e
https://tech.ifeng.com/c/8gMIT2sFcxI, N9 S4 ^0 J, A7 Q
! Q: i# M4 v; X6 J8 p; d' [
2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。+ J" A6 g- i- ~5 J- W
( {6 o5 @0 p; P. A3 T
两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
/ m8 g! c) Y0 J+ H! S6 b4 O, ?0 ^' G# v1 b
DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。3 Q% T7 @, _; N& g) h7 S/ l' o* G8 K

' z- f( {  I! M# t- g/ u+ x核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。  p+ q- f3 E$ F. M# T- u% b3 E/ q
' I4 L/ `- J+ e
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。/ q' b, \% p# W' W

( _3 g% J- j# t。。。。( L2 d0 u7 Y( ~: Z. k- h' P" m

) k+ y7 J3 r, i0 B负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。0 Q* R2 }- o( H4 k, g' o4 [0 d8 F
' M" [3 S6 q/ V' b" ^; [
DeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。

; }2 g+ C7 M! z5 c$ W; l

白银长老

Rank: 8Rank: 8

3305

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48/ p) Z3 |  H1 j" [
“东方神秘力量” 爆火国产AI大模型背后的年轻人
& K4 R1 R6 K+ N: G" U" Xhttps://tech.ifeng.com/c/8gMIT2sFcxI

* p. d) W+ }: d* h  U9 ?2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
, u9 N8 R$ s4 `2 E! a1 Y! \1 @+ T+ y5 ]4 T0 i% G; r
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。! ~+ \0 Z: o! H

8 h% b( Z0 w. F5 Q9 m* [梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。" O3 d- ~1 y0 M6 |$ D
9 z! d: \) y4 T  i$ Q4 j& x( h
在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。- i7 u" P8 y1 `
4 ?0 j) j: W- a, X" K/ {2 q
他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

237

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41: G. T5 ^- k# I' J
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI! L2 h. s4 z* s7 ]' W7 S. {
https://m.163.com/dy/article/JM8VTSQB05 ...

7 I5 U1 ^0 T2 A  M" w梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
% [, t6 o6 R' m. _# N8 a* X6 u/ l. h/ S3 }8 b
BTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。* r- i9 _. s2 O2 c
段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。) q( ^5 Y; u" S' D3 M# o& i$ n
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
+ s5 R/ y, T: F( U4 h5 G陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。! G! E9 a! w# k3 D, w
梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。: Z; n+ z8 j; k9 Y9 M* t
…………
$ a$ X" U4 f" G4 Y
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-4-20 08:46 , Processed in 0.033409 second(s), 21 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.