网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!?
  ^6 d6 e% n+ e2 X# i" k
- B9 T- R( D& ]: p1 \5 B* P/ i2 u( c' H, A
全网都在扒的DeepSeek团队,是清北应届生撑起一片天" L! x/ T; m/ l1 B5 K+ F. C8 {
https://baijiahao.baidu.com/s?id=18204166726778042278 \: ~( C/ \% Q. P! c

/ L. c4 }6 |) k吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。
: q: T4 }$ g- p5 o5 [1 q) Q- @与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。. H  n: f5 T. s; z4 b
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。! a! t% c- ~. \/ p( b
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
4 w4 z8 [( |5 N. b" E2 r。。。。。。

6 |2 n6 }) ?& j* g. H/ g& C/ c! v! \6 r0 J
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
, l5 L" d! H: b1 h) |/ W- N- I

% i  I2 F3 Z/ n' B9 g

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
2 ~  u8 s  D3 [3 f) @- h, H0 j7 Z& J; H
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
* W$ k6 H% ^1 l, e' m! J1 k; X他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。
+ }- H" G2 I  @3 Z1 }2 c! O4 U  h/ t! K" u
————————————————
9 d) q# `$ {) y8 r( D' b
9 j' D( [' B: T2 g+ w2 ]) V+ d逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。

7 T$ Q+ w( z# ?6 m) `
* X, O. m/ g* J" O
4 }/ }: Y5 N, e7 `
中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
* U0 d% P% Q- I8 ]$ ~9 h% ?
3 e! s' u7 ^' t
% {9 c/ ?6 ]7 ^
在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。6 }) B* q& s  {0 j. d

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)
- p( p! J9 t) N$ m) z+ o: j6 {7 z6 u# W* `. N7 m
联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学。
1 u3 K, r% `& w2 m
' Y8 ~1 I) f* j) F. G逻辑学,名列第二。。。
1 S0 ]7 D8 g+ N, L
$ m1 b2 b$ C. B+ @. i1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 4 z* f1 U; S( X% h& W4 B2 Z0 B
' f/ v( X& n, ^) @9 G
————————————————————————! X9 c, ^* C3 B+ G3 F
% Y$ Q; ]. e5 B$ h
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

- j  |* @: u# J- `- B8 M1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
& \0 e6 @! B1 z6 L7 e; L% n2 z这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。0 A0 q) o8 H  R) {: _3 E
你知道这是什么原因嘛。。。
' k5 C2 \  C2 u" Y+ E( F
+ ?% L, B5 @, e% |
5 Q* T" \: A4 d  b5 |" [
$ D6 ^) |3 U: w9 r: Z& W' X
- B% J  G1 P6 x# W2 Z% I# j- N+ b
; R4 w9 q1 g( g* `

& k" w9 f9 R( l- Z1 E( L$ Z2 ?: |* G$ T2 b4 y; C$ g; ^3 V

中级站友

Rank: 3Rank: 3

193

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15
) z- W4 D+ _/ u8 g, |这比带资进组还要牛

6 E. f0 I- |# j2 ]: q9 E% Q$ H5 V3 v% O' ]7 J$ W" P  ]

8 }2 ~% \; o) G0 f5 F# c
# R* Q/ d8 [! N# ?/ U( l7 ?

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI3 |$ B0 R( h0 m
https://m.163.com/dy/article/JM8VTSQB0511T1D2.html
9 r! ~6 a0 ~* \1 v; S3 Z+ _; r, C1 s
这家杭州科技公司创始人,为何成为总经理的“座上宾”?! x0 Y$ Q1 r4 |3 s2 P5 |1 J0 A- P6 T
https://export.shobserver.com/baijiahao/html/849060.html) |: F( K% `) |% q" i

& A+ p) s' ]' y1 x梁文锋是谁?  ]! {6 ^0 c' u4 f
# v6 c& p- f" h2 h% a
说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”, X. t( @0 k$ X( y: U# a5 C

  D& B+ D7 C/ q( B0 \- T/ A4 z% c【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
9 Z! v; F! ]/ C/ I2 A$ N. P& U% ^/ I& ?, P

+ J$ b: l2 ?4 A
/ N. P8 M  |4 S  }% i" x
# ]6 D2 }' ?! c  n0 ]2 E% ]- K: {' X# `+ ^# s# S
' |( j/ n' B; R/ O( q% o3 ?( `4 H5 }
5 l! M1 _- `$ K

; Q% `! |8 \' J% j& ^7 ?3 }; i) f

7 C  z' l4 d$ E  e9 |- v( m

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

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

' h8 [' d& C' X4 X4 o- c* z0 h/ @“东方神秘力量” 爆火国产AI大模型背后的年轻人
+ S* d! Y# e0 F& @$ E* e9 Ohttps://tech.ifeng.com/c/8gMIT2sFcxI- |7 }- C$ m7 w1 [. L
# o7 h/ l# H2 {2 _$ p
2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。1 x9 C8 s' X/ {* o5 Z0 b/ \+ [
0 X) U/ i: q6 M
两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。( b) ]" @$ ^! e4 T

+ P: u( a. A3 ]0 m% tDeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。0 ~# J, [3 _' {, c9 ]
; y3 j+ V5 h+ ?" s- X  Q; W: z
核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。* _: h3 m5 l8 f5 ~& r2 T
7 U* ^, ^: Z; f+ D% ?+ y6 Z
GRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。
+ |- Y* w" W3 d$ K7 M; L% A& m+ E+ \! \0 ?( ]9 b# A3 Y
。。。。
6 ~7 V/ y9 x8 u* a
! O' U# C! b. S! h1 d: g负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。
+ W' F; c3 i: q- T- C0 ?9 K8 K; n4 d' W
DeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。

, B* a! P8 [# p9 x7 @

白银长老

Rank: 8Rank: 8

3838

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:48! j/ E- }$ E0 n) m( p( a" y9 C
“东方神秘力量” 爆火国产AI大模型背后的年轻人
' t5 ^. O8 @5 Ghttps://tech.ifeng.com/c/8gMIT2sFcxI
; c" f$ m* L# G* v  T1 f
2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
, ^5 p! C. ~, i7 C4 Z' }! h% E4 q- @7 z* x
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。
  R0 T' H8 t( y  m2 F# q+ m6 Z4 c2 K; A6 c9 A1 J) r" {; P
梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。
6 j) y  y4 s' L& L; p1 x, j0 Y. Z
+ [* d1 H1 h6 K在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。3 }$ S7 \- U  {5 _; n
! ]' m! v+ z1 Y& E1 u0 O5 E- E
他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

高级战友

Rank: 4

797

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:410 ~. w9 [7 ]% Q9 J
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
. O/ j1 A5 H7 ^( E! B. `https://m.163.com/dy/article/JM8VTSQB05 ...
& g- j+ y) H8 U& U7 u
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。
. j8 t; y8 D: Y) Z8 I! _. @0 @
: B; S2 c9 C& U2 p0 q9 oBTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。
! |+ F! @2 L( J+ N段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。. |2 }; \4 P' I
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
' H- {0 B/ [: l陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。3 H7 A9 U) T$ k; ^& v; K" r0 i
梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。
1 U- y4 u- o  V. r6 V1 Z…………
- q: w' p; [; ?7 r
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2026-10-11 22:59 , Processed in 0.091710 second(s), 22 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.