成了从简单到复杂的理论构建，当然了，目前只能算是个假设。
从复杂回归简单，最终证明椭圆曲线的秩的假设具备普适性或有条件限制的普适性，是一件工程量极大的工作。
这份工作将由赵天小云曾寒三位学生来完成。
例如，在素数po5的条件下，椭圆曲线y^2ox^3ox共有七个解，为。
这很容易被计算出来，赵天小云曾寒三人中的任何一人通过手动计算，10分钟之内可以得出正确的解。
但是椭圆曲线理论上有无穷多条，大凡涉及无穷多的验算工程，人类手动计算是搞不定的，必须依靠计算机。
赵天小云曾寒将用三天时间把欧叶的手稿，处理为可被计算机验证的数据。
而基于欧叶的手稿，通过计算机对椭圆曲线进行验证，那就不知道需要多少天了，可能是三天，也可能是三年三十年。
好在欧叶的硕士导师龚长伟教授对于bsd猜想做出了一个重要的贡献。
龚教授证明了kolyvagin逆命题的相关定理，并与其他数学家联合证明了，至少有三分之二的椭圆曲线满足bsd猜想。
龚长伟教授等同于帮他的弟子欧叶排除了许多