网大论坛

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

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

[复制链接]

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!? 2 ^2 U5 M+ r: W2 V& a

! P; S% x% _! `% S& }/ q2 M; Z0 ~, J* h/ b( F( g4 D) q( |0 z9 c9 `
全网都在扒的DeepSeek团队,是清北应届生撑起一片天
0 G- H  r" g2 I  x8 F* Rhttps://baijiahao.baidu.com/s?id=18204166726778042276 \; ]% _* `) V8 [4 N' k, I( E& u

  l4 L) R# f$ y, x; V* A( [% f吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。
# v7 F) h+ T0 l" J2 }0 q  I与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。
2 c* L* }& H! {' ?% y- D! a2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。: v9 h# H' K8 m; z  q/ E
郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
. ?* [+ C( [0 _6 l9 H。。。。。。
2 _8 c$ }+ ]- e

! @! w' m9 C; a像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑
  y  Y( p3 g7 t- {/ h5 ?
( ~3 ^0 q& u. ^+ e1 r

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
; ~/ j% C! p$ b  `+ ^! r. Q% n0 V* @4 ?  L0 N' b4 ]  l; `4 K$ m
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
  I2 I7 o- s3 M( `/ u6 I" |) E他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。8 u1 |4 l/ @" N2 M2 o

7 S8 z% t' Z8 Y/ I+ _————————————————
+ A, I, e  c0 x1 A2 g. \2 I1 T0 ]  v+ R, N) y
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。
, J5 t% i5 k  d3 K

9 k- I3 x5 {) Z+ W/ l9 \+ U

, Y- g. q1 c4 f$ a; X中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地* a+ q* b+ a& [# a9 z
/ U3 T9 W8 h- W6 p
& ^% f8 O3 L9 r* p6 O& L7 K
在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。2 s: @0 P4 a" g) n  Q- v& p

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上): Y. w' X, f4 k" [, |2 ~* ~2 h+ U' V

8 J1 o% R* v! J$ f& A' w9 l联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学
! d9 C7 w: o/ Z2 X% L; k, L, V* r0 B- `
逻辑学,名列第二。。。2 G! J: g0 K2 e/ ]) E

0 B2 {! f8 p! B; @2 }, m+ Y1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 8 e  a  |9 S1 v/ E: f2 Z- a
# ~( d9 q. s$ n  \# a; L  j
————————————————————————
3 m6 A; N$ }( R. _  i& a! d3 A- I' G; _( ^8 ^; X+ H/ c
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?
& ], y: Z+ S& H8 g1 ^% C1 M4 z
1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。! ?' s* J( B$ X1 U. n
这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
6 O/ I' ?7 e. h# m" o) [5 Q$ R你知道这是什么原因嘛。。。
/ g: G1 d0 z* Y% P$ e2 {* W. ~- s& s0 j1 j5 q

- {" l, j' S& H" d
* f# Q5 q# i  o* T0 N; N' z

' F* Z8 ~9 j, h6 P" {2 d3 l4 \4 w! |) T
7 Z4 N  F3 A: T) a+ h( A" n4 @3 H
' L# t+ H4 |/ L. j

中级站友

Rank: 3Rank: 3

154

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-12 19:13:46 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:155 c, s6 F7 V$ ]2 Z: [# w2 {
这比带资进组还要牛
3 Z# {1 e% ^- P0 O

1 y8 f6 s9 L6 B" V" M% a
6 |4 _" k! C- A; a0 p0 r$ y* y5 Q$ O

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:41:28 | 显示全部楼层
DeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
" s0 Z$ H6 m9 U  fhttps://m.163.com/dy/article/JM8VTSQB0511T1D2.html7 G. D* T: q; F  S9 O* K
# l% q3 E( I# w6 y* {5 x7 C, R
这家杭州科技公司创始人,为何成为总经理的“座上宾”?
% j2 G5 C. l% t" T" rhttps://export.shobserver.com/baijiahao/html/849060.html
! V0 o: _0 I) q* E' Q; w0 `* S: u0 |& w* F% H, l
梁文锋是谁?2 b7 s8 F' n7 Y$ N- O9 s

% ^: i0 j" B0 Y+ L1 G# E  S5 c说回DeepSeek创始人梁文锋,他出生于1985年,广东湛江人,此前他接受专访时自称,“我是80年代在广东一个五线城市长大的。我的父亲是小学老师……”
; f' i8 @2 c$ B/ D4 @$ W1 ~1 K/ @2 h: x0 F8 J: }9 G9 D) h6 \2 G
【DeepSeek创始人梁文锋,广东人,17岁考入浙大,30岁创办幻方,36岁管理千亿私募,仅靠百名中国程序员,赶超OpenAI】
' p$ A- P  h( l6 C0 u3 |3 ?, l% M- t
$ w1 `$ v) ~! K9 _8 X* N5 U3 G. e7 q3 S+ ]/ k1 R! K0 j& {

# i8 x3 V/ E1 [- C' I
0 t' V9 y  `1 y' `% ?
& A# S) v- H1 j1 W; _# u" |2 h2 A) u9 F  r: J
5 j9 N. z+ o+ G$ f: [# {( X
/ @% x0 Q- d* @" h

4 p5 T; T# J8 z& k4 s  x( U

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

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

1 R3 F( B  H' `' o+ ?4 ~“东方神秘力量” 爆火国产AI大模型背后的年轻人( L6 J# W3 ]& }* ?. R! F0 m, L
https://tech.ifeng.com/c/8gMIT2sFcxI* d( S# U; b! W/ ~! f1 g
# G) E: A, ]3 ~+ O( p( R
2023年5月,DeepSeek-V2发布,相比于国内外主流大模型,大幅减少了计算量和推理显存,一问世就备受关注。做出这一突破性创新的,是年轻的高华佐和曾旺丁等人。) h" N( P, e* G- o

% i$ R1 i5 h0 r7 P' m: ?两人都刚从学校出来没几年。高华佐来自广东,2012年在华南师范大学附属中学就读时,曾获第29届全国中学生物理竞赛一等奖,并于次年保送至北京大学物理学院学习。曾旺丁来自湖南省新化县,2017年至2023年就读于北京邮电大学人工智能学院,硕士期间主要学习人工智能方向,导师为张洪刚,2018年曾获全国大学生数学竞赛(非数学类)二等奖。
" N* s! K6 l5 `) s+ z9 E$ h: {# {2 `6 W- }) ]8 Y9 A
DeepSeek大模型的另一大突破,是通过一种名为GRPO的算法,创新训练方法,大大降低了成本。其中的主角,依然是这些看似缺少经验的年轻人。+ c3 r, I* v7 f  I  C+ [+ R- Z: Q

6 n3 ^# U8 {6 T9 P  \5 n+ C核心成员之一邵智宏此前是清华大学交互式人工智能(CoAI)课题组博士生,主要研究自然语言处理、深度学习,对构建稳健且可扩展的AI系统有着独特见解。他曾服务于微软研究院,加入DeepSeek团队之后,参与了多个重要项目的研发,包括DeepSeek-Math、DeepSeek-Prover和DeepSeek-Coder-v2等。3 D2 X1 Z' O6 T% T; |

( X+ m" d: c: z( X# oGRPO算法创新的另一重要贡献者是朱琪豪。这位北京大学计算机学院2024届的博士毕业生,专注于深度代码学习研究。在校期间,他展现了惊人的学术能力,发表CCF(中国计算机学会)-A类论文16篇,获得了软件工程领域顶级会议(ESEC/FSE)杰出论文奖。他的博士论文《语言定义感知的深度代码学习技术及应用》入选了2024CCF软件工程专业委员会博士学位论文激励计划。他在DeepSeek团队最重要的工作,正是基于自己的博士论文,主导开发DeepSeek大模型的一个关键项目。5 B; X  `$ @! J$ m

1 M0 d7 w5 G0 ]. ~+ K; e& X$ R: S。。。。4 ?( k" I+ v0 z$ \. t# a- `9 `

" p8 U' @! e% S. B/ ^负责DeepSeek大模型训练及推理基础架构的,是同样刚毕业的工程师赵成钢。加入DeepSeek之前,他曾在英伟达公司实习。赵成钢在学生时代就取得过令人艳羡的成绩。在河北衡水中学就读时,他是信息学竞赛班成员,2016年获得全国青少年信息学奥林匹克竞赛银牌。在清华大学读大二时,他成为学生超算团队正式成员,三次获得世界大学生超算竞赛冠军。
9 s3 d- E1 ^5 u' g: e; [' j5 x$ L* j; n; `; T- j) J. t0 [
DeepSeek团队规模并不大,不到140人,工程师和研发人员几乎都来自清华大学、北京大学、中山大学、北京邮电大学等国内顶尖高校,鲜有“海归”,而且工作时间都不长,不少还是在读博士。即便是团队的管理者,也非常年轻。

. L7 x' a0 \7 ^$ G- s0 ^

白银长老

Rank: 8Rank: 8

3485

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-22 23:49:06 | 显示全部楼层
besthread 发表于 2025-1-22 23:488 u1 f( _  ?, U! a: b9 c) S( ^
“东方神秘力量” 爆火国产AI大模型背后的年轻人
2 E7 V# t4 H8 ~6 v0 Ahttps://tech.ifeng.com/c/8gMIT2sFcxI

( t$ r7 a$ f! {! j& a' Q' e, C2022年底,ChatGPT的横空出世让已经积累多年的梁文峰下定决心做通用人工智能。“我们建了一个名为深度求索的新公司,从语言大模型开始,后边也会有视觉等。”实际上,OpenAI公开论文和代码后,国内外出现了许多大模型公司。梁文峰认为,在未来20年,大厂和创业公司都有机会。
' K( u2 X* \- s4 D$ n1 ], k4 h: E( W# Y0 F& [+ o
不过,直到第三代大模型发布,DeepSeek团队依然没有上线相应的应用,尚未全面考虑商业化,而且与多数国产大模型不同,他们选择了开源路线。+ s7 {1 P1 Y" I

8 r7 R$ l! E) V9 e- S( U梁文峰向媒体透露,他和团队的目标并不是做一个应用,而是进行基础研究,只负责基础模型和前沿的创新。  r3 o. S$ C6 i& K7 K9 w! C3 f

" K. _: n: N# M4 G) e% G8 C在互联网时代,很多人都会有一种惯性思维,认为欧美科技圈擅长从0到1的技术创新,而中国人更习惯从1到N,在应用层面发力。“很多中国公司习惯follow(跟随)而不是创新。”梁文峰认为,过去30年,这些企业更强调赚钱,忽视了创新。
1 f$ Q( E! l- D7 F5 Z- D1 [2 V+ `0 ~
他相信中国AI不会“永远处于跟随的位置”,希望深度求索以创新贡献者的身份加入新的技术浪潮之中。“创新首先需要自信。”他说

中级站友

Rank: 3Rank: 3

336

积分

0

贡献

0

奖励
发表于 2025-1-23 23:30:25 | 显示全部楼层
besthread 发表于 2025-1-22 23:41
0 \/ d* b9 I1 E' s# |, Y& ]( dDeepSeek创始人梁文锋,广东人,仅靠百名中国程序员,赶超OpenAI
+ i2 Z5 U7 |9 ^' U0 n. p& Yhttps://m.163.com/dy/article/JM8VTSQB05 ...
; k& s" N9 `0 g1 K  A4 n1 r
梁文锋是浙大信电系2006届本科、2010届硕士,人很低调,两年前匿名给母校浙大捐了2.5亿。' E0 I; p& V2 ?. m/ q3 M

9 C; T- p2 O5 u- _8 pBTW,浙大信电系商界校友上过富豪榜的有段永平、陈明永、郑树生,加上后起之秀梁文锋等人,可谓牛人辈出。
, k9 f- l8 ^) [3 j9 ]: i# f/ a. j段永平:1961年生,江西南昌人,浙大信电系1982届本科,商业教父级人物,千亿级隐形大富豪,已累计给母校浙大捐了16亿元人民币。& Z& G) y6 N0 T9 q( K# Q; V
郑树生:1966年生,浙江江山人,浙大信电系1987届本科、1990届硕士、1993届博士,曾任华为常务副总裁。后自己创业,任迪普科技、宏杉科技董事长。
( s' v) v7 Q# R陈明永:1969年生,四川达州人,浙大信电系1992届本科,OPPO创始人。
# e* V2 G: T* u5 q( A梁文锋:1985年生,广东湛江人,浙大信电系2006届本科、2010届硕士,幻方量化&DeepSeek创始人,已给母校浙大捐了2.5亿元人民币。
# J9 ~1 p6 v1 L, [/ W0 C7 A…………3 R" U% _! t( e3 i$ Y1 }
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-8-10 02:28 , Processed in 0.068204 second(s), 20 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.