&esp;&esp;赵天、小云、曾寒三人赴燕大人民医院探望欧叶。

&esp;&esp;刚睡醒的欧叶将手稿付给三位学生，如此这般，这般如此，她对学生们面授机宜。

&esp;&esp;欧叶整理的关于bsd猜想证明的脉络很清晰了，这条证明脉络采用了逆推倒的方式。

&esp;&esp;最后一步，证明bsd猜想，即证明这句话：e（q）是无穷集的充要条件是l（e，s）在s=1的泰勒多项式有如形式，l（e，s）=c（s-1）r 阶项，其中c≠0，r是e的秩。

&esp;&esp;倒数第二步，证明上面的这句话，则需对椭圆曲线上的有理行计数。

&esp;&esp;倒数第三步，对椭圆曲线上的有理行计数，则需先论证椭圆曲线上的秩。

&esp;&esp;倒数第四步，论证椭圆曲线上的秩，可考虑采取群论的方法。

&esp;&esp;经过欧叶和她三个学生的不懈努力，目前这个团队已到了倒数第四步。

&esp;&esp;“其实，倒数第四步，也可以认为是正数第一步，它耗时最。如果我们用两年时间完倒数第四步，那么后面的三步，可以在两个月完成……哈……哈欠……”欧叶虽然欠佳，但她的数学思路十分清晰。

&esp;&esp;欧叶刚睡醒，却又哈欠连连，三个学生说到：“叶你休息吧，我们知该怎么了！你睡会儿，我们先走了。”

&esp;&esp;三位学生小心翼翼的装好欧叶的手稿，这便离开人民医院返回燕大。

&esp;&esp;数院一楼走廊尽的小房间，是三位学生的作战室。

&esp;&esp;三人首先将欧叶的手稿整理为可行计算机验证的电数据模式。

&esp;&esp;这份工作大概需要三人连三天，每人每天的工作时间不会少于12个小时。

&esp;&esp;欧叶的思路，三个学生非常清楚了。

&esp;&esp;欧叶从群论发，通过对典型的椭圆曲线的秩行计算证明，得到了一个关于椭圆曲线的秩的假设。

&esp;&esp;这个假设是否可以成为引理，需要验证。

&esp;&esp;欧叶采取的手段很传统，从典型例上推断典型理论，再把典型理论放到全例中，以求证它的普适。

&esp;&esp;苹果从树上落，砸到顿的脑袋。顿推导一个理论，苹果受到了地球引力影响。这个理论只是对苹果有效，还是备普适？这就是顿接来要的普适论证工作，最终他证明了万有引力定律。

&esp;&esp;顿是伟大的人类之光，但他论证伟大理论的手段同样很传统，从简单到复杂，再由复杂回归简单。

&esp;&esp;在欧叶设定的bsd猜想的倒数第四步中，她完成了从简单到复杂的理论构建，当然了，目前只能算是个假设。

&esp;&esp;从复杂回归简单，最终证明椭圆曲线的秩的假设备普适或有条件限制的普适，是一件工程量极大的工作。

&esp;&esp;这份工作将由赵天、小云、曾寒三位学生来完成。

&esp;&esp;例如，在素数p=5的条件，椭圆曲线y2=x3-x共有七个解，为（0，0）、（1，0）、（4，0）、（2，1）、（3，2）、（3，3）、（2，4）。

&esp;&esp;这很容易被计算来，赵天、小云、曾寒三人中的任何一人通过手动计算，10分钟之可以得正确的解。

&esp;&esp;但是椭圆曲线理论上有无穷多条，大凡涉及无穷多的验算工程，人类手动计算是搞不定的，必须依靠计算机。

&esp;&esp;赵天、小云、曾寒将用三天时间把欧叶的手稿，理为可被计算机验证的数据。

&esp;&esp;而基于欧叶的手稿，通过计算机对椭圆曲线行验证，那就不知需要多少天了，可能是三天，也可能是三年、三十年。

&esp;&esp;好在欧叶的硕士导师龚伟教授对于bsd猜想了一个重要的贡献。

&esp;&

本章尚未读完,请击一页继续阅读---->>>