第601页
书迷正在阅读：我，巫妖，会养龙[西幻]、夏幕晚空、最熟悉的最陌生的、梦魔、淫姬养成记、指点蜜津、判官、备胎、女配她又美又凶（快穿）、被迫穿成魔尊之后
“呃……”程诺弱弱的开口，“院长，我好想没有说，要听停掉这个项目。” 丁院长瞪了程诺一眼，“难道你和张伟两个人真的搞出来一个重大突破。” “准确的说，并不算重大突破。”程诺思考了一下，严谨地说道。 在丁院士打算出声说一句“你小子还是想不认账”的时候，只听见程诺慢悠悠的继续说道，“……因为，我和张伟师兄，已经快把BSD猜想成功证明了。” “你小子……嗯，你刚才说什么？”丁院士怀疑自己听错了。 程诺无奈的语气重复了一遍，“我和张伟师兄已经进入BSD猜想证明的最后阶段，大概三四个月的时间就能彻底搞定。” 丁院长：“？？！” “你说，你们两个已经快证明BSD猜想了？” “对，没错啊！” “说，你是不是在逗我？” “院长，我哪敢啊。更何况，我闲着没事逗您干什么。” 丁院长紧皱了几下眉头，对视上程诺真诚的眼神，沉吟一下道，“把你们的证明过程给我一份，我回去检验一下你话的真假。” “院长，您确定能看懂我们的证明过程？” “滚粗，我还没有你想的那么不堪。”丁院士笑骂道，“我当初被评委院士的时候，你小子还在咿咿呀呀的上小学呢！” “那好，我马上给您打印一份。”程诺点头，在电脑上讲前两块拼图的推导过程打印下来，一并交给程诺。 …… 自从丁院长那次回去后，程诺也并不知道什么原因，一连很长时间再也没有找过他。 直到，半个月后…… 程诺见到顶着一双熊猫眼，神色疲惫的丁院长时，瞬间吓了一跳。 “院长，您这几天是没休息好？”程诺关心问。 丁院长摆摆手，显然是没有和程诺谈这个话题的兴趣。 坐在对面，丁院长眼中带光的盯着程诺，一言不发。 程诺背后有些发毛，讪讪笑一下道，“院长来着是有什么事有吩咐吗？” “我现在才觉得，当时把你从国外请回来，是我们学校最正确的一个决定。”丁院长忽然说了一句八竿子打不着的话，让程诺有点懵。 “一年前的那个约定，你就当做没有发生过。同时，你和张伟两个人在学院那些日常的工作可以不用做了。” “现在，你们只需要做好一件事……证明BSD猜想！” 第四百八十四章 我们结婚吧！ 丁院长自从那次检查完程诺的研究进度后，便程诺这个项目最坚定的支持者。 那篇论文，虽然只能勉强算是一个半成品。 甚至说连论文都算不上，因为那只是一些推导公式的叠加，没有任何的文字修饰。 但丁院士是何许人物，能混上清华大学数学院的院长，最起码还是识货的。 别的不说，单是程诺在椭圆曲线部分提出的“椭圆阿贝尔群定理”，还有在莫代尔交换群部分发现的“程氏虚点”，这两个拿出来，都能引起整个数学界的震动。 更不用提，丁院士用了将近半个月的时间，理解了程诺给那一摞纸上公式的推导过程后，发现事实确实如程诺所说的一般。 关于BSD猜想的证明进度，程诺和张伟已经达到了60%以上。 按照这样的速度，或许不出半年，BSD猜想就能被两人彻底证明。 而且，这种可能性还不小！ 若是半个月前，丁院长还不敢如此笃定的这样说，但见识到程诺的真本事后，丁院士就开始对此深信不疑。 那可是证明世界七大猜想之一啊！ 这种事，丁院长想过会发生在他们清华大学身上，不过那是在梦中。 但现在，它即将成为现实。 丁院长知道帮不了程诺太多，只能尽可能的为程诺提供一个心无旁骛的环境，然后，就是慢慢的等待。 …… 2025年12月25日。 严冬的燕京天气冷到一种极致。 就在刚刚，程诺从校门口路上走过的时候，见两辆车追尾了，司机下来加了微信，回到车里开语音对骂。 这种天气，除非必要，程诺一半是很少出门。 裹得严严实实的程诺打着冷颤来到研究所的办公室，才感觉浑身的血液才重新开始流通。 脱掉外套，泡了杯热茶，程诺便开始了一天的工作。 BSD猜想的第三块拼图，阿尔贝簇，在程诺和张伟两人长达五个月的艰苦奋战下，终于到了最后的收尾阶段。 当然，离第三块拼图的完成，仍具有最后一道难关。 程诺最近半个月时间，都在解决这道难关。 现在，程诺总算是有了一些灵感。 最后一道难关，是如何用计算的不变量描述各种代数周期？ 代数周期意味着子变量的有限线性组合，所以一个等价的陈述是WG的每个元素都是V上具有Q?系数的代数周期的类。 刚开始，程诺打算是利用由上世纪数学家泰特提出的一个泰特定理，来解决此类问题。 但经过几天的推导后，程诺发现这个方式行不通。 因为泰特定理是由Galois群G固定的W的子空间WG，作为Q?向量空间跨越V的余维i子类的类别。 不过针对于阿贝尔簇来讲，研究对象实际上是曲向场上的平滑投射变量。