第1386章 順利到難以想象

普林斯頓高等研究院。

費弗曼教授的辦公室裡。

看著坐在辦公桌的後面,一絲不苟地盯著手中論文的費弗曼教授,跑來串門的薩納克教授好奇地問了句。

「你在看什麼?」

手中的論文翻了一頁,費弗曼教授沒有抬頭,隨口回了句說道。

「lspm的階段性成果。」

「lspm的階段性成果?」薩納克教授先是微微一愣,隨即整個人頓時像是被雷擊了一樣,臉上露出了震驚的表情,「這麼快?!他們做到哪一步了?」

已經完全沉迷在了那令人拍案叫絕的論證過程中,這會兒的費弗曼哪裡有時間搭理他,隨口敷衍了一句說道。

「印表機就在旁邊,你自己打一份看看不就知道了。」

一刻也沒有停留,聽到這句話的薩納克教授立刻走到了印表機的旁邊,自己操作著印表機打了一份論文出來。

拿著那份還帶著油墨溫香的論文,薩納克目光死死地盯在上面,花了大概一個小時的時間,將論文快速地掃了一遍。

當他終於將手中論文放下的那一剎那,臉上已經被震撼的表情塞滿。

「不可思議……」

「這簡直是相當於——」

「一門新的數學語言,」同樣已經看完論文的費弗曼教授喝了一口已經涼了的茶水,插了句話說道,「雖然是簡易的版本,但用來描述abc猜想卻是足夠了……想出這個點子的人簡直是個天才,將它實現的人更是個魔鬼。實在是難以想象,如此驚人的成果居然是在兩週的時間裡做出來的。」

「更讓人難以想象的是,他們居然會選擇將這麼重要的階段性成果上傳。」看著論文上的內容,薩納克教授忍不住說道。

這篇論文的結果距離abc猜想的最終命題已經非常接近了,他們已經通過對baker定理的精細化,以結論【d<d(rad(abc))^(1/4+ε)+ε}】為跳板,得到了一個abc猜想的弱形式。

即,如果a+b=c,gcd(a,b)=1,則max(|a|,|b|,|c|)≤(rad(abc))^2。

這個弱形式有多牛逼呢?

簡單一句話,但凡是對數論有所研究的人,都可以通過這個弱形式,用一種非常簡潔的方法,輕鬆證明費馬方程x^n+y^n=z^n沒有n>6的正整數解,進而由此推出費馬大定理的成立!

換句話說,如果這個abc猜想的弱形式早誕生二三十年的話,只怕就沒懷爾斯什麼事情了。

也正是因此,在薩納克看來,這個階段性的成果距離最終的答案几乎就只差了那麼一層窗戶紙,只要捅破了它,abc猜想的證明就在眼前!

「這沒什麼,」對於薩納克教授的說法,費弗曼教授知識不置可否地笑了笑,「就算從這個弱形式到推出abc猜想的證明只差最後的臨門一腳,你認為有人能比他們更快將這個球踢進去嗎?」

聽到這句話,薩納克教授微微愣了下,臉上隨即浮現了一抹尷尬的笑容。

「說的也是……」

光是一個陸教授就能夠排除掉這種可能性了,更不要說除了他之外,這個lspm課題組裡還有舒爾茨這種青年數學家中的佼佼者,以及佩雷爾曼和望月新一這樣的牛人。

想要搶在這四個人的前面得出答案,其中的困難不會比從零開始將abc猜想再證明一遍更容易,甚至有過之無不及。

如此看來,自己的擔心似乎純粹是多餘的。

「我現在越來越期待了,」費弗曼教授笑著說道,「我的直覺告訴我,最晚這個月底,我們就能夠給abc猜想一個蓋棺定論的回答了。」

「月底?」薩納克教授皺了下眉頭,「可是距離月底只剩下一週了。雖然他們的實力確實很強,這個階段性成果距離最終的證明也足夠的接近,但……」

「要賭點什麼嗎?」

薩納克教授乾咳了一聲。

「這個……還是算了。」

……

四月二十九號的清晨。

距離ispm課題組成立已經過去快四周的時間了。

從臥室中睜開了雙眼,起身下床的陸舟去衛生間簡單地洗漱了下,然後吃完了小艾準備好的煎蛋和三明治,才不緊不慢地出了門。

閉關從二十八號就結束了,或者說的更具體點就是昨天下午三點。

這段時間以來,他都沒有怎麼好好休息過,因此今天起的稍微晚了一點,直到九點鐘才姍姍來遲地抵達了圖書館。

當陸舟到達這裡的時候,他的三位隊友已經在這裡等候多時了。

「抱歉,我遲到了。」

「沒事兒,我們剛才還在猜,你會不會下午才起床,沒想到你居然只遲到了一個小時……」舒爾茨不在意地笑了笑,開玩笑說道,「說真的,你要不再回去睡一會兒?你這些天都沒怎麼休息過,反正咱們的工作也只剩下最後一步了,晚一天早一天完成都是可以的。」

作者「晨星LL」的其他小說

我在末世有套房