“依据费马定理n=4情形，将研究对象定义为椭圆曲线e：y2=x3-x设β是一个素数，此方程在有限域ft中解的个数在β=1，3，5……时分别为……”

“……下一步，利用模群Γ（1）：=sl2（z）通过分式线性变换作用在复上半平面h={z∈c|i（z）＞0}上。”

“……第三步，假设e：y平方=ax立方+by平方+cx+d是有理数域q上的椭圆曲线，则需要考虑它在系数模素数的‘约化’。并且，同构的椭圆曲线可能给出完全不同的‘约化’：考虑y平方=27x立方-3x和y平方=x立方-x，前者不是f3上的椭圆曲线，后者却是f3上的椭圆曲线。因此，便得到结论1：同构的椭圆曲线应该看成是等同的！”

……

和程诺他们这个证明小组一样，其余的七个证明小组，在拿到任务的第一时间，便在各自组长的带领下马不停蹄的开始了研究工作。

毕竟，他们这次不光光是要和三年的研究周期做赛跑，还要和其余的几个小组拼进度。

八个课题小组是同时开题，研究人员的分配也和猜想难度呈正比。众人的起跑线差不多相同。

数学家们没有人肯甘居人后。

所以这次清洗活动，就带有了一丝竞速的意味在。

“几何化猜想”证明小组。

布莱克教授作为几何领域的老牌数学家之一，被任命为组长职位。

和“谷山志村猜想”证明小组一样，他们的小组成员只有三人。

论难度，“几何化猜想”和“谷山志村”猜想的研究难度相当。

但有一点不同的是，布莱克手下的两位数学家比程诺手下的那两位数学家强了不止一点半点。

单说一点，布莱克小组的三位成员，有两人都曾获得过维布伦奖，而程诺那边，只有程诺一人。

所以，自始至终，布莱克都没有把隔壁的“谷山志村猜想”研究小组当做一个可以正视对手来看。