第三百四十二章 證畢
朱銓就這麼的順著自己的所寫的證明思路,也就是剛剛那個簡化猜想繼續攻克。
在那個簡化猜想上面繼續再假定一個命題,進行漸進式層層推進:
「在假定『戴爾』猜想不正確的情況下,那麼就一定是會存在一組數,該數為非零整數ab,會使得a^u次方、b^r次方進行調解,形成一個數據機狀的構造圖形,在三維空間內成為一個空間橢圓曲線,且絕對不可能成為空間模曲線。」
在寫到這裡的時候,朱銓停頓了一下,眾人的心頓時又懸了起來:
難道是卡殼了?
只見朱銓甩了甩自己的右手,緩解了一下手上的疲勞,又繼續寫道:
「如果可以同時證明這兩個條件,那麼就可以證明『戴爾』猜想不成立。」
「反之,則『戴爾』猜想成立!」
朱銓的這一個再次弱化的命題,直接是讓『戴爾』猜想的證明難度再次大大降低。
當然了,這也是建立在朱銓前面五十個白板的鋪墊上形成的。
此命題一出,朱銓的證明進展飛快。
如果說之前是博爾特的百米跑速度,現在就是獵豹的捕食速度了。
朱銓已經是指明了解決猜想的方向,而根據數學的三大公理之『兩點之間,直線最短』,朱銓在方向確定的情況,只需要莽著往前沖就好了!
而對於朱銓這一個做法,華國的醫學數學家已然是忍不住的叫好起來。
「牛!」
「牛B!」
「好樣的!」
「這一步解決的太他娘的真精彩了!」
「朱銓著腦袋是怎麼長的,怎麼就這麼奇思妙想呢?」
「佩服的五體投地啊!」
「誰敢說朱銓是不夠專業的,那就是嘲笑我們這群人啊!」 ……
而看懂這個證明的不僅僅是華國的科學家,那些在此圍觀的外國數學家們也是看明白了。
縱然是再怎麼不願意承認,那些國外的數學家們也得在心裏面認識到一點:
這個華國的年輕人可能真的會把這個困擾了世界百年之久的『戴爾』猜想給解決掉了。
而他們這些外國人,尤其是燈塔國的那些數學家們,光是把這個念頭想一想,都覺得是那樣的難以置信。
在這樣的一個情景下,又是這樣的一個人物,電視劇、電影都不敢這麼編啊!
此時,董四海院士坐不住了,招呼著眾人上前,大手一揮:「小輝,你們把設備給弄好了沒?咱們趁著這時間也就別閑著了,就做一下驗算吧!」
「這筆記本的算力夠么?」
一個教授開口問道。
「管夠!網路連接到超算上了,這就是個中轉站。」
那位被叫做小輝的工程師回答道。
「咱們現在就是做做不完全驗算,只需要證明一下沒有絕對的漏洞。」董四海作為地位最高的幾個大佬之一,號召力那是杠杠的:「剩下的詳細論證,咱們回去再說。」
杜門教授也附和道:「那個詳細的驗算是需要頂級數學家們花費很長時間才能搞出來的,咱們現在做的是簡單驗算,排除明顯錯誤。」
隨著幾個大佬的號召,全體華國數學家們就地開始了驗證。
作為東道主,這人手在這,這設備也有,所以得天獨厚。
而周圍幾個國外數學家見狀,也加入了進來,驗算工作盡然有序的推進著。
他們,想要一起見證這個註定被數學界銘記的時刻。
有了規模化的驗算團隊,驗算的工作可以說是胖五發射速度了。
董四海道:「公式一,過!」
杜門道:「公式二,過!」
袁東道:「公式三,過!」 ……
一個青年的禿頂數學見道:「公式十九,過!」 ……
「注意了,這個公式的證明驗算需要『三合一』的驗算,即邏輯運算一次、反推運算一次,聯合運算一次,只有三個都成立了,才算是成立。」
董四海再次強調了一個驗算的要求。
眾人道:「知道了!」
隨著一聲聲『過』、『過了』、『成立』、『符合』.……聲音響起,大家心中都不由的為之振奮。
大家都是數學家,在數學這塊,大家都是知道的,很多猛地一看確實能行的公式,是禁不起詳細驗算的。
所以,這也就是為什麼在很多猜想解開后,需要眾多的相關數學家進行一次或者多次的龐大且時間線拉的足夠長的論證過程,找出隱藏在這其中的錯誤和漏洞。
因為一旦有一個地方出了問題,那麼就證明了下面的論證無效。
後面論證的無論多麼驚艷也沒有用!
數學需要的是嚴謹,這也就意味著差一點,一丁點兒都不行的。
並且,有的時候,為了解決驗算時數學家遇到的不理解之處,那個『證明』猜想的數學家還得負責答疑解惑。
如果不能完美的解釋,讓至少三分之二的權威數學家們認同,那麼也視同為無效論證。
朱銓已經是向著最後的那一步發起衝擊,華國的人自然是不希望朱銓失敗的,擔心朱銓前面出現紕漏,導致沒有成功,那就慘了。
推進一步,那也終究是推進一步罷了!
最後數學史上最輝煌的當屬最後解決猜想,將其變為定理的人,其他的貢獻者,唯有名字流傳。
但事迹,一帶而過,哪裡比得上那位集大成者的一頁紙描述呢?!
功敗垂成,這是萬萬需要避免的。
當然了,華國數學家越是希望朱銓成功,那些外國的數學家就越是相反,比如燈塔國的那幾位數學家,花盛鈍、林坑等人,十分想到朱銓的失敗,中道崩殂。
然而,事與願違!
外國數學家們發現,這個華國年輕人實在是很不可思議,這腦子比超算電腦還要厲害,不僅是計算毫無差錯,甚至於精確度也是那般完美。
可以用『毫無疏漏』來形容了。
眾人拾柴火焰高!
單兵作戰能力再強,那也頂不過一個團隊作戰啊!
如果有,那隻能是電影中的了。
在董四海等人的規劃下,眾人的驗算十分的迅速,已經是快追趕上朱銓本人證明的速度了。
此時,在奮筆疾書的朱銓再次寫滿了整塊的白板。
而就在汪靜靜等人將新的一塊白板放在他的面前時,朱銓再次停了筆。
接著,朱銓又抬頭看了看那剩餘了八塊白板,一動也不動,陷入了沉思。
眾人的心一下子又懸了起來。
所有人的目光、所有的攝像頭,全都聚焦到了朱銓身上。
「咦?」
「為啥不寫了?」
「怎麼了這是?」
「干愣在那兒做啥呢?」
「啥子情況?難道是手酸了?」
「我覺得不像啊!這手直接是停在了白板上,沒有動筆!」
「卧槽,不會是沒思路了吧!」
「這麼緊要的關頭下,再加把力氣啊!」
「不是吧!就到這裡了?」
「終究還是臨門差了一腳啊!」
「加油啊!」 ……
董四海等數學家臉色均不同程度的發生了變化,面面相覷著。
雖然這樣的結果也算是可以接受的了。
畢竟,那可是將『戴爾』猜想解決了一大步了。
但是,終究還是差了一點,沒有能夠將其變為定理。
眾人的臉色中都有些遺憾,但他們也知道這事兒強求不得,只能是『盡人事、聽天命』。
這可是『戴爾』猜想啊!
一個年輕人現在可以推進到這一步,已經是要轟動全世界了。
要求太高,把年輕人壓垮了,可不行。
再者,這個也不見得,他在未來的日子裡,就不能更近一步啦!
柳筱玥在看到朱銓寫出如此完美的答卷,內心已經是對其欽佩萬分了。
所以,當一旁的鞠禕婧準備再此嘗試著讓朱銓往下證明的時候,柳筱玥阻止了,開口道:「朱老師已經很不容易了,你別催促。」
鞠禕婧略有些急,心有不甘,卻也知道柳筱玥說的對,不能苛責太多。
這時,一個日已落國的女數學家率先走向朱銓,帶著一個翻譯同行,說道:「小夥子,你很不錯,做到了很多頂尖數學家做不到的事情。」
「不完美也是一種完美。」
一個烏雞國的女數學家也過來表示了自己的安慰。
就連燈塔國也派出了一位美女華裔數學家,邀請道:「你有沒有想過來燈塔國搞研究,錢管夠,不設定績效,三個月就能入籍……」
這樣的公然拉攏讓全體華國人義憤填膺,推搡著就要把這位女的給拉走。
而一直錄製的攝像大師們也是紛紛對準了此處,留下證據,免得被燈塔國的人倒打一耙。
就在此時,一直沒有說話的朱銓開口道:「靜靜同學,你選一塊白板吧,看著那個順眼,就拿來放在我面前。」
「啊?」
汪靜靜獃獃的眨著眼問,
「就給哥哥我選一塊白板!」
朱銓笑著解釋。
「那這個吧!」
汪靜靜選了離自己最近的那一塊。
「好!」
「那剩下來的呢?」
汪靜靜又問。
「不需要了!」朱銓手上的動作不停,說道:「因為接下來的,都不需要了!「
聽到這一的對話,原本惋惜的眾人瞬間點燃了心中的希望之火。
所有人的目光再次聚焦。
一分鐘!
三分鐘!
十分鐘! ……
不知道過了多久,只見朱銓再白板上寫道:
」.……
因此,『戴爾』猜想成立!
證畢。
——朱銓。」
這一秒鐘,現場所有人都沸騰了起來!