在数学领域，球面稳定同伦群的计算是代数拓扑领域存续近百年的核心难题，被公认为领域内的 " 圣杯问题 "。

7 月 8 日，复旦大学上海数学中心教授王国祯，在北京获颁 2025 年度国家自然科学奖二等奖。王国祯和合作者提出基于母体同伦论的形变理论，给出计算稳定同伦群新方法，将球面稳定同伦群的计算推进至前 90 个，证明了 61 维球面上微分结构的唯一性，彻底解决了奇数维光滑情形的广义庞加莱猜想，为国际同伦论领域贡献了原创研究工具与系统核心数据。

" 在一大堆杂乱无章的事物里，找到合适的角度。从这个角度看去，所有东西都特别整齐，富有规律和美感，这就是数学的优美。" 王国祯这样形容最爱的数学之美。

王国祯接受文汇报记者采访。李相如摄

在拓扑学的经典比喻里，咖啡杯和甜甜圈是 " 同一种东西 " ——只要不撕裂、不粘合，通过连续拉扯变形，就能把带把手的咖啡杯捏成甜甜圈的形状，二者拥有完全相同的拓扑性质。而足球无论如何拉扯，都变不出甜甜圈中间的洞，这便是拓扑结构的本质差异。王国祯的工作，就是在高至九十维的高维空间，发展一套精准的数学工具，区分不同空间的拓扑结构。

同伦群是代数拓扑最基础的不变量之一，也是研究拓扑空间分类的核心工具。通俗理解，就像一根橡皮筋绕手腕 1 圈和绕 2 圈，在不解开、不剪断的前提下永远是两种不同的绕法，就对应着第一同伦群（即基本群）的不同元素。稳定同伦群是同伦群中相对最有规律、最适合作为突破口的部分。王国祯与合作者瞄准这一核心难题，发展出一整套研究稳定同伦群的新方法，完成了球面前 90 个稳定同伦群的计算，被国际同行评价为目前该领域已发表的 " 最前沿工作 "。这些计算彻底解决了奇数维光滑情形的广义庞加莱猜想，美国国家科学院院士迈克尔・J・霍普金斯、德国国家科学院院士马克・莱文等国际顶尖专家均对此给予高度评价，称其为 " 非凡的努力 "" 美妙的推论 "。

王国祯等人的突破在于其提出的 " 形变理论 " ——一套基于母体同伦论开发的全新计算工具。可以通俗理解为：把待求解的同伦群问题转化为一个带参数的连续形变过程。当参数等于 0 时，对应的问题已经被他们研究得十分透彻；而研究者真正关心的答案，在参数等于 1 的位置。通过形变理论，就能把参数 0 端的已知信息平稳 " 传递 " 到参数 1 端，从而推导出原本难以求解的结果。

抽象的数学证明背后，是实打实的 " 笨功夫 "。王国祯和合作者几乎每天通电话，分头在海量数据里试探不同的证明路径，像用穷举法玩 " 凑 24 点 "：一遍遍尝试不同数学工具的组合方式，找到一个看似可行的思路，就立刻讨论漏洞在哪里、能不能修补。" 我们先搭起 4 页纸的逻辑框架，再花一年多把所有细节补全，最后核心证明部分达到四十多页。" 王国祯说。

王国祯从小就痴迷 " 计算 "，中学老师评价他 " 明知一道题计算很复杂，但总喜欢‘跳进坑里’去算 "。他的生活中，有空就会在脑子里推演数学问题。散步是他遇到瓶颈时的 " 秘密武器 "：在空旷空间、大自然里散步，走着走着就有了突破，" 冬天太冷，没法出门，所以我夏天的研究效率总比冬天高。"

他鼓励学生独立思考，遇到瓶颈时一起开研讨班、分头查资料、集体讨论，也支持学生在打好基础后去探索自己感兴趣的方向。他也在尝试用 AI 辅助计算数据或者补全证明过程。"AI 在逻辑证明方面，能大大节省数学家从一个证明节点走向下一个节点的时间。" 在王国祯看来，就像当年计算机没有替代数学家、反而提升了数学家效率一样，AI 也是如此，能让数学家去研究更深刻的问题。

王国祯接受文汇报记者采访。李相如摄