459章

    简单的来讲，谷山志村猜想就是说，有理数域上面的椭圆曲线都可以模式化。

    问题看起来很简单，让普通的本科生理解起来也毫无问题。

    但这个猜想，却已经困扰了全世界的数学家足足五十多年的时间。

    甚至在谷山志村猜想刚被提出的那段时间，证明过程可以说用举步维艰来形容丝毫不为过。

    直到1993年，怀尔斯宣布证明费马大定理，谷山志村猜想的证明才往前迈动了一大步。

    但近几年，随着将精力倾注在谷山志村猜想的数学家逐渐变少，该猜想探索的路途再次变得一片黑暗。

    其实，每个数学猜想的证明都像是一场长跑。

    一代代人，一位位数学家，奋力奔跑着，将手中的接力棒不断传递下去。

    不知道终点，也不知道方向，同行的人不断倒下，新的奔跑着不停加入。

    而现在，那个谷山志村猜想的接力棒已经传到了程诺手中。

    身边，已经没有几位同行者。

    前方，更是看不到丝毫光亮的迷途。

    程诺只能循着前人走过的道路，摸索着前进，寻找那乍破黑暗的光明，试图冲到比赛的终点。

    …………

    为了交流方便，程诺和组下的另外两位教授直接把办公地点放在了克雷数学研究所内的一间办公室。

    证明工作的大方向由程诺进行把控。

    而丹麦和比利时的两位数学教授则进行细节的填充。

    对于谷山志村猜想的证明思路，程诺和大部分前辈一样，把费马大定理当做其突破口。

    用数学的语言来说，费马大定理是谷山志村猜想的必要不充分条件。

    也就是说，谷山志村定理再经过一定的推导之后，可以证明费马大定理。