459章
简单的来讲，谷山志村猜想就是说，有理数域上面的椭圆曲线都可以模式化。最新地址发送任意邮件到 ltx Sba@gmail.ㄈòМ 获取
问题看起来很简单，让普通的本科生理解起来也毫无问题。
但这个猜想，却已经困扰了全世界的数学家足足五十多年的时间。
甚至在谷山志村猜想刚被提出的那段时间，证明过程可以说用举步维艰来形容丝毫不为过。
直到1993年，怀尔斯宣布证明费马大定理，谷山志村猜想的证明才往前迈动了一大步。
但近几年，随着将
力倾注在谷山志村猜想的数学家逐渐变少，该猜想探索的路途再次变得一片黑暗。
其实，每个数学猜想的证明都像是一场长跑。
一代代
，一位位数学家，奋力奔跑着，将手中的接力
不断传递下去。
不知道终点，也不知道方向，同行的不断倒下，新的奔跑着不停加
。
而现在，那个谷山志村猜想的接力已经传到了程诺手中。
身边，已经没有几位同行者。
前方，更是看不到丝毫光亮的迷途。
程诺只能循着前走过的道路，摸索着前进，寻找那乍
黑暗的光明，试图冲到比赛的终点。
…………
为了
流方便，程诺和组下的另外两位教授直接把办公地点放在了克雷数学研究所内的一间办公室。
证明工作的大方向由程诺进行把控。
而丹麦和比利时的两位数学教授则进行细节的填充。
对于谷山志村猜想的证明思路，程诺和大部分前辈一样，把费马大定理当做其突
。
用数学的语言来说，费马大定理是谷山志村猜想的必要不充分条件。
也就是说，谷山志村定理再经过一定的推导之后，可以证明费马大定理。
然而，费马大定理的存在，却不能证明谷山志村猜想的正确。
在一定意义上，费马大定理只能说明谷山志村猜想猜想在半稳定的椭圆曲线上成立。
但是，费马大定理对谷山志村猜想的证明仍具有很高的借鉴意义。
程诺也决定从这个方向手，尝试证明方法。
一个呆在办公室内，已经保持一个动作一个多小时的程诺终于感觉已经抓到了那一丝灵感，拿过笔，在
稿纸上唰唰唰记下灵感。
“依据费马定理n=4
形，将研究对象定义为椭圆曲线e:y2=x3-x设b是一个素数，此方程在有限域ft中解的个数在b=1，3，5……时分别为……”
“……下一步，利用模群Γ(1):=s12(z)通过分式线
变换作用在复上半平面h={z∈c(z)＞o}上。”
“……第三步，假设e:y=x+by+x+d是有理数域q上的椭圆曲线，则需要考虑它在系数模素数的“约化”。并且，同构的椭圆曲线可能给出完全不同的“约化”：考虑y=27x-3x和y=x-x，前者不是f3上的椭圆曲线，后者却是f3上的椭圆曲线。因此，便得到结论1：同构的椭圆曲线应该看成是等同的！”
…………
和程诺他们这个证明小组一样，其余的七个证明小组，在拿到任务的第一时间，便在各自组长的带领下马不停蹄的开始了研究工作。
毕竟，他们这次不光光是要和三年的研究周期做赛跑，还要和其余的几个小组拼进度。
八个课题小组是同时开题，研究员的分配也和猜想难度呈正比。众的起跑线差不多相同。
数学家们没有肯甘居后。
所以这次清洗活动，就带有了一丝竞的意味在。
“几何化猜想”证明小组。
布莱克教授作为几何领域的老牌数学家之一，被任命为组长职位。
和“谷山志村猜想”证明小组一样，他们的小组成员只有三。
论难度，“几何化猜想”和“谷山志村”猜想的研究难度相当。
但有一点不同的是，布莱克手下的两位数学家比程诺手下的那两位数学家强了不止一点半点。
单说一点，布莱克小组的三位成员，有两都曾获得过维布伦奖，而程诺那边，只有程诺一。
所以，至始至终，布莱克都没有把隔壁的“谷山志村猜想”研究小组当做一个可以正视对手来看。
但这种想法，在克雷数学研究所针对这次清洗活动，进行的每隔三月一次的例行进度报告会上，生了彻底的改变。
…………
时间进2o24年的1月。
关于谷山志村猜想的证明工作已经进行了三个月时间。
三个月来，程诺几乎是拒绝了所有的娱乐活动，宛如苦行僧般将全部的
