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