计算机处理器高速运转,l(e,s)在s=1处泰勒,其的阶等同于椭圆曲线e的哈塞-韦伊rankr(e)。
椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈,看似杂乱无章,实则踏着节拍。
形如y^2=x^3+ax+b的简单椭圆曲线亦有无穷多个有理点,而这样的椭圆曲线无穷多。
模曲线的条件被赵天等三个学生限定死,因为在1999年,加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。
这是一场数字与符号间的盛大舞会,素数p登场了,它们在数据海洋中旋转跳跃,对某些椭圆曲线上的有理点的个数进行计数,转化为对以素数p为模的解的个数进行计数。
计算机屏幕的背景色是黑色,深邃的如同宇宙深处。黑暗中的舞者是一群白色精灵,在ordp(l’(e,1)/ce)=ordp(#sha(e))的威压下,p们快要控几不住它们计几,它们的呼吸变的急促,舞步缭乱接近疯狂。
看着屏幕上不断变化的数字与符号,小云颇为着迷:“这就是数学的美,这就是数学的力量,宇宙中的奥秘隐藏于此。”
“嗯。”曾寒赞同的点点头。
验算进度2%。
即便是高性能计算机,对于欧叶构筑的理论假设也需验证一个礼拜。
在小云和曾寒看来,海量的椭圆曲线、方程所组成的数学世界具有无与伦比的美感和力量感。
也许是前额叶皮层神经没有学弟学妹那么发达,赵天只感受到有限的美和力量,更多的是繁杂的数据处理所造成的脑阔疼。
“你们不觉得有些奇怪吗,给予叶子姐帮助和支持的,居然不是沈教授,而是周雨安周老师。”等待数据处理的时间,赵天扯起了题外话。
小云想了想说到:“或许是沈教授暗中安排周老师这么做?”
赵天摇摇头:“这不合乎逻辑吧,沈教授干嘛不自己出面?试想,如果沈教授和叶子姐联合证明bsd猜想,那么获得菲尔兹奖的人是叶子姐,因为沈教授拿过菲奖了。菲奖规则和诺奖不同,菲奖只能拿一次。”
曾寒反驳道:“你这个逻辑不对,你认为叶子姐需要沈教授带躺?”
赵天连连摆手:“叶子姐当然不需要沈教授带躺!我就是好奇嘛,沈教授为啥如此不关心bsd猜想?”
小云说到:“大佬的心思你别猜,等你当大佬了,你可能才会明白。我个人觉得吧,沈教授其实非常关心叶子姐的bsd课题项目,他之所以刻意回避bsd猜想,是不想让他的影子过多出现在叶子姐身上。他们夫妻间的事情,咱们就别瞎猜了。菲奖设定了40岁的年龄上限,除非再次出现安德鲁-怀尔斯超龄获奖的特殊情况,否则叶子姐只剩两次机会冲击菲奖了,她嘴上不说什么,心中却是对菲奖特别渴望。”
赵天貌似悟出了什么了不得的东西:“菲奖的评审具有不确定性,沈教授可能是在布局吧,他让周老师也介入bsd猜想项目,是做双保险?一旦bsd猜想被咱们证明了,叶子姐、周老师携手冲击菲奖,那就是保一争二。”
小云不敢苟同:“根据菲奖评审惯例,同一个猜想如果被多人证明,也只有一个人能获得菲奖。比如说费马大定理其实是安德鲁-怀尔斯和理查德-泰勒这对学术伙伴一起证明的,菲奖最终颁给了安德鲁-怀尔斯,而理查德-泰勒想要获得菲奖,只能依靠新的项目、新的研究成果去争取。”
赵天面色变的飘忽不定:“这么说的话,周老师不应该介入咱们的bsd课题啊,万一他把叶子姐的菲奖抢走了咋整?”
“如果周老师是得到了沈教授的授意介入叶子姐的bsd猜想项目,那么我觉得,很有可能周老师才是沈教授的真爱。”小云忽然兴奋,她觉得自己的猜测不一定不靠谱,周老师有车有房有地位有身份,他三十几岁了还不结婚,这是为什么呢?
“真爱个鬼,你们这些女生搞基文看多了吧?周老师怎么可能是基佬?就算周老师是基佬,正直的沈教授也绝不可能是基佬,国家和人民不允许他是基佬。到饭点了,曾寒你守着,我跟小云出去吃饭,跟你打个包回来。”赵天拉着小云离开了中心去外面吃饭。
天气越来越炎热,热的不正常。
首都连续几天的最高温度达到40摄氏度,赵天、小云、曾寒三人没了出去吃饭的欲望,他们三餐叫外卖,除了睡觉,三人的其他时间都泡在沈奇科研中心的计算机房里。
计算机连续不停的运转,配合着空调风嗡嗡作响。
bsd猜想证明方案的上机验算进入了关键节点,周雨安偶尔来计算机房问问情况,而沈奇科研中心的主任沈奇、以及这个项目的学术带头人欧叶从未来过计算机房。
欧叶不来计算机房是因为她在住院,她的心牵挂着计算机验算结果,她每天都会在手机上和三位学生交流。
沈奇不来计算机房,是因为他最近一段时间连中心都没来过。沈院士别墅、燕大人民