朱铨就这么的顺着自己的所写的证明思路,也就是刚刚那个简化猜想继续攻克。
在那个简化猜想上面继续再假定一个命题,进行渐进式层层推进:
“在假定‘戴尔’猜想不正确的情况下,那么就一定是会存在一组数,该数为非零整数ab,会使得a^u次方、b^r次方进行调解,形成一个调制解调器状的构造图形,在三维空间内成为一个空间椭圆曲线,且绝对不可能成为空间模曲线。”
在写到这里的时候,朱铨停顿了一下,众人的心顿时又悬了起来:
难道是卡壳了?
只见朱铨甩了甩自己的右手,缓解了一下手上的疲劳,又继续写道:
“如果可以同时证明这两个条件,那么就可以证明‘戴尔’猜想不成立。”
“反之,则‘戴尔’猜想成立!”
朱铨的这一个再次弱化的命题,直接是让‘戴尔’猜想的证明难度再次大大降低。
当然了,这也是建立在朱铨前面五十个白板的铺垫上形成的。
此命题一出,朱铨的证明进展飞快。
如果说之前是博尔特的百米跑速度,现在就是猎豹的捕食速度了。
朱铨已经是指明了解决猜想的方向,而根据数学的三大公理之‘两点之间,直线最短’,朱铨在方向确定的情况,只需要莽着往前冲就好了!
而对于朱铨这一个做法,华国的医学数学家已然是忍不住的叫好起来。
“牛!”
“牛B!”
“好样的!”
“这一步解决的太他娘的真精彩了!”
“朱铨着脑袋是怎么长的,怎么就这么奇思妙想呢?”
“佩服的五体投地啊!”
“谁敢说朱铨是不够专业的,那就是嘲笑我们这群人啊!”
...
而看懂这个证明的不仅仅是华国的科学家,那些在此围观的外国数学家们也是看明白了。
纵然是再怎么不愿意承认,那些国外的数学家们也得在心里面认识到一点:
这个华国的年轻人可能真的会把这个困扰了世界百年之久的‘戴尔’猜想给解决掉了。
而他们这些外国人,尤其是灯塔国的那些数学家们,光是把这个念头想一想,都觉得是那样的难以置信。
在这样的一个情景下,又是这样的一个人物,电视剧、电影都不敢这么编啊!
此时,董四海院士坐不住了,招呼着众人上前,大手一挥:“小辉,你们把设备给弄好了没?咱们趁着这时间也就别闲着了,就做一下验算吧!”
“这笔记本的算力够么?”
一个教授开口问道。
“管够!网络连接到超算上了,这就是个中转站。”
那位被叫做小辉的工程师回答道。
“咱们现在就是做做不完全验算,只需要证明一下没有绝对的漏洞。”董四海作为地位最高的几个大佬之一,号召力那是杠杠的:“剩下的详细论证,咱们回去再说。”
杜门教授也附和道:“那个详细的验算是需要顶级数学家们花费很长时间才能搞出来的,咱们现在做的是简单验算,排除明显错误。”
随着几个大佬的号召,全体华国数学家们就地开始了验证。
作为东道主,这人手在这,这设备也有,所以得天独厚。
而周围几个国外数学家见状,也加入了进来,验算工作尽然有序的推进着。
他们,想要一起见证这个注定被数学界铭记的时刻。
有了规模化的验算团队,验算的工作可以说是胖五发射速度了。
董四海道:“公式一,过!”
杜门道:“公式二,过!”
袁东道:“公式三,过!”
...
一个青年的秃顶数学见道:“公式十九,过!”
...
“注意了,这个公式的证明验算需要‘三合一’的验算,即逻辑运算一次、反推运算一次,联合运算一次,只有三个都成立了,才算是成立。”
董四海再次强调了一个验算的要求。
众人道:“知道了!”
随着一声声‘过’、‘过了’、‘成立’、‘符合’...声音响起,大家心中都不由的为之振奋。
大家都是数学家,在数学这块,大家都是知道的,很多猛地一看确实能行的公式,是禁不起详细验算的。
所以,这也就是为什么在很多猜想解开后,需要众多的相关数学家进行一次或者多次的庞大且时间线拉的足够长的论证过程,找出隐藏在这其中的错误和漏洞。
因为一旦有一个地方出了问题,那么就证明了下面的论证无效。
后面论证的无论多么惊艳也没有用!
数学需要的是严谨,这也就意味着差一点,一丁点儿都不行的。
并且,有的时候,为了解决验算时数学家遇到的不理解之处,那个‘证明’猜想的数学家还得负责答疑解惑。
如果不能完美的解释,让至少三分之二的权威数学家们认同,那么也视同为无效论证。
朱铨已经是向着最后的那一步发起冲击,华国的人自然是不希望朱铨失败的,担心朱铨前面出现纰漏,导致没有成功,那就惨了。
推进一步,那也终究是推进一步罢了!
最后数学史上最辉煌的当属最后解决猜想,将其变为定理的人,其他的贡献者,唯有名字流传。
但事迹,一带而过,哪里比得上那位集大成者的一页纸描述呢?!
功败垂成,这是万万需要避免的。
当然了,华国数学家越是希望朱铨成功,那些外国的数学家就越是相反,比如灯塔国的那几位数学家,花盛钝、林坑等人,十分想到朱铨的失败,中道崩殂。
然而,事与愿违!
外国数学家们发现,这个华国年轻人实在是很不可思议,这脑子比超算电脑还要厉害,不仅是计算毫无差错,甚至于精确度也是那般完美。
可以用‘毫无疏漏’来形容了。
众人拾柴火焰高!
单兵作战能力再强,那也顶不过一个团队作战啊!
如果有,那只能是电影中的了。
在董四海等人的规划下,众人的验算十分的迅速,已经是快追赶上朱铨本人证明的速度了。
此时,在奋笔疾书的朱铨再次写满了整块的白板。
而就在汪静静等人将新的一块白板放在他的面前时,朱铨再次停了笔。
接着,朱铨又抬头看了看那剩余了八块白板,一动也不动,陷入了沉思。
众人的心一下子又悬了起来。
所有人的目光、所有的摄像头,全都聚焦到了朱铨身上。
“咦?”
“为啥不写了?”
“怎么了这是?”
“干愣在那儿做啥呢?”
“啥子情况?难道是手酸了?”
“我觉得不像啊!这手直接是停在了白板上,没有动笔!”
“卧槽,不会是没思路了吧!”
“这么紧要的关头下,再加把力气啊!”
“不是吧!就到这里了?”
“终究还是临门差了一脚啊!”
“加油啊!”
...
董四海等数学家脸色均不同程度的发生了变化,面面相觑着。
虽然这样的结果也算是可以接受的了。
毕竟,那可是将‘戴尔’猜想解决了一大步了。
但是,终究还是差了一点,没有能够将其变为定理。
众人的脸色中都有些遗憾,但他们也知道这事儿强求不得,只能是‘尽人事、听天命’。
这可是‘戴尔’猜想啊!
一个年轻人现在可以推进到这一步,已经是要轰动全世界了。
要求太高,把年轻人压垮了,可不行。
再者,这个也不见得,他在未来的日子里,就不能更近一步啦!
柳筱玥在看到朱铨写出如此完美的答卷,内心已经是对其钦佩万分了。
所以,当一旁的鞠祎婧准备再此尝试着让朱铨往下证明的时候,柳筱玥阻止了,开口道:“朱老师已经很不容易了,你别催促。”
鞠祎婧略有些急,心有不甘,却也知道柳筱玥说的对,不能苛责太多。
这时,一个日已落国的女数学家率先走向朱铨,带着一个翻译同行,说道:“小伙子,你很不错,做到了很多顶尖数学家做不到的事情。”
“不完美也是一种完美。”
一个乌鸡国的女数学家也过来表示了自己的安慰。
就连灯塔国也派出了一位美女华裔数学家,邀请道:“你有没有想过来灯塔国搞研究,钱管够,不设定绩效,三个月就能入籍...”
这样的公然拉拢让全体华国人义愤填膺,推搡着就要把这位女的给拉走。
而一直录制的摄像大师们也是纷纷对准了此处,留下证据,免得被灯塔国的人倒打一耙。
就在此时,一直没有说话的朱铨开口道:“静静同学,你选一块白板吧,看着那个顺眼,就拿来放在我面前。”
“啊?”
汪静静呆呆的眨着眼问,
“就给哥哥我选一块白板!”
朱铨笑着解释。
“那这个吧!”
汪静静选了离自己最近的那一块。
“好!”
“那剩下来的呢?”
汪静静又问。
“不需要了!”朱铨手上的动作不停,说道:“因为接下来的,都不需要了!“
听到这一的对话,原本惋惜的众人瞬间点燃了心中的希望之火。
所有人的目光再次聚焦。
一分钟!
三分钟!
十分钟!
...
不知道过了多久,只见朱铨再白板上写道:
”...
因此,‘戴尔’猜想成立!
证毕。
——朱铨。”
这一秒钟,现场所有人都沸腾了起来!