沈奇切换到第四页。
依旧全是数学式子。
∣logξ(1+t)∣≤logloglog∣t∣+A,logξ(σ+t)<<(log∣t∣)^2-2σ+ε
……
沈奇同步讲解核心要领:“如果黎曼猜想成立,则除s=1外,logξ(s)在半平面σ>1/2内正则,所以,请看下一页。”
第五页,第六页,第七页……一直到第二十页,全是数字式子。
全场鸦雀无声,有人听懂了,有人没听懂,有人半懂不懂。
第二十一页只有一个式子:
ζ(s)=^A+Bs∏∞n=1(1-s/ρn)(1-s/1-ρn)^(s/ρn+s/1-ρn)
“大家还记得黎曼手稿中所提到的那个核心表达式吗?黎曼曾说,他的猜想一定成立,他也作出了证明,但因为证明所得的表达式未简化到可公布于众的形式,所以黎曼猜想一直是黎曼猜想,并非黎曼定理。”
沈奇在舞台上来回走动,走着走着忽然止步,他回望一眼大屏幕:“我和我的团队,终于得到了传说中的表达式,就是屏幕上的这个!所以,在双生匹配法的设定中,第n组双生匹配组满足R(ρn)=1/2,这意味着什么?这意味着黎曼猜想几乎是一个正确的命题。”
哗!
全场爆炸了。
双生匹配法、传说中的表达式被证实,新的冲击不断袭来,数学家们群情激昂。
“几乎,为什么是几乎呢?”有些数学家忍不住脱口而出,大声问到。
按照正常程序,报告会现场不设Q≈ap;A环节,否则你一句我一嘴的影响报告效率,毕竟后面还有其他报告者。
Q≈ap;A通常设置在公开报告会之后的圆桌会议环节,分领域由该领域的权威专家对报告者的报告内容提出问题,由报告者答疑。
但沈奇这个spakr部分太劲爆了,现场快要控不住场了。
“请大家保持冷静,我的报告时间有限,在我之后,还有17位报告人等待报告。”沈奇控一下场,说到:“如果大家有兴趣,我们可以在圆桌会议上详细讨论。”
现场恢复正常秩序,沈奇继续讲解:“是的,我在这里用到了‘几乎’这个词语,为什么不是‘一定’呢?因为我们现并证实,黎曼所说的‘未简化到可公布于众’的表达式,不是一个,而是一组!我知道这是颠覆性的、全新的概念,那么接下来,请大家看第二组表达式。”
“什么?还有一个表达式!”数学家们根本无法淡定啊,刚冷静了不到一分钟,又爆炸了。
“请看第二组表达式。”沈奇继续切换PPT。
大屏幕上显示出第二组ζ(s)核心表达式:
0=^A+Bss∏∞n=1(s-ρn)(s-1+ρn)^(s/ρn+s/1-ρn)
刷!
龚长伟站了起来,他之前见过沈奇的第一个表达式,还提出了一些意见和建议。
而ζ(s)的第二个表示,龚长伟次见到,第二个表达式跟他预想中的有所区别。
虽然有所差异,但是非常完美!
刷!
梅纳德站了起来,他的感受跟龚长伟类似,只不过多了几分震惊,和一些挫败感。
刷刷刷!
全场所有人都站了起来,他们准备迎接一个极具历史意义的时刻。
沈奇的第一个表达式轻轻敲击新世界的大门,第二个表达式直接把大门踹开!
“结合第一个表达式,我们可以现,第二个表达式证明了s遍历到集合{ζ函数非显然零点}中的第n组双生匹配的结果成立,所以,黎曼猜想是一个正确的命题。我和我的团队,从定性角度证明了黎曼猜想。”经历过激情爆之后,沈奇以一种平静的口吻,对他的报告作出了总结。
富于创新性、逻辑清晰、推导严谨、框架合理、设定无懈可击……沈奇和他的团队做到了,他们证明了黎曼猜想!