一件工程量极大的工作。
这份工作将由赵天、小云、曾寒三位学生来完成。
例如，在素数p=5的条件下，椭圆曲线y^2=x^3-x共有七个解，为（0，0）、（1，0）、（4，0）、（2，1）、（3，2）、（3，3）、（2，4）。
这很容易被计算出来，赵天、小云、曾寒三人中的任何一人通过手动计算，10分钟之内可以得出正确的解。
但是椭圆曲线理论上有无穷多条，大凡涉及无穷多的验算工程，人类手动计算是搞不定的，必须依靠计算机。
赵天、小云、曾寒将用三天时间把欧叶的手稿，处理为可被计算机验证的数据。
而基于欧叶的手稿，通过计算机对椭圆曲线进行验证，那就不知道需要多少天了，可能是三天，也可能是三年、三十年。
好在欧叶的硕士导师龚长伟教授对于BSD猜想做出了一个重要的贡献。
龚教授证明了Kolyvagin逆命题的相关定理，并与其他数学家联合证明了，至少有三分之二的椭圆曲线满足BSD猜想。
龚长伟教授等同于帮他的弟子欧叶排除了许多验算条件，所以欧叶的三个学生只需验证满足Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate群阶数的椭圆曲线即可。
三个学生中最年长的赵天关切询问他的师弟师妹：“马上就要放暑假了，你俩回家的票买了吗？”
小云摇摇头：“反正我爸妈也不在家，我回去了也是无人喂养的单身狗，所以我决定，这个暑假留在首都勤工俭学。”
“小云，你爸妈去哪里了？”赵天问到。
小云一边整理欧叶的手稿一边说：“我妈去德国做访问学者，我爸去非洲帮助非洲朋友建设基础设施，我要到明年春节才能见到爹妈。”
赵天知道，小云学妹的母亲博士毕业于复旦，现任华东师范的教授。小云学妹的父亲硕士毕业于水木大学，现任中建八局工程师。
小云学妹读高中时能保送燕大数院，这不是她聪明不聪明的问题，而是基因遗传。
“也好，也好，小云你暑假不回家，有啥需要尽管跟哥说。”赵天是帝都土著居民，籍贯密云不老屯镇半城子村。
既然是帝都居民，又是学长，赵天认为他理应关照小云学妹。
小云点点头道：“谢谢哥，咱抓紧处理数据吧。”
赵天转而询问小学弟：“你呢曾寒，你这个暑假应该要回家吧？”
曾寒专心处理数据并未抬头：“我不回家，留校。”
“为什么呢？你爸妈也出国了？”
“不为什么，反正就是留校。”