“哈代的方法是利用积分表示和不等式估计。”


    谢知在草稿纸上写下哈代的证明关键步骤，“他构造了一个积分I(T)，通过计算I(T)的渐近行为，证明了当T趋于无穷时，临界线上的零点个数趋于无穷，但这种方法无法推广到所有零点。”


    谢知尝试改进哈代的积分——将积分路径从原来的矩形围道改为更复杂的“双环围道”，试图通过更精细的估计来限制零点的实部。


    但计算量太大，【愚者】的【风闻百解】在疯狂示警。


    “不对。”


    谢知揉掉一张草稿纸，“单纯缩小零点区域是不够的，必须找到ζ函数零点分布的本质规律。”


    他转而研究ζ函数的函数方程：ζ(s)=2?π^(s-1)sin(πs/2)Γ(1-s)ζ(1-s)。


    这个方程揭示了ζ(s)在s与1-s之间的对称性，而临界线Re(s)=1/2，正是这一对称结构的天然对称轴。


    “既然函数方程赋予了临界线如此特殊的地位，会不会所有非平凡零点，都必须落在这条对称轴上，才能维持ζ函数的整体解析和谐？”


    这个念头如电光石火般炸开，让谢知彻底打开了思路。


    他以对称化思想搭建证明框架，先定义了黎曼原始的完备ξ函数：


    ξ(s) = s(s-1)π^(-s/2)Γ(s/2)ζ(s)/2。


    依托ζ函数的函数方程，可直接证得ξ(s)=ξ(1-s)——这意味着ξ函数关于直线s=1/2严格对称。若s是ξ函数的零点，则1-s必然也是零点。


    “只要证明ξ函数不存在实部不等于1/2的零点，黎曼猜想便成立。”


    谢知的笔尖在纸页上飞速跳跃，思维在真理的深海中肆意畅游，【愚者】在意识深处不断为他剔除歧路、锁定方向。


    “要证明这一点，核心是证明ξ函数的零点分布，满足由对称性衍生出的刚性唯一条件。”


    他脑中掠过复分析中的最大模原理与Phragmén–Lindel?f 原理，又迅速牵联到数论中拥有极致对称与刚性的模形式。


    他曾在师兄的人生影像里，见过一本《模形式与黎曼猜想》，书中明确指出：黎曼猜想与模形式的算术性质深度绑定，模形式的强对称性，正是破解零点分布的关键钥匙。


    谢知将ξ函数与模形式体系挂钩，经过层层推导，证明ξ(s)可表示为某类全纯模形式的傅里叶变换经解析延拓后的结果。


    模形式的Hecke算子不变性、刚性增长条件与对称结构，会完整传递至ξ函数，从根源上约束其零点位置。


    “模形式的傅里叶系数满足严格的算术递归与多项式增长限制，这一性质会强迫其关联函数的零点，只能落在对称轴线之上。”


    谢知轻轻转动笔杆，思维沉入一片澄澈通透之境，宇宙最底层的逻辑结构在他眼前毫无保留地展开。


    【若ξ(s)可表示为全纯模形式的傅里叶变换之解析延拓，则其所有非平凡零点必满足Re(s)=1/2。】


    【设f(s)为满足f(s)=f(1-s)的整函数，且可表示为某类模形式的傅里叶变换，则其零点天然被对称结构锁定。】


    【若存在零点s?=a+bi，其中a≠1/2，由对称性可知1-s?亦是零点。一对偏离临界线的对称零点，会破坏函数的有限阶增长性。】


    他以模形式的算术性质为基础，构造辅助函数g(s)=f(s)2，结合ξ函数自身的对称性与整函数阶数估计，利用Phragmén–Lindel?f 原理对增长性进行约束，最终推导出无法调和的矛盾：


    偏离临界线的零点，会让函数增长速度突破模形式的多项式限制，与全纯模形式的有限阶增长性这一核心结论相悖。


    “因此，假设不成立。”


    “所有非平凡零点，只能落在Re(s)=1/2的临界线上。”


    当最后一个符号落下时，窗外的夜色已被晨曦撕开，泛起一片柔和的鱼肚白。


    ----------------------------------------


    第226章


    黎曼猜想的完整证明，谢知最终没有投递至数学界公认的四大顶刊，也没有选择任何一家影响因子常年领跑的欧美综合期刊，而是直接定稿、投稿、送审，发表在了国内由中科院主管、数学与系统科学研究院主办的《华国科学·数学》。


    虽然发国外顶刊可能会更好，但现在的谢知已经不需要那些名头了，克雷数学研究所的千禧年大奖、国际数学联盟的终身荣誉、全球学界的顶礼膜拜……这些，他早就有了。


    《华国科学·数学》是国内数学领域毫无争议的头刊，SCIE收录、稳居中科院分区数学大类Q1，常年接收纯数学、代数几何、解析数论方向的最高质量原创成果，在国际上早已具备稳定的学术声誉。


    但放在黎曼猜想这一级别的成果面前，依旧很少有人会第一时间将它与这本本土期刊联系在一起。


    消息刚从期刊官网泄露时，整个国际数学界的第一反应不是震惊于猜想被证明，而是困惑——不是，它凭什么啊？


    十年前，谢知曾以一己之力完整证明了另一个千禧年大奖难题——NP完全问题与P类问题的等价性判定。


    那项成果一经公布，直接改写了理论计算机科学与数理逻辑的底层框架，论文发表在《Annals of Mathematics》，当年便引发了全球范围的学术地震。


    也正是那一次证明，让谢知初次登上国际舞台，便坐稳了世界数学界第一梯队的位置。


    菲尔兹奖、高斯奖、奈望林纳奖、邵逸夫数学奖、克拉福德奖……除了阿贝尔和沃尔夫这两个终身性质的奖项，几乎所有数学界能拿到的顶级荣誉，他都已悉数收入囊中。


    国际数学联盟数次邀请他担任IMU副主席，普林斯顿高等研究院、哈佛、MIT、巴黎高师、玻恩研究院争相为他保留终身教授席位，开出的条件优厚到无需授课、无需答辩、无需参与任何行政事务，只需要保留学术身份即可。


    但谢知都没答应——权力和义务都是对应的，如果什么都不需要你做，那么别人得到的一定比你想象的还要多。


    只要他肯挂名，让“谢知”这两个字，出现在他们的教授名录、成员名单、机构官网上，便是对一所院校、一个联盟、一整个学术圈子的背书。


    他的存在，本身就是最高级别的学术信用。


    他的名字，就是最硬的通行证、最值钱的招牌。


    世人争先恐后奉上的一切——名誉、职位、头衔……本质上都是在购买他的荣光，租借他的权威，依附他的地位。


    所以他不需要。


    正如现在，他也不需要任何期刊为他背书。


    他在哪里，哪里就是学术中心。


    这一次选择《华国科学·数学》，谢知没有对外解释任何理由，甚至没有接受任何媒体的采访。


    他只是按照正常流程提交稿件，附上完整的四百二十三页证明，从复分析构造、临界线等价条件、新定义的ζ算子谱结构，到最终的无零点区域判定，每一步推导严密到无懈可击。


    期刊编辑部在收到稿件当天便启动了最高级别加急审稿。


    主编亲自牵头，邀请了全球范围内十位数论与分析方向的权威学者，其中包括三位阿贝尔奖得主、两位菲尔兹奖得主、一位克雷数学研究所科学委员会主席。


    如此豪华的审稿阵容，在《华国科学·数学》创刊以来的历史上，从未出现过。


    三轮审稿，前后只用了二十一天。


    这在动辄以年为单位的顶级数学期刊审稿流程里，几乎是不可想象的速度。


    不是因为流程简化，而是因为没有人敢耽误，也没有人能挑出错误，所有审稿人的意见高度一致——


    证明正确，结论成立，黎曼猜想被解决。


    正式在线发表的那一天，arXiv预印本同步更新。


    全球数学界的震荡，又一次开始了。


    最先炸开的是欧美顶尖高校的数论小组。


    普林斯顿的解析数论研讨班临时加课，教室挤到站不下人，投影仪上投放的正是谢知的论文首页。


    剑桥牛顿研究所紧急召开线上会议，参会人数突破历史纪录。


    巴黎六大、苏黎世联邦理工、东京大学等机构的数论团队，全部暂停手头课题，全员进入研读状态。


    更有无数数学专业的学子发出哀嚎——他们刚选定了『黎曼猜想』作为研究课题，结果一晚上的功夫，你告诉我黎曼猜想被解决了？


    哦，上帝，这个世界太荒谬了。


    那个叫谢知的华国人，简直不是人！


    ……


    论文发布后，学术界的反应从最初的疑惑，逐渐转为敬畏。


    没有人再去质疑“为什么不发国际顶刊”，因为所有人都明白一个最朴素的道理：当一个人的学术地位已经不需要期刊来定义时，就是期刊需要他，而不是他需要期刊。


    谢知此前证明NP完全问题时，就已经让全世界意识到，他的思维高度是超出同时代学者的。


    对普通数学家而言，毕生难触其一的千禧难题，在他的学术轨迹里，更像是一次顺手完成的阶段性工作。