《万能数据》第376章

“我再国外相熟知名数学家不少，我可以推荐你们去他们的手下工作，或者，另一个选择，跟在我手下做项目。”
一年时间，完成博士论文！
这个要求，可以说的上是相当的苛刻。
要知道，这可是博士毕业论文，而并非是水水就能通过的本科生毕业论文。
扫过两人紧皱的眉头，程诺微微一笑，“没把握？”
张明华面色犹豫，最后咬牙，狠狠地道，“有！”
范熠也在旁边重重点头。
两人的数学水平都不差，否则也不会在一百多人中脱颖而出，被程诺选上。
在普通人眼中，他们两人已经可以说的上是天才中的天才。
在程诺看来，一年时间完成一篇博士毕业论文，对他的这两位学生来说，完全是不成问题的。
关键是，愿不愿意不断逼近自己的极限，愿意去拼。
相比于国外，国内的科研环境还是太过于安逸了，也就是说，少了一股子拼劲。
张明华和范熠两人并不弱，甚至比麻省理工学院的大部分博士生还有优秀。
麻省理工学院大部分博士生都能完成的任务，放在他们二人身上自然也可以。
况且，还有自己的援助。
程诺无法改变国内的整个科研大环境，但，改变一下自己身边的人，程诺还是能做到的。
第一次见面会，在吃吃喝喝中进入尾声。
对于两人毕业论文的选题，程诺没有做太多的指引，只是说研究自己最感兴趣的那个方向就好。
就是让两人确定选题后，知会他一声就好。
…………
九月，十月，十一月。
三个月的时间，程诺甚至很少踏出过清华校门。
公寓楼，研究所，餐厅，三点一线，程诺几乎将自己的全部精力投入到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猜想中是一个有限生成的交换群，和椭圆曲线一样，同样的存在于整体域上。
两人现在讨论的是，下阶段的切入方向是什么。
张伟认为应该从莫代尔群的模定理进行研究，理由是历代数学家在研究BSD猜想的这一部分时，便是以次进行深入研究。
而程诺的观点不一样。
对于历代针对BSD猜想展开研究数学家们的观点，程诺不否认，但也并不苟同。
既然没有真正证明出来，那就说前面的推理方案未必是正确的。
与其走前辈们的老路，还不如另辟蹊径，走出一条自己的康庄大道。
相比于模定理，程诺认为同余数问题，是一个更好的切入方向。
争论的最终结果，是程诺说服了张伟。
接下来几个月的时间，就是为了搞懂第二块拼图而努力。
…………
盛夏，一个再也平常不过的清