“这简直是相当于——”
“一门新的数学语言,”同样已经看完论文的费弗曼教授喝了一口已经凉了的茶水,插了句话说道,“虽然是简易的版本,但用来描述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的正整数解,进而由此推出费马大定理的成立!
换句话