第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課題組成立已經過去快四周的時間了。

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

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

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

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

“抱歉，我遲到了。”

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