程诺话音一落,下面的那群数学家交头接耳,相互之间小声的议论着。
有一位数学家举手问道,“程诺先生,这是你新推导出的一个定理吗?”
程诺摇摇头,“不,并不是。因为我现在还没有想出证明它的方法。不过我利用研究所的超级计算机运行过,发现在这个公式在248000内皆成立。”
“因为这个公式解释的是复环之间的关系,我暂时将其命名为——程氏复环猜想!”程诺笑着解释。
程氏复环猜想!
不少数学家都不由瞪大眼睛。
似乎很难相信,为何突然就莫名其妙的冒出这样一个猜想。
作为几何数学家,尤其还是世界上算是比较道,“各位乍看,似乎这两个猜想并无丝毫的联系,但我需要告诉各位的是,这两个猜想之间不仅有联系,而且联系异常紧密。”
程诺在另一半空白的小黑板上唰唰几个公式。
“这个公式诸位恐怕再也熟悉不过,当初怀尔斯先生在证明费马大定理时,其中便用到这串公式。它的学术名叫做‘弗雷命题’。”
“利用弗雷命题,把其当作桥梁,便可以将谷山志村猜想和程氏复环猜想完美结合起来。加入谷山志村猜想不成立,程氏复环猜想中复数域椭圆的有理点就不可能等于有限域方程解个数加一。反之亦然!”
台下一个头发有些秃顶的数学家恍然道,“也就是说,谷山志村猜想成立则程氏复环猜想成立,程氏复环猜想成立则谷山志村猜想成立?”
程诺一指那个数学家,“没错,就是这样!”
哗~!
台下,第一次哗然出声。
有一些年纪不大的数学家,看向的程诺的目光已经带有满满的钦佩。
布莱克教授头也不抬,拿出一张草稿纸按照程诺讲述的方法迅速计算着,最后颓然发现,事实却是如程诺所出的那样。
谷山志村猜想和程氏复环猜想两者一体,一个成立,另一个一定会成立。
因此,程诺的工作,并非需要两个全部证明,只需要证明其中的一个。
…………