钟之内可以得出正确的解。
但是椭圆曲线理论上有无穷多条，大凡涉及无穷多的验算工程，人类手动计算是搞不定的，必须依靠计算机。
赵天、小云、曾寒将用三天时间把欧叶的手稿，处理为可被计算机验证的数据。
而基于欧叶的手稿，通过计算机对椭圆曲线进行验证，那就不知道需要多少天了，可能是三天，也可能是三年、三十年。
好在欧叶的硕士导师龚长伟教授对于bsd猜想做出了一个重要的贡献。
龚教授证明了kolvag逆命题的相关定理，并与其他数学家联合证明了，至少有三分之二的椭圆曲线满足bsd猜想。
龚长伟教授等同于帮他的弟子欧叶排除了许多验算条件，所以欧叶的三个学生只需验证满足kolvag定理、gross-zagier定理、shafarevih-tate群阶数的椭圆曲线即可。
三个学生中最年长的赵天关切询问他的师弟师妹：“马上就要放暑假了，你俩回家的票买了吗？”
小云摇摇头：“反正我爸妈也不在家，我回去了也是无人喂养的单身狗，所以我决定，这个暑假留在首都勤工俭学。”
“小云，你爸妈去哪里了？”赵天问到。
小云一边整理欧叶的手稿一边说：“我妈去德国做访问学者，我爸去非洲帮助非洲朋友建设基础设施，我要到明年春节才能见到爹妈。”
赵天知道，小云学妹的母亲博士毕业于复旦，现任华东师范的教授。小云学妹的父亲硕士毕业于水木大学，现任中建八局工程师。
小云学妹读高中时能保
652章 四步(3/5)