网大论坛

 找回密码
 立即注册
查看: 1197|回复: 4

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

[复制链接]

白银长老

Rank: 8Rank: 8

3154

积分

0

贡献

500

奖励
发表于 2025-1-5 22:43:54 | 显示全部楼层 |阅读模式
在刚入学的第三天,就完成了中大博士生的毕业要求!?
3 ^+ Q1 Z: c. Q) |8 g1 @# F6 j9 k" a3 d5 y3 C! l( u
( I% I. |: P5 r4 r  K6 V
全网都在扒的DeepSeek团队,是清北应届生撑起一片天. F/ N+ i6 w/ i6 d) j
https://baijiahao.baidu.com/s?id=1820416672677804227/ K- F( {! ]+ c, W7 Z
- t7 H$ Y# C) b
吴俣博士期间接受北航李舟军教授和MSRA前副院长周明博士的联合培养。* u. G' L( O. G% c) J4 ?0 t9 @9 y
与他师出半个同门的是郭达雅,中山大学印鉴教授与MSRA周明博士联合培养,2023年博士毕业。! \1 m1 }9 Z  k1 d0 Y1 M
2024年7月他加入DeepSeek,主要参与了一系列数学和代码大模型的工作。
: V* V# m$ n  @3 F7 o0 o5 D5 R5 t郭达雅上学期间还有一项事迹,本科期间在MSRA实习一年里发表两篇顶会论文,他笑称“在刚入学的第三天,就完成了中大博士生的毕业要求。”
# w' Y5 D3 Y/ H4 Y。。。。。。

& V* J' X: z/ N+ y! r' n2 ?) C( p. w- s& {
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑
; w  b8 Q+ R# U; b$ m) Y

& p) |3 F/ A7 U- T+ N+ b

白银长老

Rank: 8Rank: 8

3154

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:34:30 | 显示全部楼层
本帖最后由 besthread 于 2025-1-6 17:49 编辑
/ O! o: d# t3 ]( F7 f( O  z+ C3 X. y$ J1 t( M& W" N
像这样实习生在DeepSeek做出重要成果的还有中山大学逻辑学专业的辛华剑。
8 }3 v+ r& z4 y0 s他在DeepSeek实习期间参与了用大模型证明数学定理的DeepSeek-Prover,现在在爱丁堡大学读博士。& f5 a3 k4 k5 [/ x' F% B* }- x! I

" ?1 L4 L" k) M4 y, F5 I————————————————
+ c1 G8 O, m5 Q" j- H! g: Q( T2 o: a' S& v4 p1 j/ Q
逻辑是人类理性之根基。联合国教科文组织将每年 1 月 14 日定为世界逻辑日(World Logic Day),以彰显逻辑学在当代学科体系中的重要基础地位。 中山大学哲学系是国内领先的逻辑科研重镇,也是国家一流本科“逻辑学”专业建设点。

/ d4 H( X' ^$ A! Z" B8 q; p$ d% R

2 e  F, q- C! {3 B& k- G中山大学逻辑与认知研究所 | 教育部人文社科重点研究基地
( t( v; |1 O4 [7 W5 A  H7 K) x0 E% r# I5 k0 k' a0 t4 M
8 z3 s3 B/ e. n+ `
在国内,中山大学逻辑学实力超群。。。。。虽说有时在一些榜单上,中大与某大并列第一,但综合多方面看,多数时候中大独占鳌头。。。* K& r( u5 Y' C# u

白银长老

Rank: 8Rank: 8

3154

积分

0

贡献

500

奖励
 楼主| 发表于 2025-1-5 23:40:38 | 显示全部楼层
(楼上)( x0 }2 g7 l5 z3 U4 H. C

1 E# ~' Z7 ?# ?* p# g+ z联合国教科文组织规定的七大基础学科包括数学、逻辑学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学, C. O5 |: M5 ~  S& U9 D
, {# K' C& L0 S: {
逻辑学,名列第二。。。$ e, ], Y/ g2 |
% i) T2 U$ |: \8 Z  e( H+ P) N
1974年联合国教科文组织把逻辑学置于七大基础学科中第二位。。。 . J5 @4 `. q. M7 _0 M( J6 w

5 Q9 h8 [* h" F" V% s————————————————————————& v3 j+ W  _7 j" ]. ?; h; k
; H, t4 n- e) n' k0 W7 U# n
(转)联合国教科文组织,确定的第二大基础学科《逻辑学》,在中国是为何被踢出教材的?

2 M& ^. K- |* E# `6 q; `, ?$ @1988年,中学语文教材删除了有关《逻辑学》的内容。90年代,在很多大学,《逻辑学》从必修课变成了可有可无的选修课。1998年,根据国家教委颁布的文件,《逻辑学》被从汉语言文学专业的专业基础课程踢了出去。从此,《逻辑学》这门极其重要的课程就这样无声无息不见了。然而,联合国教科文组织于1974年所确定的基础学科中,逻辑学等作为构建学术研究与教育体系的重要基石。
5 ^; L8 o# _) k3 U6 [3 n# l! i8 k这些重点学科包括数学、逻辑学、天文学和天体物理学、地理科学和空间科学、物理学、化学、生命科学。尽管所有人都知道,逻辑和语数同等重要,是思维和推理的科学,对构建严密论证体系至关重要。这么重要的学科,还是从中国的教育体系反而要弱化,甚至取消了。
. Q0 g  M& O; E7 k8 R你知道这是什么原因嘛。。。9 I& g( J+ K: V! T6 X+ E

$ N! g! [+ i6 f! Z0 Q  `. d( e
0 c5 @. b! f) |; @

+ U" u" K* k3 k4 D

  R# @. U! w  a' J1 G$ X
3 M: Y. D# u% a: _/ T8 j: k3 ^
/ i( Z6 L0 {+ E3 R* B

( d) n, }8 S; c" Y! \2 D

初出江湖

Rank: 2

98

积分

0

贡献

0

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

白银长老

Rank: 8Rank: 8

3154

积分

0

贡献

500

奖励
 楼主| 发表于 6 天前 | 显示全部楼层
yxl1218 发表于 2025-1-6 09:15
( c+ y: _/ w* @5 D: ]这比带资进组还要牛

( x5 p, |' O$ l/ b
& P3 X- n4 _) D4 |5 G
" n* r& Z8 r: P* u
# Z+ F' w4 d) l2 ?6 R0 Q4 P
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

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

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

GMT+8, 2025-1-18 16:05 , Processed in 0.045686 second(s), 21 queries , Gzip On.

鄂公网安备 42018502005923号

Powered by Discuz! X3.4

Copyright © 2001-2022, Tencent Cloud.