第1386章 顺利到难以想象

    普林斯顿高等研究院。

    费弗曼教授的办公室里。

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

    “你在看什么？”

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

    “LSPM的阶段性成果。”

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

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

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

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

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

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

    “不可思议……”

    “这简直是相当于——”

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

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

    这篇论文的结果距离ABC猜想的最终命题已经非常接近了，他们已经通过对Baker定理的精细化，以结论【d＜D)^ ε}】为跳板，得到了一个ABC猜想的弱形式。

    即，如果a b=c，gcd=1，则max≤)^2。

    这个弱形式有多牛逼呢？

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

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

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

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

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

    “说的也是……”

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

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

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

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

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

    “要赌点什么吗？”

    萨纳克教授干咳了一声。

    “这个……还是算了。”

    ……

    四月二十九号的清晨。

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

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

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

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