第1386章 顺利到难以想象(1 / 2)

普林斯顿高等研究院。

费弗曼教授的办公室里。

看着坐在办公桌的后面,一丝不苟地盯着手中论的费弗曼教授,跑来串门的萨纳克教授好奇地问了句。

“你在看什么?”

手中的论翻了一页,费弗曼教授没有抬头,随口回了句说道。

“lsp的阶段性成果。”

“lsp的阶段性成果?”萨纳克教授先是微微一愣,随即整个人顿时像是被雷击了一样,脸上露出了震惊的表情,“这么快?!他们做到哪一步了?”

已经完全沉迷在了那令人拍案叫绝的论证过程中,这会儿的费弗曼哪里有时间搭理他,随口敷衍了一句说道。

“打印机就在旁边,你自己打一份看看不就知道了。”

一刻也没有停留,听到这句话的萨纳克教授立刻走到了打印机的旁边,自己操作着打印机打了一份论出来。

拿着那份还带着油墨温香的论,萨纳克目光死死地盯在上面,花了大概一个小时的时间,将论快速地扫了一遍。

当他终于将手中论放下的那一刹那,脸上已经被震撼的表情塞满。

“不可思议”

“这简直是相当于”

“一门新的数学语言,”同样已经看完论的费弗曼教授喝了一口已经凉了的茶水,插了句话说道,“虽然是简易的版本,但用来描述abc猜想却是足够了想出这个点子的人简直是个天才,将它实现的人更是个魔鬼。实在是难以想象,如此惊人的成果居然是在两周的时间里做出来的。”

“更让人难以想象的是,他们居然会选择将这么重要的阶段性成果上传。”看着论上的内容,萨纳克教授忍不住说道。

这篇论的结果距离abc猜想的最终命题已经非常接近了,他们已经通过对baker定理的精细化,以结论ddradabc14ee为跳板,得到了一个abc猜想的弱形式。

即,如果abbsp;1,则 axa,b,cradabc2。

这个弱形式有多牛逼呢?

简单一句话,但凡是对数论有所研究的人,都可以通过这个弱形式,用一种非常简洁的方法,轻松证明费马方程xnynzn没有n6的正整数解,进而由此推出费马大定理的成立!

换句话说,如果这个abc猜想的弱形式早诞生二三十年的话,只怕就没怀尔斯什么事情了。

也正是因此,在萨纳克看来,这个阶段性的成果距离最终的答案几乎就只差了那么一层窗户纸,只要捅破了它,abc猜想的证明就在眼前!

“这没什么,”对于萨纳克教授的说法,费弗曼教授知识不置可否地笑了笑,“就算从这个弱形式到推出abc猜想的证明只差最后的临门一脚,你认为有人能比他们更快将这个球踢进去吗?”

听到这句话,萨纳克教授微微愣了下,脸上随即浮现了一抹尴尬的笑容。

“说的也是”

光是一个陆教授就能够排除掉这种可能性了,更不要说除了他之外,这个lsp课题组里还有舒尔茨这种青年数学家中的佼佼者,以及佩雷尔曼和望月新一这样的牛人。

想要抢在这四个人的前面得出答案,其中的困难不会比从零开始将abc猜想再证明一遍更容易,甚至有过之无不及。

如此看来,自己的担心似乎纯粹是多余的。

“我现在越来越期待了,”费弗曼教授笑着说道,“我的直觉告诉我,最晚这个月底,我们就能够给abc猜想一个盖棺定论的回答了。”

“月底?”萨纳克教授皱了下眉头,“可是距离月底只剩下一周了。虽然他们的实力确实很强,这个阶段性成果距离最终的证明也足够的接近,但”

“要赌点什么吗?”

萨纳克教授干咳了一声。

“这个还是算了。”

四月二十九号的清晨。

距离isp课题组成立已经过去快四周的时间了。

从卧室中睁开了双眼,起身下床的陆舟去卫生间简单地洗漱了下,然后吃完了小艾准备好的煎蛋和三明治,才不紧不慢地出了门。

闭关从二十八号就结束了,或者说的更具体点就是昨天下午三点。

这段时间以来,他都没有怎么好好休息过,因此今天起的稍微晚了一点,直到九点钟才姗姗来迟地抵达了图书馆。

当陆舟到达这里的时候,他的三位队友已经在这里等候多时了。

“抱歉,我迟到了。”

“没事儿,我们刚才还在猜,你会不会下午才起床,没想到你居然只迟到了一个小时”舒尔茨不在意地笑了笑,开玩笑说道,“说真的,你要不再回去睡一会儿?你这些天都没怎么休息过,反正咱们的工作也只剩下最后一步了,晚一天早一天完成都是可以的。”