85 后天才数学家、复旦大学上海数学中心首席教授 王国祯

出生：1985 年

籍贯：甘肃兰州，2004年全国数学竞赛保送北大

很多人听到"代数拓扑""同伦群"这几个字就觉得离自己八竿子打不着，可你要是真去翻翻国际数学界的评价，会发现王国祯干的事儿，是在啃一块西方数学家纠结了快一百年的硬骨头——球面稳定同伦群的计算。这问题有多难？上世纪中叶全世界的进展卡在第59个稳定同伦群，再往上每推一维，复杂度呈指数爆炸，传统纯手工推导根本走不通。王国祯和他在北大的老同学、后来UCLA的徐宙利搭档，愣是把计算机编程跟抽象代数拧在一起，搞出一套叫"motivic形变方法"的新工具，把球面稳定同伦群一路算到了前90个，还顺手证明了61维球面上微分结构唯一——这下把奇数维光滑情形的广义庞加莱猜想给彻底封口了。

说起来挺有意思，王国祯不是那种传说中从小被名校抢走的神童模板。他是兰州人，在兰州一中读的高中，2004年拿全国高中数学联赛奖被保送进北大数院。本科加硕士在北大陆续读了七年，硕土期间就跟徐宙利混一个宿舍，两个人天天在宿舍黑板上推公式，吵完再一起去食堂吃刀削面。2011年北大硕士毕业后他去麻省理工学院跟Haynes Miller做代数拓扑，2015年拿博士学位，接着跑去丹麦哥本哈根大学做了一年博士后。2016年他选择回国，先进上海数学中心做博士后，2018年正式以青年研究员留下来，2020年升长聘副教授，2023年拿到国家杰青，现在是复旦谷超豪研究所长聘教授、上海数学中心首席教授。

他办公室靠墙摆了五六个旋转书架，有学生说他上课穿格子衬衫像个大男孩，讲拓扑讲到兴奋处会在黑板上画歪歪扭扭的球面，然后突然停下来问你："你看，这不就跟咖啡杯变甜甜圈一样吗？"他开的"几何拓扑选讲"只给数学英才班开，选课的人不多，但每届都有被他带进同伦论坑里的本科生。他常跟学生念叨的一句话是——别被符号吓住，先想清楚你要保留什么、忽略什么，拓扑学看的是整体，不是局部那点碎渣。

外界看他拿奖拿到手软——2022年应邀在国际数学家大会作45分钟报告（这是同伦论方向中国人的罕见待遇），2023年获腾讯科学探索奖，2025年摘中国数学会陈省身数学奖，2026年2月拿下陈嘉庚青年科学奖数理科学奖，同年7月又以"同伦群的计算与球面微分结构的分类"获国家自然科学奖二等奖——可他自己谈起这些倒淡得很，说数学认的是你到底往这个领域推进了几步，不是奖杯摞多高。他跟徐宙利、林伟南合作的126维Kervaire不变量问题预印本出来时，圈内直接说是"里程碑工程"，可他转头又钻回办公室改程序、调参数去了。

咱们国家基础数学真正走到世界最前列的人不多，像王国祯这样在代数拓扑这种冷门又极难的细分方向上做出系统性原创工具的，更是稀缺。他没走容易出文章的路子，一头扎进同伦群计算这个"吃力不讨好"的老大难问题，一干十几年。这种甘坐冷板凳的劲头，可能比那串获奖名单更值得被记住。

各位读者你们怎么看？欢迎在评论区讨论。