亲,双击屏幕即可自动滚动
第616页
    随即,程诺打开荧幕,让PPT投影到幕布上。
    “很高兴各位能来听我的报告,这次我学术报告的内容是,ABC猜想的证明!”
    台下,上田新一浑身颤抖。
    第四百九十六章 时代传奇
    ABC猜想,可以说是上田新一最为得意的一项成就。
    当时,他为了撰写那篇长达五百多页的论文,可是足足耗费了五年多的时间。
    那篇证明ABC猜想的论文,是上田新一最宝贵的心血。
    虽然没人能说明他理论的正确,但同样也没有人找出他理论中存在的错误不是。
    况且,ABC猜想方面,历数下来,目前只有他的那篇论文中描述的方法还算可行,其他途径,全都是死路。
    这就导致上田新一常常是以ABC猜想领域的第一人自居。
    但现在,他听到了什么?
    程诺这次学术报告的内容,是ABC猜想的证明!
    上田新一脑海里第一个念头自然是荒谬。
    怎么可能?!才过去多长时间?
    从程诺证明出BSD猜想到现在,满打满算,也就六个月的时间而已。
    六个月的时间,证明出难度只是稍逊于七大数学猜想的ABC猜想,这难道不是很荒谬的一件事吗?
    要知道,当初他为了证明ABC猜想,可是足足用了五年时间。
    但很快,上田新一变得恐惧起来。
    六个月时间,证明ABC猜想,这种事情,放在当世任何一位数学家身上,上田新一都认为不可能会发生。
    但唯独一个人除外,那个人就是程诺!
    谁也无法想象,这个妖孽的家伙,真正的极限在哪里。
    所以,任何看似荒谬的事情,放在程诺身上,并非是不可能实现。
    深呼几口气,上田新一眼睛通红的望着台上,祈祷着事实不要走向对他最坏的方向。
    要是程诺仅仅是有了一个证明思路,还并没有付诸于实践,上田新一还是勉强可以接受。
    但若是程诺真的把ABC猜想完完整整的证明出来,那……
    上田新一摇摇头,不再去想这恐怖的后果。
    “师兄……”
    井田一郎也明白了发生了什么,扭头望着上田新一,声音因为惊惧而微微颤抖。
    “稳住,说不定他只是故意吓吓我们。”上田新一沉声道。
    ……
    程诺站在台上,自然把上田新一师兄弟两人的面色变换一收眼底。
    “唉,让你们不要来,你们非要来,我也很无奈啊!”
    心中嘀咕了一句,程诺面带微笑,开始进行学术汇报工作。
    “关于ABC猜想的研究,我和我的团队是从今年五月开始着手进行的。历时四个月时间,我们总算是不负众望,成功将ABC猜想证明。下面是我们的具体证明过程,各位请看。”
    “ABC猜想的具体内容我就不做过多赘述了,但我需要提到的一点是,在ABC猜想中,是允许反例存在的。也就是说,A、B、C这三个数乘积的所有素数积相乘的结果,并非一定要大于C。反例虽然存在,但反例的数量却是有限个。”
    “对ABC猜想有一定了解的朋友们可能知道,由于ABC猜想允许反例的存在,会使猜想的证明过程相当复杂。就连通过超算一一排查的方式都无法实行。因此,我和我的团队便进行商讨,如何通过一定的转换,将这个本身允许反例的ABC猜想,转换成一个不允许反例存在的猜想。”
    听到这个思路,下面不少数学家都是眼睛一亮。
    程诺这个想法,虽然听起来很天马行空,但从理论上来讲,是完全具有可行性的。
    一旦将ABC猜想转化为一个不允许反例存在的猜想,那许多常规的手段,便可以使用到这个猜想上面。
    证明难度,恐怕会降到原来的不到一半。
    但这么短时间,程诺和他的团队,真的完成这一步了吗?
    要是程诺能听到这个疑问,肯定会给一个肯定的回答。
    这四个月时间,程诺和张伟等人,不仅完成了ABC猜想的转换,更是加班加点的,把转换后的ABC猜想,给彻底证明出来!
    台上,程诺撸了撸袖口,拿起矿泉水喝了一口,继续讲述。
    “各位请看,首先,我们将对于一般满足a、b、c为互素正整数,a+b=c的三元组(a,b,c),有clt;rad(abc)……那么此时,q(a,b,c)lt;1,而qgt;1之情况实属少见,这些数的因数中存在着小素数的高次幂。”
    “下一步,我们要对abc的乘积用ε^(-ω)rad(n)替代,随后利用公式……至此,ABC猜想转换成功,这个猜想①,是不允许存在任何反例的。下面,就是对猜想①的证明,这是具体的步……”
    上田新一边听,边用湿巾擦着额头上不断留下来的汗水。
    程诺所讲述的理论,上田新一是一字不漏的全都听了下来。
    但越听,上田新一心里是越凉。
    程诺选择证明ABC猜想的方式,和他证明ABC猜想所用的方式,可以说是两个完全不同的方向。
    程诺的想法是,通过对猜想本身的转化,将复杂的问题简单化。
    而他自己,是基于阿贝尔几何,创造一套全新的数学理论和数学工具来处理ABC猜想。
    虽说他对自己的方法有信心,论学术水平,足以碾压程诺所提的那种证明方式。
    --