外界那些喧嚣也渐渐开始沉寂。除了数学界跟乔喻相关的少数人外,已经没几个人在关心这个问题。
毕竟数学其实距离普通人其实很远。用许多对数学无感的人话说,生活中会加减乘除也就够了,难道去超市买个菜还需要会解二元二次方程?
这大概也是许多人很佩服数学家,但数学家却并不知名的原因。
那些让人头大的数学问题是看不懂的。有那个时间不如关心一些更好玩的事情。数学女神高攀不起,但明星八卦起来还是很有意思的。
话又说回来,这种论文审核方式进度还是非常很快的。每个证明过程,都讲一讲,争一争,逻辑上有没有漏洞就很清楚了。
对于乔喻来说,大概就是不知不觉中两个月就过完了,天气也渐渐热了起来。
中间过了五一、六一两个重要节日,乔喻都没能给自己放一天假,闭关修炼都没这么惨。
虽然现在并不是每天都有那么多人在了。大佬们果然还是有各种事情要忙的。但每天都能有人抽出时间来。
不止是审稿人大佬,还有他们的学生,偶尔洛特?杜根也会出现。不过这位总编大佬一般情况下不会发,就单纯旁听。
人很累,甚至有些麻木了。
但收获肯定是有的,在跟诸多独立审稿人做了极为详尽的探讨之后,十二位审稿人已经有八位认可了这篇论文。
剩下四位倒也不是吹毛求疵,而是还在针对模态空间与复平面之间的映射的唯一性跟信息是否全面做一些技术性的争论。
这个唯一性很重要,毕竟多义性会导致零点分布不确定。尤其是映射f如果不是双射,就可能造成信息丢失,甚至是虚假零点。
这一质疑还是詹姆斯?梅纳德、彼得?舒尔茨跟陶轩之三人一起提出的。
他甚至都没法怪这三位大佬。因为人家直接拿当初几何朗兰兹猜想举了例子。
当初乔喻就是从那一点点漏洞中,找出了反例,所以现在暂时还没有认可论文的四位大佬也希望通过这种方式找到反例。
好吧,对于乔喻来说,这的确是个很让人烦恼的事情。他倒不太在乎能否在世界数学家大会前搞定论文,主要是天天呆在华清跟一帮老头子探讨这些数学理论太闷了……
大半个学期都快过完了,他几乎啥都没干就耗一篇论文上了。这沉没成本太高了……
毕竟如果搞不定这些家伙,他就拿不到克雷研究所的奖金。而且如果他把时间用在计算平台上,说不定现在已经可以开始盈利了。
所以趁着对面找反例的时候,他也在想办法通过逻辑弥补这个被挑出来的小漏洞。
好在问题不大,乔喻花费了一周时间,补全了这一块的证明过程。
主要就是证明了映射f的单射性跟满射性,并验证了逆映射f^-1唯一性、完备性、对称性,表明f和f^-1在逻辑上是一致的,且彼此之间没有信息丢失。
论文中也新增了一个唯一性定理:如果模态空间m是完备的高维连续空间,且映射fm→c通过正则的特征函数g(r)定义,那么f是双射,且存在唯一的逆映射f^{-1}c→m,该映射不丢失任何模态空间的信息。
并在六月十八日晚上九点主动发起了视频会议。
对面也很给面子,审稿人来了九位,另外三位审稿人虽然有事,但也叫了合作者来旁听,然后直接把主要证明过程甩了过去。
然后丢出一句话:“各位尊敬的审稿人,这一证明过程相信已经完美的补足了你们所质疑的唯一性漏洞!”
说这番话的时候乔喻心里是有脾气的,毕竟他之前可是在田真跟袁老面前夸下了海口,他的证明完美无瑕。
最终事实证明,好像并没有那么完美无瑕。还是被挑出了毛病,好在不是那种需要一年半载去验证的毛病,不然他这一张小脸就没处搁了……
所有人开始认真的研究乔喻的证明过程。
大概十分钟后,陶轩之率先发:“我没什么问题了,这个证明过程其实跟我的想法差不多。”
说完,陶轩之大概觉得光这么说有些尴尬,干脆把自己之前的一些手稿也上传到了会议室。
乔喻瞅了眼陶轩之的证明过程,心里舒服了许多。嗯,看来这些审稿人还真不是在挑他的毛病,找反例,也有人在想如何帮他补足这个小漏洞。
不过说是差不多,陶轩之的思路跟他还是有些区别的。
比如陶轩之是先假设模态空间m是紧致的,但其局部结构可能允许多个模态路径Γi存在重叠或交叉点。即:
然后通过限制特定的约束条件,来让f具备全局唯一性。不过乔喻觉得陶轩之的方法还是太复杂了,多了一个从局部到全局的过程……
又过了一会,彼得?舒尔茨跟皮埃尔?德里尼也点了点头,认可了乔喻的证明。
最后詹姆斯?梅纳德也摘下了眼镜,打开麦克风说了句:“好吧,我也没什么问题了。恭喜你,乔喻,你证明了黎曼猜想!”
一直旁听的洛特?杜根笑了,然后也打开了麦克风:“好吧,看来各位审稿人都没有意见了,那么我会把这一段证明过程加入到论文中去。
感谢各位审稿人的支持。数学年刊打算针对乔喻这篇论文发一份特刊!同时也感谢乔喻对我们的支持!大家都辛苦了。”
说实话,此时的洛特?杜根心情是激动的。
证明了黎曼猜想的论文,终究是发在了《数学年刊》上。
“等等……那个,我还有点想法。”就在大家都松了一口气的时候,乔喻突然说道。
所有人的目光都集中到了乔喻身上,虽然是透过镜头。
尤其是洛特?杜根,甚至有些紧张。
“就是经过这些天的思考,我提出了三个新的猜想,希望也加入到论文中去。”乔喻眨了眨眼睛说道。
“说说看。”洛特?杜根立刻说道。
“第一个是素数间隙对称性猜想。具体描述就是任意大的素数范围内,素数间隔的分布具有某种对称性。
_c