而今，费马大定理已被证明，但谷山志村猜想却依旧屹立。

谷山志村猜想的具体内容，是：

若是一个素数而e是一个q（有理数域）上的一个椭圆曲线，可以简化定义e的方程模；除了有限个值，会得到有n个元素的有限域f上的一个椭圆曲线。然后考虑如下序列

a=n-。

这是椭圆曲线e的重要的不变量。从傅里叶变换，每个模形式也会产生一个数列。一个其序列和从模形式得到的序列相同的椭圆曲线叫做模的。

谷山志村猜想是说：所有q上的椭圆曲线是模的！

第四百五十九章 有趣的东西

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

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

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

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

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

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

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

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

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