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

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

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

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

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

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

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

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

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

第655章安排

计算机处理器高速运转，L（E，）在=1处泰勒展开，其展开的阶等同于椭圆曲线E的哈塞·韦伊rakr（E）。

椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈，看似杂乱无章，实则踏着节拍。

形如y^2=x^3+ax+的简单椭圆曲线亦有无穷多个有理点，而这样的椭圆曲线无穷多。

模曲线的条件被赵天等三个学生限定死，因为在1999年，加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。

这是一场数字与符号间的盛大舞会，素数登场了，它们在数据海洋中旋转跳跃，对某些椭圆曲线上的有理点的个数进行计数，转化为对以素数为模的解的个数进行计数。

计算机屏幕的背景色是黑色，shen邃的如同宇宙shen处。黑暗中的舞者是一群白色j灵，在ord（L'（E，1）/CE）=ord（#Sha（E））的威压下，们快要控几不住它们计几，它们的呼xi变的急促，舞步缭乱接近疯狂。

看着屏幕上不断变化的数字与符号，小云颇为着迷：“这就是数学的美，这就是数学的力量，宇宙中的奥秘隐藏于此。”

“嗯。”曾寒赞同的点点头。

验算进度2%。

即便是高x能计算机，对于欧叶构筑的理论假设也需验证一个礼拜。

在小云和曾寒看来，海量的椭圆曲线、方程所组成的数学世界具有无与伦比的美_gan和力量_gan。

也许是前额叶皮层神经没有学弟学妹那么发达，赵天只_gan受到有限的美和力量，更多的是繁杂的数据处理所造成的脑阔疼。

“你们不觉得有些奇怪吗，给予叶子姐帮助和支持的，居然不是沈教授，而是周雨安周老师。”等待数据处理的时间，赵天扯起了题外话。

本章未完...

=== 华丽的分割线 ===