第186章 终于审完了！（第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，满足：

“第三个是高维素数投影猜想，对于任意素数 p，存在一个高维映射Φ:N→R^k（k≥3），使得在特定子空间中，素数的分布满足：‖Φ(pn+1)Φ(pn）‖=f(n)，且f(n)是某一递归或周期性函数。”

袁老先生专门跟他说过，那次张树文教授也跟他说过，数学家不但要善于解决问题，还要善于提出问题。

所以乔喻这些天除了跟这些审稿人一起探讨论文之外，又提出了这三个问题。

说白了这三个问题依然都是跟素数分布有关的。也是乔喻研究素数的初心。

如果三个猜想都能被证明，那肯定能通过解决这三个问题的工具掌握一种快速寻找素数的方法，不管这个素数有多大，非常具备实用性。