巅峰学霸 第276节（3 / 4）
所以趁着对面找反例的时候，他也在想办法通过逻辑弥补这个被挑出来的小漏洞。
好在问题不大，乔喻花费了一周时间，补全了这一块的证明过程。
主要就是证明了映射f的单射性跟满射性，并验证了逆映射f^-1唯一性、完备性、对称性，表明f和f^-1在逻辑上是一致的，且彼此之间没有信息丢失。
论文中也新增了一个唯一性定理：如果模态空间m是完备的高维连续空间，且映射f:m→c通过正则的特征函数g(r)定义，那么f是双射，且存在唯一的逆映射 f^{-1}:c→m，该映射不丢失任何模态空间的信息。
并在六月十八日晚上九点主动发起了视频会议。
对面也很给面子，审稿人来了九位，另外三位审稿人虽然有事，但也叫了合作者来旁听，然后直接把主要证明过程甩了过去。
然后丢出一句话：“各位尊敬的审稿人，这一证明过程相信已经完美的补足了你们所质疑的唯一性漏洞！”
说这番话的时候乔喻心里是有脾气的，毕竟他之前可是在田言真跟袁老面前夸下了海口，他的证明完美无瑕。
最终事实证明，好像并没有那么完美无瑕。还是被挑出了毛病，好在不是那种需要一年半载去验证的毛病，不然他这一张小脸就没处搁了……
所有人开始认真的研究乔喻的证明过程。
大概十分钟后，陶轩之率先发言：“我没什么问题了，这个证明过程其实跟我的想法差不多。”
说完，陶轩之大概觉得光这么说有些尴尬，干脆把自己之前的一些手稿也上传到了会议室。
乔喻瞅了眼陶轩之的证明过程，心里舒服了许多。嗯，看来这些审稿人还真不是在挑他的毛病，找反例也有人在想如何帮他补足这个小漏洞。
不过说是差不多，陶轩之的思路跟他还是有些区别的。
比如陶轩之是先假设模态空间m是紧致的，但其局部结构可能允许多个模态路径Γi存在重叠或交叉点。即：
然后通过限制特定的约束条件，来让f具备全局唯一性。不过乔喻觉得陶轩之的方法还是太复杂了，多了一个从局部到全局的过程……
又过了一会，彼得·舒尔茨跟皮埃尔·德里尼也点了点头，认可了乔喻的证明。
最后詹姆斯·梅纳德也摘下了眼镜，打开麦克风说了句：“好吧，我也没什么问题了。恭喜你，乔喻，你证明了黎曼猜想！”
一直旁听的洛特·杜根笑了，然后也打开了麦克风：“好吧，看来各位审稿人都没有意见了，那么我会把这一段证明过程加入到论文中去。
感谢各位审稿人的支持。数学年刊打算针对乔喻这篇论文发一份特刊！同时也感谢乔喻对我们的支持！大家都辛苦了。”
说实话，此时的洛特·杜根心情是激动的。
证明了黎曼猜想的论文，终究是发在了《数学年刊》上。
“等等……那个我还有点想法。”就在大家都松了一口气的时候，乔喻突然说道。
所有人的目光都集中到了乔喻身上，虽然是透过镜头。
尤其是洛特·杜根，甚至有些紧张。
“就是经过这些天的思考，我提出了三个新的猜想，希望也加入到论文中去。”乔喻眨了眨眼睛说道。
“说说看。”洛特·杜根立刻说道。
“第一个是素数间隙对称性猜想。具体描述就是任意大的素数范围内，素数间隔的分布具有某种对称性。
也就是说存在一个自然数n和一个对称函数f(x)，对于所有素数对pn，pn+1满足：
说完，不等大家反应过来，乔喻就继续说道：“第二个是素数与模态零点的共轭猜想。在模态路径Γ上的零点zn与素数p存在共轭关系ψ(zn)=p，满足： ↑返回顶部↑
好在问题不大，乔喻花费了一周时间，补全了这一块的证明过程。
主要就是证明了映射f的单射性跟满射性，并验证了逆映射f^-1唯一性、完备性、对称性，表明f和f^-1在逻辑上是一致的，且彼此之间没有信息丢失。
论文中也新增了一个唯一性定理：如果模态空间m是完备的高维连续空间，且映射f:m→c通过正则的特征函数g(r)定义，那么f是双射，且存在唯一的逆映射 f^{-1}:c→m，该映射不丢失任何模态空间的信息。
并在六月十八日晚上九点主动发起了视频会议。
对面也很给面子，审稿人来了九位，另外三位审稿人虽然有事，但也叫了合作者来旁听，然后直接把主要证明过程甩了过去。
然后丢出一句话：“各位尊敬的审稿人，这一证明过程相信已经完美的补足了你们所质疑的唯一性漏洞！”
说这番话的时候乔喻心里是有脾气的，毕竟他之前可是在田言真跟袁老面前夸下了海口，他的证明完美无瑕。
最终事实证明，好像并没有那么完美无瑕。还是被挑出了毛病，好在不是那种需要一年半载去验证的毛病，不然他这一张小脸就没处搁了……
所有人开始认真的研究乔喻的证明过程。
大概十分钟后，陶轩之率先发言：“我没什么问题了，这个证明过程其实跟我的想法差不多。”
说完，陶轩之大概觉得光这么说有些尴尬，干脆把自己之前的一些手稿也上传到了会议室。
乔喻瞅了眼陶轩之的证明过程，心里舒服了许多。嗯，看来这些审稿人还真不是在挑他的毛病，找反例也有人在想如何帮他补足这个小漏洞。
不过说是差不多，陶轩之的思路跟他还是有些区别的。
比如陶轩之是先假设模态空间m是紧致的，但其局部结构可能允许多个模态路径Γi存在重叠或交叉点。即：
然后通过限制特定的约束条件，来让f具备全局唯一性。不过乔喻觉得陶轩之的方法还是太复杂了，多了一个从局部到全局的过程……
又过了一会，彼得·舒尔茨跟皮埃尔·德里尼也点了点头，认可了乔喻的证明。
最后詹姆斯·梅纳德也摘下了眼镜，打开麦克风说了句：“好吧，我也没什么问题了。恭喜你，乔喻，你证明了黎曼猜想！”
一直旁听的洛特·杜根笑了，然后也打开了麦克风：“好吧，看来各位审稿人都没有意见了，那么我会把这一段证明过程加入到论文中去。
感谢各位审稿人的支持。数学年刊打算针对乔喻这篇论文发一份特刊！同时也感谢乔喻对我们的支持！大家都辛苦了。”
说实话，此时的洛特·杜根心情是激动的。
证明了黎曼猜想的论文，终究是发在了《数学年刊》上。
“等等……那个我还有点想法。”就在大家都松了一口气的时候，乔喻突然说道。
所有人的目光都集中到了乔喻身上，虽然是透过镜头。
尤其是洛特·杜根，甚至有些紧张。
“就是经过这些天的思考，我提出了三个新的猜想，希望也加入到论文中去。”乔喻眨了眨眼睛说道。
“说说看。”洛特·杜根立刻说道。
“第一个是素数间隙对称性猜想。具体描述就是任意大的素数范围内，素数间隔的分布具有某种对称性。
也就是说存在一个自然数n和一个对称函数f(x)，对于所有素数对pn，pn+1满足：
说完，不等大家反应过来，乔喻就继续说道：“第二个是素数与模态零点的共轭猜想。在模态路径Γ上的零点zn与素数p存在共轭关系ψ(zn)=p，满足： ↑返回顶部↑