万能数据 (鸿尘逍遥)

　　而且，这距离，足以让人绝望！
　　“教授，我有一个不情之请。”张明华眼睛里带光。
　　程诺夹起一块肥牛，一边蘸料一边开口，“你说。”
　　“等你证明出BSD猜想的时候，能不能把第一版预印本留给我一份。”张明华双手握拳，满脸向往，“虽然我不能创造历史，但我还是想做一个历史的见证者！”
　　程诺眉头一挑，“哦，你就这么相信我能证明出BSD猜想？”
　　“当然，教授，你在我眼中，就是无所不能的！”
　　张明华望着程诺，满眼真诚。


第四百七十九章 新定理

　　479章
　　这马屁……
　　程诺扶着额头，无奈至极。
　　不过很快，程诺还是把自己转换回导师的角色。
　　沉吟一下，程诺开口说道，“你们既然是我收的学生，我自然不会对你们放之不管。今后，无论遇到什么问题，都可以过来找我。学习方面，也包括生活方面。”
　　“当然，我也希望你们不要辜负我对你们的培养。”
　　程诺的声音变得严肃起来，“我对你们的最低要求，第一年，你们就需要完成博士毕业论文的撰写，剩余两年的时间，我会让你们选择。”
　　“我再国外相熟知名数学家不少，我可以推荐你们去他们的手下工作，或者，另一个选择，跟在我手下做项目。”
　　一年时间，完成博士论文！
　　这个要求，可以说的上是相当的苛刻。
　　要知道，这可是博士毕业论文，而并非是水水就能通过的本科生毕业论文。
　　扫过两人紧皱的眉头，程诺微微一笑，“没把握？”
　　张明华面色犹豫，最后咬牙，狠狠地道，“有！”
　　范熠也在旁边重重点头。
　　两人的数学水平都不差，否则也不会在一百多人中脱颖而出，被程诺选上。
　　在普通人眼中，他们两人已经可以说的上是天才中的天才。
　　在程诺看来，一年时间完成一篇博士毕业论文，对他的这两位学生来说，完全是不成问题的。
　　关键是，愿不愿意不断逼近自己的极限，愿意去拼。
　　相比于国外，国内的科研环境还是太过于安逸了，也就是说，少了一股子拼劲。
　　张明华和范熠两人并不弱，甚至比麻省理工学院的大部分博士生还有优秀。
　　麻省理工学院大部分博士生都能完成的任务，放在他们二人身上自然也可以。
　　况且，还有自己的援助。
　　程诺无法改变国内的整个科研大环境，但，改变一下自己身边的人，程诺还是能做到的。
　　第一次见面会，在吃吃喝喝中进入尾声。
　　对于两人毕业论文的选题，程诺没有做太多的指引，只是说研究自己最感兴趣的那个方向就好。
　　就是让两人确定选题后，知会他一声就好。
　　…………
　　九月，十月，十一月。
　　三个月的时间，程诺甚至很少踏出过清华校门。
　　公寓楼，研究所，餐厅，三点一线，程诺几乎将自己的全部精力投入到BSD猜想的研究中。
　　就在昨天，张伟师兄那边已经把第一阶段，也就是椭圆曲线部分的推导内容发到程诺邮箱上。
　　程诺认真看了一遍。
　　推导的最后结果和程诺预料的差不多。
　　但和想要得到的结果，仍有一小段距离。
　　不过，这也是张伟师兄现阶段能够做到的极限。
　　后面那一小步，就宛如一道天堑，往前挪动一点，都是千难万难。
　　这个原因是可观存在的。
　　因为，在现有的数学理论体系中，并不存在可以迈完这一小步的公理存在。
　　就如同河流的两岸。
　　从一个岸边到另一岸边，直线距离虽然非常短，但中间却隔着一条河流，想要过去，只走找到河流的尽头，然后绕过去。
　　历史上，有许多的数学家尝试这么做过，但他们走了许久，也没有走到河流的尽头。
　　程诺并不想这么做。
　　很浅显的道理，即便是他能找到河流的尽头又怎样，那还不是要绕很长的远路。
　　相比于绕过去，程诺更习惯另一个简单粗暴的方案：架桥！
　　程诺所做的推演定理，就是一个架桥的过程。
　　桥一旦架起来，那最后那一小段距离，很轻易就能够走完。
　　而现在，程诺把那座桥，架起来了！
　　办公室内，程诺舒展了一下身子，目光望着屏幕上的几行公式，心情无比舒畅。
　　“终于，让我给搞出来了啊！”
　　要不是怕影响研究所内的其他人，程诺现在真的很想长啸一声。
　　三个月，为了这个定理，程诺耗费了整整三个月的时间！
　　期间，程诺改稿多次，走岔路的次数不少于十次，一路磕磕绊绊，让程诺差点直接放弃。
　　程诺也是很难得的体验到了灵感枯竭的感觉。
　　但现在，一切都过去了。
　　桥被程诺架起来，那之前所有的努力就是值得的。
　　程诺直接打电话给张伟，“师兄，定理我已经推导出来了，来我办公室一趟吧。”
　　“好好好，我正好在数院大楼那边，五分钟内一定赶到。”对面那边张伟听闻了这个消息后，听语气也是异常激动。
　　五分钟后，张伟急匆匆的赶到。
　　连水都来不及喝，便急促的对程诺问道，“新定理呢？”
　　程诺笑眯眯的把一张A4纸递过去。
　　张伟接过来，低头看去。
　　【对数域K上的椭圆曲线，环面（R/Z）^2有自然的Abel群结构，如果将椭圆曲线δ嵌入到射影平面，则椭圆曲线符合如下几何定理：
　　①：δ与无穷远直线的交点O是Abel零元；
　　②：对R=（x，y），-R=（x，y）；
　　③：对P、Q，过P，Q的直线与δ交于第三点P，则P+Q=-R
　　…………】
　　张伟仔细读完后，抬起头，望向程诺的目光中，已经全是骇然。
　　“这，这个定理……”
　　张伟现在有一种，一打瞌睡就有人送枕头的感觉。
　　程诺这个新定理，和他们正在钻研的内容，简直再也合适不过。
　　如雪中送炭，原本前方被堵塞的死死道路，突然变得豁然开朗。
　　张伟一方面在喜悦的同时，同时也在惊讶。
　　当初，程诺虽然拍着胸脯保证，三个月内一定推演出一个新定理。
　　但随着时间的推移，张伟对BSD猜想的认知逐渐增加，同时也意识到，程诺的任务究竟是多么的艰巨。
　　张伟早就已经做好这个项目以失败告终的准备了。
　　但没想到，这个看似不可能的任务，程诺如他所说的一般，在三个月内把一个新的定理交到他手上。
　　并且这个新定理，也具有相当高的学术意义。
　　简单的说，就算是不考虑BSD猜想，单单把程诺推导出的这个新定理拿出来，起码也是第二梯队数学定理的水平。
　　外界盛传程诺妖孽，张伟并没有亲自感受过。
　　但如今，张伟终于意识到，坐在自己面前的这个青年，是多么恐怖的一个家伙！


