第596頁
2023-09-22 03:13:33 作者： 鴻塵逍遙
程諾所做的推演定理，就是一個架橋的過程。
橋一旦架起來，那最後那一小段距離，很輕易就能夠走完。
而現在，程諾把那座橋，架起來了！
辦公室內，程諾舒展了一下身子，目光望著屏幕上的幾行公式，心情無比舒暢。
「終於，讓我給搞出來了啊！」
要不是怕影響研究所內的其他人，程諾現在真的很想長嘯一聲。
三個月，為了這個定理，程諾耗費了整整三個月的時間！
期間，程諾改稿多次，走岔路的次數不少於十次，一路磕磕絆絆，讓程諾差點直接放棄。
程諾也是很難得的體驗到了靈感枯竭的感覺。
但現在，一切都過去了。
橋被程諾架起來，那之前所有的努力就是值得的。
程諾直接打電話給張偉，「師兄，定理我已經推導出來了，來我辦公室一趟吧。」
「好好好，我正好在數院大樓那邊，五分鐘內一定趕到。」對面那邊張偉聽聞了這個消息後，聽語氣也是異常激動。
五分鐘後，張偉急匆匆的趕到。
連水都來不及喝，便急促的對程諾問道，「新定理呢？」
程諾笑眯眯的把一張A4紙遞過去。
張偉接過來，低頭看去。
【對數域K上的橢圓曲線，環面（R/Z）^2有自然的Abel群結構，如果將橢圓曲線δ嵌入到射影平面，則橢圓曲線符合如下幾何定理：
①：δ與無窮遠直線的交點O是Abel零元；
②：對R=（x，y），-R=（x，y）；
③：對P、Q，過P，Q的直線與δ交於第三點P，則P+Q=-R
……】
張偉仔細讀完後，抬起頭，望向程諾的目光中，已經全是駭然。
「這，這個定理……」
張偉現在有一種，一打瞌睡就有人送枕頭的感覺。
程諾這個新定理，和他們正在鑽研的內容，簡直再也合適不過。
如雪中送炭，原本前方被堵塞的死死道路，突然變得豁然開朗。
張偉一方面在喜悅的同時，同時也在驚訝。
當初，程諾雖然拍著胸脯保證，三個月內一定推演出一個新定理。
但隨著時間的推移，張偉對BSD猜想的認知逐漸增加，同時也意識到，程諾的任務究竟是多麼的艱巨。
張偉早就已經做好這個項目以失敗告終的準備了。
但沒想到，這個看似不可能的任務，程諾如他所說的一般，在三個月內把一個新的定理交到他手上。
並且這個新定理，也具有相當高的學術意義。
簡單的說，就算是不考慮BSD猜想，單單把程諾推導出的這個新定理拿出來，起碼也是第二梯隊數學定理的水平。
外界盛傳程諾妖孽，張偉並沒有親自感受過。
但如今，張偉終於意識到，坐在自己面前的這個青年，是多麼恐怖的一個傢伙！
第四百八十章 發現了什麼不得了的東西
程諾暫時把他這個新推導出來的定理命名為「橢圓阿貝爾群定理」。
有了橢圓阿爾貝群定理，BSD猜想的證明工作便又可以繼續進行。
「師兄，接下來麻煩你了。」
「嗯。給我一周，哦不，四天的時間，我把結果交給你。」
橢圓阿爾貝群的出現，讓張偉真切的看到了攻克BSD猜想的希望。
他已經決定，推掉自己的另一份工作，把全部的精力，放在BSD猜想上。
畢竟，一旦BSD猜想被證明，他能獲得的收益，要比他的另一個項目要高上千倍百倍。
……
BSD猜想的證明工作在有條不紊的進行著。
程諾和張偉師兄弟二人，除了日常帶研究生的工作外，把剩餘的精力全部撲在這上面。
每日泡在辦公室里，沒有必要甚至都不出門。
這種工作狂的態度，在無形之中，帶給了清華大學內許多教授若有若無的壓力。
一邊，是程諾和張偉這對師兄弟，忙得連去食堂吃飯都是小跑著去。
而另一邊，是他們這群教授悠閒的坐在辦公室里美滋滋的喝茶聊天。
瞬間，高下立判！
因此，幾乎是短短几天時間，許多教授在做項目時突然變得積極起來。
那種久違的拼勁，再次出現在他們身上。
而在學校的科研風氣在程諾的影響下慢慢轉變之際，程諾和張偉正在辦公室內激烈的討論著。
仔細算下來的話，距離BSD猜想證明項目開題，已經過去將近四個月的時間。
在這個四個月的時間內，程諾和張偉兩人，總算搞定了BSD猜想的第一塊拼圖。
證明BSD猜想的終極目標，進度1/3。
差的兩塊拼圖，分別是阿貝爾簇，和莫代爾群。
按照框架，下一塊需要搞定的拼圖是莫代爾群。
莫代爾群，在BSD猜想中是一個有限生成的交換群，和橢圓曲線一樣，同樣的存在於整體域上。
兩人現在討論的是，下階段的切入方向是什麼。
張偉認為應該從莫代爾群的模定理進行研究，理由是歷代數學家在研究BSD猜想的這一部分時，便是以次進行深入研究。
而程諾的觀點不一樣。
對於歷代針對BSD猜想展開研究數學家們的觀點，程諾不否認，但也並不苟同。