朱铨就这么的顺着自己的所写的证明思路,也就是刚刚那个简化猜想继续攻克。
在那个简化猜想上面继续再假定一个命题,进行渐进式层层推进
“在假定‘戴尔’猜想不正确的情况下,那么就一定是会存在一组数,该数为非零整数ab,会使得au次方、
次方进行调解,形成一个调制解调器状的构造图形,在三维空间内成为一个空间椭圆曲线,且绝对不可能成为空间模曲线。”
在写到这里的时候,朱铨停顿了一下,众人的心顿时又悬了起来
难道是卡壳了?
只见朱铨甩了甩自己的右手,缓解了一下手上的疲劳,又继续写道
“如果可以同时证明这两个条件,那么就可以证明‘戴尔’猜想不成立。”
“反之,则‘戴尔’猜想成立!”
朱铨的这一个再次弱化的命题,直接是让‘戴尔’猜想的证明难度再次大大降低。
当然了,这也是建立在朱铨前面五十个白板的铺垫上形成的。
此命题一出,朱铨的证明进展飞快。
如果说之前是博尔特的百米跑速度,现在就是猎豹的捕食速度了。
朱铨已经是指明了解决猜想的方向,而根据数学的三大公理之‘两点之间,直线最短’,朱铨在方向确定的情况,只需要莽着往前冲就好了!
而对于朱铨这一个做法,华国的医学数学家已然是忍不住的叫好起来。
“牛!”
“牛b!”
“好样的!”
“这一步解决的太他娘的真精彩了!”
“朱铨着脑袋是怎么长的,怎么就这么奇思妙想呢?”
“佩服的五体投地啊!”
“谁敢说朱铨是不够专业的,那就是嘲笑我们这群人啊!”
而看懂这个证明的不仅仅是华国的科学家,那些在此围观的外国数学家们也是看明白了。
纵然是再怎么不愿意承认,那些国外的数学家们也得在心里面认识到一点
这个华国的年轻人可能真的会把这个困扰了世界百年之久的‘戴尔’猜想给解决掉了。
而他们这些外国人,尤其是灯塔国的那些数学家们,光是把这个念头想一想,都觉得是那样的难以置信。
在这样的一个情景下,又是这样的一个人物,电视剧、电影都不敢这么编啊!
此时,董四海院士坐不住了,招呼着众人上前,大手一挥“小辉,你们把设备给弄好了没?咱们趁着这时间也就别闲着了,就做一下验算吧!”
“这笔记本的算力够么?”
一个教授开口问道。
“管够!网络连接到超算上了,这就是个中转站。”
那位被叫做小辉的工程师回答道。
“咱们现在就是做做不完全验算,只需要证明一下没有绝对的漏洞。”董四海作为地位最高的几个大佬之一,号召力那是杠杠的“剩下的详细论证,咱们回去再说。”
杜门教授也附和道“那个详细的验算是需要顶级数学家们花费很长时间才能搞出来的,咱们现在做的是简单验算,排除明显错误。”
随着几个大佬的号召,全体华国数学家们就地开始了验证。
作为东道主,这人手在这,这设备也有,所以得天独厚。
而周围几个国外数学家见状,也加入了进来,验算工作尽然有序的推进着。
他们,想要一起见证这个注定被数学界铭记的时刻。
有了规模化的验算团队,验算的工作可以说是胖五发射速度了。
董四海道“公式一,过!”
杜门道“公式二,过!”
袁东道“公式三,过!”
一个青年的秃顶数学见道“公式十九,过