网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!? ( M3 ]: W& o4 e5 P) e" j

- X; k  \& S1 Y0 S6 I9 z3 _7 X/ T8 @4 S2 V& i1 b; B& J
全网都在扒的DeepSeek团队,是清北应届生撑起一片天: F0 c& v( S0 b. X+ J8 y- |# M8 U
https://baijiahao.baidu.com/s?id=1820416672677804227- x" D1 Q9 A. \
, a8 U& s/ w7 w# U! L8 Q
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。9 ?" W3 H# ]6 `
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。+ z; C+ I* U6 U7 S
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。0 Y  e: ~" \/ N
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”' j9 J2 G7 r! W# s
。。。。。。

6 \* c) q& Q3 v) }1 I  j& ^: o5 M* }& R" E. R
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑
2 |! h$ [! T8 `1 A+ i9 [
9 z6 n" K: x7 G+ t( R

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑 5 T7 n$ D$ z) c# x: `* M7 j# y0 L4 q

# O0 q% a. f# v# N像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。" Z3 v. [$ k: `- s, D2 ?, L! x! c
他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。
6 A$ s& z. P6 B& S: }+ U. u
9 L8 j) e- o* R1 H7 ?4 T" u- i1 u. N————————————————
" `. o+ ^" f0 i) F* G( z
8 {: b1 e. ^# R" q% b# S# D& v逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。

& k+ n7 K& n6 i: ]& Y: P; ^
' ^! k$ M7 X( s1 @

2 X  N1 E% Y7 A+ A' i% D中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
; n/ a5 j" m3 E( x9 L
# K: q) [; I% x" G. v& E8 W

7 P  w5 l9 U& j! h% _在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。7 F# z; R8 Z' J& g' O% j* p, v

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)
3 \  n7 X- j, e' G0 a, Z
2 v* T! b& d6 X* L+ n6 T  w联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学: }  l& R$ ^  ^* D6 Y
- b: U# p: r- [) B1 d
逻辑学,名列第二。。。' R% I8 Y" w, P/ M3 {& U
' M' D- O7 G% Z
1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 - Q" e5 I. X' G% }# k, }0 X5 |
) K0 r. Z# t  T; g
————————————————————————9 b/ d; {6 I& \" u9 \3 `

+ X4 {2 i9 g+ l; m: Q- y(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?
+ i7 Q9 P6 ~! d8 |
1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。" r$ d7 U9 r. ]1 }
这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
/ Z& Y# e$ v( M; j( g8 S你知道这是什么原因嘛。。。
8 b3 D* q+ C& `- {# q, I; V/ Z- B" z. N( q3 k0 _9 R
3 p5 a1 Y* R* Q

$ e5 D0 [  C1 |

' G+ J! Z7 _& j1 y( z5 C1 J$ W9 t# m
/ |3 r' w# b) q! j' j. ]

. P( Y: C7 ~( u' c0 x

中级站友

Rank: 3Rank: 3

154

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15
" `# b2 h( J/ i! M) A这比带资进组还要牛

/ U0 Q1 m5 L% }/ N1 i) }5 l9 l" F6 \* B/ h4 |7 O+ w
1 Y+ W5 f' i& Z; i3 |

$ B. w4 O+ q0 Y" S+ W. T% ?6 H4 v

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
! C  m" M! J( P6 S" }* Mhttps://m.163.com/dy/article/JM8VTSQB0511T1D2.html
* y5 ]6 `( u; Z9 U9 P& j
4 N4 I, A* o# A% U" A5 n' z这家杭州科技公司创始人,为何成为总经理的“座上宾”?$ o& C6 @7 h9 E; R# u
https://export.shobserver.com/baijiahao/html/849060.html' h  P7 \1 d* Y6 u, K. M

* Z' Q; T- I  ~- P* O梁文锋是谁?. F: I0 S) a4 G5 L  v

9 g! n) p3 a. V; e说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”  T% s6 e; P" X; c+ {
1 Z$ p& x5 i4 j) G+ ]
【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
8 T5 W, N% \0 J9 V) H2 H
6 R' R: j5 A) F* D" |6 L" a4 t+ O8 s1 c8 P* R3 ?7 w7 k

  T% `2 p8 X& m- C6 ^  i' L& G, n3 |+ C) m4 @# x: @

% C/ E) \) E8 j
* i, x: u3 s4 V2 g0 E
! P) L) W% ]! t3 i5 ?2 I+ m( H: ]9 L$ u, Y$ x/ f% G, Q/ d4 b+ x7 F# @6 D3 @9 A2 ^
- i! X2 f- \( m8 C3 c: i+ a5 q7 z$ d

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

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

/ E6 M. \3 p" t“东方神秘力量” 爆火国产AI大模型背后的年轻人
' e$ e, g' v* J7 B8 [3 Mhttps://tech.ifeng.com/c/8gMIT2sFcxI# @0 b2 i7 \6 e2 ]

6 X. L3 N! [' U3 J0 v2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。
) P# k, o7 e+ B+ a" G
* R8 M) T" W8 ^两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
- v) |" f7 G- |" W* ~* D! c9 v- Z* {% j3 W
DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。- G8 q4 ^# z5 |- {% _& I# z
7 A) \) h/ _  l6 Q
核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。
1 l9 B+ x+ u! h( l- K$ A& n; \/ }6 @* ]2 W$ }
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。0 ~/ D3 k) W& v5 R5 e
8 q# \! I6 J4 l
。。。。
8 Y, q& y  T% g7 M! p6 t  E' h1 z, G* o# D
负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。; [3 D% t4 ^  o1 u! D
+ |3 }2 U* }, [
DeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。
" A, C: j0 D6 R

白银长老

Rank: 8Rank: 8

3475

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:485 a! Z1 A# E4 z6 J7 M0 a
“东方神秘力量” 爆火国产AI大模型背后的年轻人
+ {; \  X& M. q2 O. c8 a7 k) Y4 Qhttps://tech.ifeng.com/c/8gMIT2sFcxI

9 b' n1 j. [4 E& }2 Z( ^2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
! `' @0 a, D1 C' q+ U( Y# L9 _0 J1 G- _
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。$ r. y. [0 y+ k8 N* F

4 j2 F: N! S& w2 n梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。( p. `6 Q/ o$ v
# M7 e$ q/ c' m* W& d8 J0 v
在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。4 x/ F. E9 e. d; x. K* a! l2 a  s

5 v$ p* q0 G- y. S: ~" B他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

328

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41. `7 Y" t6 c2 s- ~" ~) j( [
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI3 F/ G5 O$ P& Z7 o- ]& V# F
https://m.163.com/dy/article/JM8VTSQB05 ...
6 k8 j5 G/ P$ I. ?, o
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。1 ?# _- |6 m0 Z' l

% Z" m, R# h: E) F2 s8 M' Y8 t% \, ABTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。' k% J& _. ?  M+ T  v" }- J
段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。3 y4 V% E* N* @3 n4 B1 w
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。. O6 ^4 B; _3 E) h
陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。+ x# ~1 x) R6 Y
梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。3 N% f; O3 j, }% X: f8 W
…………
) c- s8 a& ~% L
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-8-2 00:37 , Processed in 0.065365 second(s), 21 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.