曲线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群阶数的椭圆曲线即可。
三个学生中最年长的赵天关切询问他的师弟师妹:“马上就要放暑假了,你俩回家的票买了吗?”
小云摇摇头:“反正我爸妈也不在家,我回去了也是无人喂养的单身狗,所以我决定,这个暑假留在首都勤工俭学。”
“小云,你爸妈去哪里了?”赵天问到。
小云一边整理欧叶的手稿一边说:“我妈去德国做访问学者,我爸去非洲帮助非洲朋友建设基础设施,我要到明年春节才能见到爹妈。”
赵天知道,小云学妹的母亲博士毕业于复旦,现任华东师范的教授。小云学妹的父亲硕士毕业于水木大学,现任中建八局工程师。
小云学妹读高中时能保送燕大数院,这不是她聪明不聪明的问题,而是基因遗传。
“也好,也好,小云你暑假不回家,有啥需要尽管跟哥说。”赵天是帝都土著居民,籍贯密云不老屯镇半城子村。
既然是帝都居民,又是学长,赵天认为他理应关照小云学妹。
小云点点头道:“谢谢哥,咱抓紧处理数据吧。”
赵天转而询问小学弟:“你呢曾寒,你这个暑假应该要回家吧?”
曾寒专心处理数据并未抬头:“我不回家,留校。”
“为什么呢?难道你爸妈也出国了?”
“不为什么,反正就是留校。”
曾寒十五岁保送燕大,今年也才刚刚满18岁。曾寒的父母都是博士,他的爷爷奶奶、外公外婆都是高级知识分子,他父母两个家族一共有六位博士、七位硕士,在职的正教授、研究员有五位,两个家族的成员三十五岁时的人均标准是副
请收藏:https://m.aishu6.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)