孙平给自己倒了杯茶,然后一边吃着香蕉一边进行运算。虽然孙平的心算能力超强,但他并不打算炫技,而是中规中矩地用电脑自带的计算器进行运算。好在阶梯教室里提供的电脑计算器是专门的科学计算器,否则有些运算还真不好做。孙平现在全部的精力都在解决那个有关汤姆猜想的反证猜想上,而在孙平的一步步验算和推论之下,好几个教授眼眶都湿润了,因为他们看到了希望。
当孙平香蕉吃完的时候,他已经证明反证猜想是不成立的了。当这个结论被推论出来之后,阶梯教室了欢声一片。
孙平却“嘘”了一下,笑着说,“还差尾巴没有弄完呢。”
于是现场不少人笑了出来。孙平在电子屏上继续写到,因为反证猜想不成立,即“有理数域上的椭圆曲线都是模曲线”是成立的,则汤姆猜想成立。
写完之后,孙平揉了揉自己的腕关节,颇为遗憾地道:“整个证明过程太复杂了,远远达不到‘有趣‘的标准。”
场下的数学家立刻露出鄙视的表情,你丫将困扰数学界百余年的猜想给解决了,居然还嫌弃证明过程不够“有趣”。不过孙平的证明过程虽然公布了出来,但是能不能得到承认还要看国际数学联合会的公告。他们会安排其他数