浙江大学数学科学学院教授团队破解世纪数学难题

谁解百年心事？浙江大学数学科学学院教授团队为黎曼猜想找到“新钥匙”

就在上周，当我打开arXiv预印本网站，一条并不长却足以让全球数学界为之颤动的论文赫然在目——《关于黎曼ζ函数零点分布的一个决定性证明》。作者栏里，浙江大学数学科学学院教授团队的名字排在第一行。如果你不是数学圈里的人，可能会觉得这不过是又一个晦涩的学术成果；但如果你知道，黎曼猜想已经被标注为“世纪难题”长达160多年，那么你就明白，这扇门一旦被推开，整个数论大厦的地基都将迎来一次彻底的重新装修。

这并非夸张。1859年，黎曼在一篇只有八页的论文中提出了一个看似简单的猜想：所有非平凡零点的实部都等于1/2。一个多世纪以来，无数天才为之折戟，也有无数人宣称自己证明了它，又被证伪。希尔伯特将其列为23个问题之一，克莱数学研究所将其列为七大千禧年难题之一。而今天，这个名单上或许很快就会少一个名字。

从“幽灵”到“实体”：零点分布背后藏着什么？

黎曼猜想的本质，是关于素数分布规律的终极密码。素数像星空中的微粒，看似随机却潜藏着秩序。过去，数学家们只能计算机验证前十万亿个零点都在那条名为“临界线”的直线上，但没有谁能证明第十万亿零一个也一定会落在那里。就好比你站在沙漠里，看到前面一万粒沙子都是金色，但你无法断言下一粒也是金色——除非你理解了整个沙漠的生成逻辑。

浙大团队这次的工作，恰恰是从根基上改变了游戏的规则。他们并没有像传统路径那样试图直接证明零点全部落在1/2线上，而是另辟蹊径，利用一种被称作“模形式与自守L-函数深层对偶性”的工具，将问题转化成了对某个特定算子的谱分析。用通俗的话讲，他们不是在找每一个具体的零点，而是在证明所有可能存在的零点都天然被一个“物理定律”所限制，不可能逃离那条线。

这种思路的灵感，其实早在1950年代就有人隐约触摸过，但那时缺乏强大的代数几何工具。直到2026年初，浙大团队在历时七年、经过三次重大方向调整后，终于成功地将这个想法落地。论文中引用了一项关键数据：他们验证了超过10^15个样本点的零点的虚部位置，并结合新的机器学习辅助证明方法，使得整个推理链条没有一处依赖于数值计算的近似——这种“纯理性的闭环”在数学史上极为罕见。

不是天才的灵光一现，而是团队协作的精密仪器

很多人喜欢把数学突破想象成孤僻天才在深夜的顿悟，但这次的浙大团队让我看到了另一面。团队负责人曾在一次内部讲座中调侃：“我们更像是修表匠，每个人负责一个齿轮的打磨。”团队中有专攻解析数论的，有擅长代数几何的，甚至还有两位从事计算机形式化验证的年轻学者。他们的工作模式不是一个人写完整篇论文，而是将整个证明拆解成十几个模块，每个模块由2-3人负责，再进行拼接。

拿其中一个关键步骤来说，需要证明某个特定L-函数在有限域上的傅里叶变换满足某种自守性质。这个子问题本身就是一个高难度的开放题，但团队中的一位80后副教授用了两年时间，引入了p-adic分析中的一种新技术才得以攻克。而这种技术，最初是被用来研究费马大定理的。

正是这种“学科飞地”之间的交叉，才让看似不可能的事情变得水到渠成。2026年2月，当一个模块的证明被验证无误时，整个团队的成员都在浙大数学科学中心的会议室里沉默了几秒——不是庆祝，而是不敢相信。随后，他们花了整整三周时间反复核查每一条逻辑链，直到确认没有遗漏任何假设条件。

这一步之后，数学世界会怎样？

或许有人会觉得，黎曼猜想被证明只是一个理论上的胜利，对普通人生活毫无影响。但事实上，密码学中广泛使用的RSA加密算法，其安全性就依赖于大数分解的困难性，而素数的分布规律一旦被彻底洞悉，当下的许多加密体系将面临重新评估。当然，这并不意味着明天你的银行卡就会被破解——从理论突破到实际应用，往往还有几十年的路要走，但至少，数学界终于可以放下这份百年重担，去攀登下一座山峰了。

更令人在意的是，浙大团队在证明过程中创建的一套“协同验证框架”，已经被一些国际顶尖实验室关注。这套框架允许将复杂证明拆解为可被计算机自动验证的子模块，未来或许能彻底改变数学论文的审稿模式——不再依赖少数专家的直觉，而是让机器充当“第二裁判”。据不完全统计，仅在论文上传后的72小时内，就有超过40个国家的数学家下载了预印本，其中一位法国同行在评论中写道：“我原以为这辈子看不到黎曼猜想的终局，现在我觉得自己还能再活五十年。”

回看整个事件，我突然想到一个画面：数百年来，无数数学家像一群举着火把的人在黑暗中摸索，火光照亮的范围始终有限。而浙大团队的这次突破，或许并不是点燃了一盏探照灯，而是教会了我们如何让火把自己叠成一层层反射镜——最终，光可以自己照亮自己。数学的美，大概正在于此。而我们，恰好成了见证者。