万能数据 (鸿尘逍遥)

　　这是很不科学的。
　　除非……
　　许多人忽然想到了一年前在国际上流传的一个小道消息。
　　差不多就在去年的这个时间段，有人传出程诺正在攻克BSD猜想的消息，并且还言之凿凿。
　　当时把这个消息当真的人还不少。
　　但随着时间的推移，许多人便把这个小道消息当做谣言来看待。
　　怎么说，程诺也算是前途光明，再积累上十几年，成为国际数学界上的顶尖大牛基本上没多大问题，怎么会不理智到去打BSD猜想的主意。
　　当时他们还对传出这个不确实消息的人嗤笑很久。
　　但现在看来，这个消息，似乎并不是那么不可信。
　　程诺一年内没有发表任何文章，就是最好的证明。
　　除了掉进BSD猜想这个大坑，他们想不到程诺这么锐气十足的年轻人，会整整蛰伏一整年时间没有任何动静。
　　于是国际上和清华的一些教授相熟的数学家，便打电话过去询问消息。
　　得到的结果，和众人猜想的一样。
　　程诺果然掉进BSD猜想的坑里面了！
　　而且据清华数院的那些教授所说，程诺现在已经陷入了一种几近疯狂的状态，并没有从这个大坑里爬出来的趋势。
　　…………
　　清华数学研究所。
　　丁院长背着手径直来到程诺所在的副所长办公室。
　　丁院长这次过来不仅仅是普通的寒暄，而是带着极强的目的性。
　　一年前，程诺就和丁院长有过约定。
　　丁院长可以允许程诺去攻克BSD猜想，但若是一年后，程诺并没有什么突破性进展的话，那程诺必须要停下BSD猜想的研究！
　　丁院长绝对不会允许程诺这样一个极为优秀的数学人才，把时间白白浪费在这做无用功上。
　　一年时间，是丁院士给予程诺的最长期限。
　　而今天，丁院长就是了让程诺履行他当初的诺言。
　　咚咚咚~~
　　“请进！”里面传来程诺的声音。
　　丁院长面无表情的走进来。
　　看清进来的人是丁院长，程诺热情的起身相迎，并殷勤的为丁院长倒杯茶。
　　“院长，请喝茶。”
　　丁院长来到程诺对面坐下，并没有着急喝茶，而是目光带着审视意味的问道，“一年前你和我的约定，还记得吧？”
　　“约定，啥约定？”程诺一脸懵。
　　丁院士一脸无奈的提醒道，“你当初固执的想要研究BSD猜想的时候，我记得你给我承诺过，要是一年时间内你没有重大突破的话，那就停下你这个项目，专心在几何领域钻研。”
　　“你这小子，不会耍赖不认账吧？”
　　“哪有，哪有。”程诺苦笑着连连摆手。
　　经丁院长这么一提醒，程诺才想起来，确实是有这回事。
　　只不过当时程诺并不认为，他完成不了任务，所以就根本没把这件事放在心上，以至于随着时间的推移就逐渐忘记了。
　　程诺开口道，“我说过的话，自然要算数。”
　　“既然算数，那你就赶快把你这个项目停掉，我听学院里的其他教授说，这几个月你和张伟两个人为了这个项目都是天天熬夜，太不值得了！”丁院长缓缓开口说道，“停掉这个项目，我再给你批一个月的假期，好好休息一段时间。”
　　“呃……”程诺弱弱的开口，“院长，我好想没有说，要听停掉这个项目。”
　　丁院长瞪了程诺一眼，“难道你和张伟两个人真的搞出来一个重大突破。”
　　“准确的说，并不算重大突破。”程诺思考了一下，严谨的说道。
　　在丁院士打算出声说一句“你小子还是想不认账”的时候，只听见程诺慢悠悠的继续说道，“……因为，我和张伟师兄，已经快把BSD猜想成功证明了。”
　　“你小子……嗯，你刚才说什么？”丁院士怀疑自己听错了。
　　程诺无奈的语气重复了一遍，“我和张伟师兄已经进入BSD猜想证明的最后阶段，大概三四个月的时间就能彻底搞定。”
　　丁院长：“？？！”
　　“你说，你们两个已经快证明BSD猜想了？”
　　“对，没错啊！”
　　“说，你是不是在逗我？”
　　“院长，我哪敢啊。更何况，我闲着没事逗您干什么。”
　　丁院长紧皱了几下眉头，对视上程诺真诚的眼神，沉吟一下道，“把你们的证明过程给我一份，我回去检验一下你话的真假。”
　　“院长，您确定能看懂我们的证明过程？”
　　“滚粗，我还没有你想的那么不堪。”丁院士笑骂道，“我当初被评委院士的时候，你小子还在咿咿呀呀的上小学呢！”
　　“那好，我马上给您打印一份。”程诺点头，在电脑上讲前两块拼图的推导过程打印下来，一并交给程诺。
　　…………
　　自从丁院长那次回去后，程诺也并不知道什么原因，一连很长时间再也没有找过他。
　　直到，半个月后……
　　程诺见到顶着一双熊猫眼，神色疲惫的丁院长时，瞬间吓了一跳。
　　“院长，您这几天是没休息好？”程诺关心问。
　　丁院长摆摆手，显然是没有和程诺谈这个话题的兴趣。
　　坐在对面，丁院长眼中带光的盯着程诺，一言不发。
　　程诺背后有些发毛，讪讪笑一下道，“院长来着是有什么事有吩咐吗？”
　　“我现在才觉得，当时把你从国外请回来，是我们学校最正确的一个决定。”丁院长忽然说了一句八竿子打不着的话，让程诺有点懵。
　　“一年前的那个约定，你就当做没有发生过。同时，你和张伟两个人在学院那些日常的工作可以不用做了。”
　　“现在，你们只需要做好一件事……证明BSD猜想！”


