那都不算事。
第一次论文交稿后,鲁齐生仅仅过了两天又跑来找曲军,速度之快,倒把曲军吓了一小跳。
询问后才知道,鲁齐生并没有完成审稿,只是来曲军这里例行点卯,例行催稿。
一个月的时间太紧张,虽然进度喜人,但是形势更加逼人,其余部分的论文还需要多长时间完成,郑葆章和鲁齐生都觉得心里没底,像鸡娃父母每天都会问问暑假作业的进度一样,没有审完已经拿到的论文稿,就跑来向曲军催后面的论文稿。
曲军拿出课题负责人的气势,把鲁齐生批评了一通。
自己的工作没完成,咸吃萝卜淡操心,是不是对论文总体把关的重要性认识不足,或者工作安排的不够饱满……
曲军一甩手,又给了鲁齐生一叠论文稿,对莫德尔猜想中最大的难点——有关阿贝尔簇的椭圆曲线给出详尽证明。
阿贝尔簇是什么玩意儿,曲军最近才刚刚搞明白。
简单来说,阿贝尔簇属于高维代数簇的概念,证明费马大定理过程中用到的椭圆曲线,又属于阿贝尔簇的一个特例。
如果用一句小学生也能看懂的话来解释莫德尔猜想,就是在某种条件下,某个算式的解,必定是有限的。
数学家把莫德尔猜想和费马大定理联系起来,推导得出结论,只要证明了莫德尔猜想,就能证明费马大定理的解也是有限的。
剩下的工作就简单了,既然是有限的解,把它们一个一个算出来,就可以搞定费马大定理。
前辈的数学家,其实早就在做这项工作。
十八世纪的瑞士数学家欧拉,证明n3和n4的情况下,费马大定理成立。
十九世纪的高斯,绊倒在n7。
……
超大数字的计算,用人力无法完成,但是现代的计算机可以代劳,在二十世纪七十年代,计算机已经证明,n小于100000的情况下,费马大定理都是成立的。
如果证明了莫德尔猜想,费马大定理的n就是有限的,数学家乐观的认为,性能不断提高的计算机会把剩下的n全部算出来。
事实上到了九十年代,计算机果然把n提高到1000000以内,后面却仍然遥遥无期……打个不太恰当的比方,全国首富的钱也是有限的,但是全部换成百元大钞让你数,假设一秒钟数一张,一辈子也数不完。
莫德尔猜想没有错。
费马大定理也没有错。
把莫德尔猜想和费马大定理联系起来,应该也没有错。
可惜在现有的技术水平下,通过莫德尔猜想证明费马大定理的这条路,其实是走不通的。
但是八十年代的数学家普遍认为,莫德尔猜想就是证明费马大定理的拦路虎,只要攻克了莫德尔猜想,后面都是计算机可以完成的重复性工作。
阿贝尔簇的椭圆曲线问题,又是莫德尔猜想的拦路虎。
看到曲军拿出阿贝尔簇的详尽证明,鲁齐生激动的嘴唇微微颤抖。