654章 上机（5/5）

国际数学界十分期待能有一位或几位牛批的数学家，完成对BSD猜想的证明。

被国际数学界公认最有希望证明BSD猜想的数学家是沈奇，然而沈奇一直没有正式向BSD猜想发起冲击。

沈奇的老婆在这个猜想上倒是做出了实质性的研究成绩。

与伯奇、斯温纳顿-戴尔最早提出BSD猜想那会儿类似，欧叶的三个学生采取上机操作的方法，首先通过暴力穷举法排除掉不具备Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate群阶数特征的椭圆曲线。

这个操作并不难，就是挺耗时间的。

在加入哈塞-韦伊L函数特征条件后，赵天不禁身子一抖：“多加一个基础条件，运算量增加了10的12次方倍……好在周老师借给我们使用这组高性能计算机啊，否则我博士毕业了，也不可能算完叶子姐的手稿……”