笔趣阁

手机浏览器扫描二维码访问

654章 上机（第2页）

“这点沈奇做的很好，他没有任何破绽，沈奇科研中心做个两万块钱的丢番图方程基础性研究项目，也是要走国家自然科学基金渠道的。”

周雨安挺为欧叶操心的，他问：“话说你们三个优秀学生，入党没有？”

“没……没入党。”

三个学生听完周雨安的一席话，既有政治上的紧迫感，亦产生了一些说不清道不明的紧张感。

周雨安苦笑摇摇头：“好嘛，欧叶这个无党派人士，带着三个无党派学生，在不经过党和国家批准的情况下，私自进行重大数学问题的研究，要不得，要不得……我强烈建议，你们的这个强BSD猜想课题，必须马上立项，去申请科研经费。

哪怕是申请燕大内部的基础理论研究资金，也是可以的，这个事情我会跟欧叶讲的。

你们三个也别用这几台破电脑了，用这几台破电脑进行验证，要验证到猴年马月？从明天开始，你们仨来沈奇科研中心，我提供中心数学室最高性能的计算机给你们使用。”

“那感情好，谢谢周老师！”

学生们感受到了组织的温暖，周老师是个老党员，老党员的觉悟果然是高，老党员考虑问题深刻而细致。

于是在党的安排下，赵天、小云、曾寒来到沈奇科研中心大楼，他们利用中心的高性能先进计算机，对欧叶设定的椭圆曲线进行验证。

BSD猜想与计算机有不解之缘。

20世纪60年代初期，计算机处于早期发展阶段，世界上只有很少几台，主要放在几个重要的大学内。

英国数学家伯奇、斯温纳顿-戴尔是剑桥大学的教授，他俩利用当时世界上最强大的计算机之一“CambridgeEDSAC”

，来计算和推演多项式方程可能存在的解。

两位数学家遨游在数据的海洋中，他俩从海量的计算机数据里敏锐的识别出一个新模式，从而提出了数学史上的千禧难题之一，BSD猜想。

在几千年的数学史上，大多数提出猜想的人，往往不是证明猜想的人。

当代很多职业数学家最推崇的古代数学家是欧几里得，欧几里得用五个常识性的公理推导出了浩瀚而严谨的欧氏几何体系。

伯奇和斯温纳顿-戴尔在20世纪，利用计算机提出了BSD猜想。

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

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

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

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

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

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

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

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

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

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

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

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