“你大概是第一个能够一眼看出我在证明什么的人。”
佩雷尔曼说道。
李牧笑了笑,对他来说,做到这一点其实倒也挺简单,当然他也没有说的太多,继续看下黑板,经过了片刻的思考后,说道:“你现在遇到的问题是……嗯,无法将∑k的代数式整合到复函数中……你打算利用的是,零点比例的方法?”
“是的。”佩雷尔曼点了点头,“我已经将这个零点比例提高到了百分之五十——如果没有错的话。”
李牧顿时一愣,“百分之五十?”
在黎曼猜想中,其判断在黎曼ζ函数中,所有非平凡零点的实数部分均为1/2,也就是说这些零点都落在了直线1/2+ti上。
而当前,数学界主要有两种方法来实现这一点。
第一个方向是计算黎曼ζ函数的非平凡零点。1903年,丹麦数学家第一次算出了前15个非平凡零点的具体数值,这些零点的实部全部都是1/2。1925年,李特尔伍德和哈代——没错,又是这两位在数学界最知名的合作者之一,改进了计算方法,算出了前138个零点;随后,哈代的学生利用Siegel于1932年得到的Siegel公式将非平凡零点算到1041个,人工智能之父图灵将非平凡零点推进到1104个。
在此之后,科技入场,计算机的诞生,将非平凡零点验证到350万个,及至后来,2亿、15亿、8500亿,一直到10万亿,都没能找到反例。
但显然这种机械的验证方法,是不能完成最终证明的,因为数字是无穷的,即使宇宙有穷尽之时,数字也永远没有尽头。
所以只有一般性的证明,才能终究这个猜想。
于是第二个方向随之诞生,其方法是证明临界线上零点个数的比例。
又是哈代首先证明黎曼ζ函数的零点有无穷多个都位于实部是1/2的临界线上,但无穷多并不是所有,人们并不知道在临界线以外是否存在零点。随后,塞尔伯格证明了临界线上的零点个数占全部非平凡零点个数的比例大于零,这意味着临界线上的零点在全部零点的分布中举足轻重。进一步,列文森引入独特算法,证明临界线上的零点占全部零点的比例达到34.74%,此后,康瑞又在1989年把比例推进到40%。
但之后,进度开始变得无比缓慢,最新的进度,也仅仅是在2012年将这个比例推进到了41.28%——和五分之二这个比例相比较,几乎相当于没有提升一样,以至于数学界对这个方法也逐渐失去了希望。
但让李牧意想不到的是,佩雷尔曼现在突然说他已经将这个结果推进到了60%。
“我可以看看你的论文吗?”
“当然。”
佩雷尔曼点点头,随后他便蹲下了身子,打开了书桌的一个抽屉,然后从中取出了一叠纸。
李牧一眼看去,就识别出这叠纸大概只有9页。
“就是这了,没有什么排版,大概也算不上什么论文。”佩雷尔曼说道。
李牧没有在意,接过了这九张纸,里面果然就是佩雷尔曼针对这个问题的证明。
他从头开始看起,而里面的内容也一如既往地能省略就省略,几乎缩减到了不能再缩减的程度。
换做其他的任何人过来,这样的论文大概能让不管是谁都头疼不已。
小主,
但对李牧来说,这样的论文却格外地符合他的头脑。
凭借着脑海计算机惊人地分析能力,他能够轻松地将证明中所存在的细节缺陷给填补起来,那些“显而易见”和“易得”之类的东西,对他来说也都是确确实实的“显而易见”和“易得”。
就这样的,仅仅花费了半个小时的时间,他就看完了这9页纸。
而后,他为之感慨起来:“很好的证明,如果你的证明能够公布出去,大概也能让数学界重燃对黎曼猜想证明的希望。”
佩雷尔曼摇了摇头,说道:“我可不希望变得像猴子一样被所有人看着。”
“如果你想要劝我的话,也还是算了,博洛尼科夫已经试过很多次了,我并不