第四遍八十四章 我们结婚吧！

　　484章
　　丁院长自从那次检查完程诺的研究进度后，便程诺这个项目最坚定的支持者。
　　那篇论文，虽然只能勉强算是一个半成品。
　　甚至说连论文都算不上，因为那只是一些推导公式的叠加，没有任何的文字修饰。
　　但丁院士是何许人物，能混上清华大学数学院的院长，最起码还是识货的。
　　别的不说，单是程诺在椭圆曲线部分提出的“椭圆阿贝尔群定理”，还有在莫代尔交换群部分发现的“程氏虚点”，这两个拿出来，都能引起整个数学界的震动。
　　更不用提，丁院士用了将近半个月的时间，理解了程诺给那一摞纸上公式的推导过程后，发现事实确实如程诺所说的一般。
　　关于BSD猜想的证明进度，程诺和张伟已经达到了60%以上。
　　按照这样的速度，或许不出半年，BSD猜想就能被两人彻底证明。
　　而且，这种可能性还不小！
　　若是半个月前，丁院长还不敢如此笃定的这样说，但见识到程诺的真本事后，丁院士就开始对此深信不疑。
　　那可是证明世界七大猜想之一啊！
　　这种事，丁院长想过会发生在他们清华大学身上，不过那是在梦中。
　　但现在，它即将成为现实。
　　丁院长知道帮不了程诺太多，只能尽可能的为程诺提供一个心无旁骛的环境，然后，就是慢慢的等待。
　　…………
　　2025年12月25日。
　　严冬的燕京天气冷到一种极致。
　　就在刚刚，程诺从校门口路上走过的时候，见两辆车追尾了，司机下来加了微信，回到车里开语音对骂。
　　这种天气，除非必要，程诺一半是很少出门。
　　裹得严严实实的程诺打着冷颤来到研究所的办公室，才感觉浑身的血液才重新开始流通。
　　脱掉外套，泡了杯热茶，程诺便开始了一天的工作。
　　BSD猜想的第三块拼图，阿尔贝簇，在程诺和张伟两人长达五个月的艰苦奋战下，终于到了最后的收尾阶段。
　　当然，离第三块拼图的完成，仍具有最后一道难关。
　　程诺最近半个月时间，都在解决这道难关。
　　现在，程诺总算是有了一些灵感。
　　最后一道难关，是如何用计算的不变量描述各种代数周期？
　　代数周期意味着子变量的有限线性组合，所以一个等价的陈述是WG的每个元素都是V上具有Q?系数的代数周期的类。
　　刚开始，程诺打算是利用由上世纪数学家泰特提出的一个泰特定理，来解决此类问题。
　　但经过几天的推导后，程诺发现这个方式行不通。
　　因为泰特定理是由Galois群G固定的W的子空间WG，作为Q?-向量空间跨越V的余维i子类的类别。
　　不过针对于阿贝尔簇来讲，研究对象实际上是曲向场上的平滑投射变量。
　　前人无法借鉴，程诺只能使用老办法，那就是，创造一个新的！
　　这个说起来简单，但实际做起来，也确实是挺简单的。
　　这次新定理的推导并非像上次那样被框定在一个固定的范围，让程诺又许多发挥的空间。
　　况且，这属于几何方向，程诺最为擅长的领域。
　　【设V是在场k上的平滑投射变量，其在其素场上有限地产生。令ks为k的可分离闭包，并且令G为k的绝对伽罗瓦群Gal（ks / k）。】