第四百八十章 发现了什么不得了的东西

　　480章
　　程诺暂时把他这个新推导出来的定理命名为“椭圆阿贝尔群定理”。
　　有了椭圆阿尔贝群定理，BSD猜想的证明工作便又可以继续进行。
　　“师兄，接下来麻烦你了。”
　　“嗯。给我一周，哦不，四天的时间，我把结果交给你。”
　　椭圆阿尔贝群的出现，让张伟真切的看到了攻克BSD猜想的希望。
　　他已经决定，推掉自己的另一份工作，把全部的精力，放在BSD猜想上。
　　毕竟，一旦BSD猜想被证明，他能获得的收益，要比他的另一个项目要高上千倍百倍。
　　…………
　　BSD猜想的证明工作在有条不紊的进行着。
　　程诺和张伟师兄弟二人，除了日常带研究生的工作外，把剩余的精力全部扑在这上面。
　　每日泡在办公室里，没有必要甚至都不出门。
　　这种工作狂的态度，在无形之中，带给了清华大学内许多教授若有若无的压力。
　　一边，是程诺和张伟这对师兄弟，忙得连去食堂吃饭都是小跑着去。
　　而另一边，是他们这群教授悠闲的坐在办公室里美滋滋的喝茶聊天。
　　瞬间，高下立判！
　　因此，几乎是短短几天时间，许多教授在做项目时突然变得积极起来。
　　那种久违的拼劲，再次出现在他们身上。
　　而在学校的科研风气在程诺的影响下慢慢转变之际，程诺和张伟正在办公室内激烈的讨论着。
　　仔细算下来的话，距离BSD猜想证明项目开题，已经过去将近四个月的时间。
　　在这个四个月的时间内，程诺和张伟两人，总算搞定了BSD猜想的第一块拼图。
　　证明BSD猜想的终极目标，进度1/3。
　　差的两块拼图，分别是阿贝尔簇，和莫代尔群。
　　按照框架，下一块需要搞定的拼图是莫代尔群。
　　莫代尔群，在BSD猜想中是一个有限生成的交换群，和椭圆曲线一样，同样的存在于整体域上。