哥德巴赫猜想没能入选千禧年七大难题,放到国内语境提起这件事,本身就带着特殊的情绪。陈景润证明的“1+2”,借着徐迟的报告文学传遍全国,很多人默认这颗数学皇冠上的明珠,理应列入顶级数学难题清单。
但克雷数学研究所在2000年挑选七道难题时,考量逻辑和大众期待并不一样。
按照官方记录,七大难题由克雷研究所创始科学顾问委员会筛选,成员包含阿兰·孔涅、安德鲁·怀尔斯、爱德华·威滕等学者。他们的目标和希尔伯特1900年的设想有明显区别,不是划定全新研究方向,而是记录第二个千年之交,数学家正在苦苦钻研的最难问题,同时向公众传递信号,数学前沿依旧存在大量没有解开的重要问题。

这样的定位,决定筛选标准优先看重问题的辐射影响力,而不是大众知名度。怀尔斯后来解释过哥德巴赫猜想落选的缘由,黎曼猜想在对应的数学领域拥有极强的统治力,已经占据了这个位置。这句话重点落在同一片研究区域。哥德巴赫猜想属于解析数论,黎曼猜想同样归属解析数论。如果黎曼猜想入选,哥德巴赫猜想再加入,七个名额里面就有两道题目集中在同一个方向。一旦黎曼猜想得到证明,会对整个数论,还有密码学、动力系统、代数几何带来连锁影响,哥德巴赫猜想达不到这样的效果。
简单来讲,哥德巴赫猜想落选不是因为证明难度不够,而是它的影响广度不足。评判一个猜想的价值,很多时候不看证明过程有多困难,而是看证明完成之后,能够带动多少其他领域的研究。黎曼猜想一旦得证,素数分布相关研究就会彻底改观,素数分布又是密码学、随机矩阵理论、量子混沌等方向的基础。P vs NP问题如果被证伪,计算机科学和密码学底层假设就要全部改写。庞加莱猜想被佩雷尔曼解决之后,Ricci流方法衍生出新的几何分析工具。就算哥德巴赫猜想被证实,数论学者会为之振奋,但很难像黎曼猜想那样,重塑大半数学领域的研究版图。
不过不够广这个结论,需要加上一层限定。王元院士谈及哥德巴赫猜想时提到,评判数学问题重要程度,要看证明过程能不能催生新方法、新概念和新理论。以这个标准衡量,哥德巴赫猜想确实做出了贡献,但贡献不在于猜想本身的结论,而在不断逼近答案的整个过程。
从1920年布朗借助筛法证明“9+9”,到1966年陈景润完成“1+2”,这四十多年的进展几乎全部依靠筛法技术路线持续优化。每一次改良,都促使数学家创造全新加权技巧与估算手段。陈景润提出的加权筛法,被国际同行称作筛法理论的光辉顶点,不是因为距离“1+1”只差一步,而是它把筛法工具的潜力推到前所未有的极限。筛法后续在孪生素数猜想、华林问题,还有计算数论当中都得到应用。这些衍生成果,就是研究哥德巴赫猜想留下的真实成果。
只是这些成果之外,猜想本身的研究陷入停滞。2002年国际数学家大会期间,陈木法接受采访直接说明,近二十年哥德巴赫猜想证明没有本质突破。更关键的是,他点明背后原因,这个猜想已经变成孤立问题,和其他数学分支关联很少。这句话分量很重。如果猜想和其他领域存在大量联系,就算暂时无法证明,研究者也能从侧面寻找线索。哥德巴赫猜想不一样,虽然它和黎曼猜想都涉及素数分布,形式上有相似之处,但两者之间并没有建立起有效的研究桥梁。2013年哈洛德·贺欧夫各特完成弱哥德巴赫猜想的证明,用到圆法、指数和估计搭配大规模数值验证,这套手段很难用来攻克强哥德巴赫猜想。
王元多次在讲座里劝业余爱好者不要尝试研究这个问题,语气带着无奈。他说很多人来信宣称完成猜想证明,还有人为此耗费大量积蓄,这个问题当下还不到可以解决的时候。他还提到,想要研究该猜想,最低要求是具备数学专业本科毕业生的知识储备,吃透全部相关文献。这番劝告背后藏着残酷现实,哥德巴赫猜想能吸引大量民间研究者,根源是表述简单,每个大于2的偶数都是两个素数之和,学过小学数学就能读懂题目。看得懂题目,和拥有解决问题的能力,中间隔着整套解析数论知识体系。陈景润之后六十年,没人能依靠筛法继续向前推进,这说明瓶颈不在于智力,而是现有研究方法走到了极限。
回到最初的问题,哥德巴赫猜想没能进入千禧年七大难题,不是它本身不重要。克雷研究所选出的七道题目,承担特定公共作用,向全世界展示数学前沿那些难度最高、辐射范围最广的未解难题。哥德巴赫猜想在中国的大众知名度,远超贝赫和斯维讷通-戴尔猜想、霍奇猜想。但国际数学界衡量问题价值,依据是它在整个数学体系里的位置,不是大众认知热度。
这不代表哥德巴赫猜想不值得研究。它推动筛法发展,带动解析数论研究方法迭代,同时作为普通大众了解数学的入口,这些价值都真实存在。可如果目标是挑选七道最能体现数学前沿张力的难题,哥德巴赫猜想落选存在合理逻辑。黎曼猜想已经占据这个研究领域的核心位置,哥德巴赫猜想暂时没办法在它之外,撬动更多数学分支。


