第(3/3)页

    他俩对这个猜想的证明，其实没有做出多少有效的贡献。

    我猜你证，你证出来你牛批，你证出来我也牛批……大概就是这种套路。

    当然了，这也有历史原因。

    1995年之前，即安德鲁-怀尔斯证明费马大定理之前，国际数学界连bsd猜想是否有意义都没整明白。

    关于bsd猜想证明的有效贡献，大多诞生于1995年之后。

    当代国际数学界对bsd猜想的数学意义乃至哲学意义已认识的很深刻了，这个猜想肯定是有意义的，意义深远，星辰大海。

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

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

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

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

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

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


    第(3/3)页