普林斯顿高等研究院。
费弗曼教授的办公室里。
看着坐在办公桌的后面，一丝不苟地盯着手中论文的费弗曼教授，跑来串门的萨纳克教授好奇地问了句。
“你在看什么？”
手中的论文翻了一页，费弗曼教授没有抬头，随口回了句说道。
“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的正整数解，进而由此推出费马大定理的成立！
换句话
…。。