第601頁
「呃……」程諾弱弱的開口,「院長,我好想沒有說,要聽停掉這個項目。」
丁院長瞪了程諾一眼,「難道你和張偉兩個人真的搞出來一個重大突破。」
「準確的說,並不算重大突破。」程諾思考了一下,嚴謹地說道。
在丁院士打算出聲說一句「你小子還是想不認帳」的時候,只聽見程諾慢悠悠的繼續說道,「……因為,我和張偉師兄,已經快把BSD猜想成功證明了。」
「你小子……嗯,你剛才說什麼?」丁院士懷疑自己聽錯了。
程諾無奈的語氣重複了一遍,「我和張偉師兄已經進入BSD猜想證明的最後階段,大概三四個月的時間就能徹底搞定。」
丁院長:「??!」
「你說,你們兩個已經快證明BSD猜想了?」
「對,沒錯啊!」
「說,你是不是在逗我?」
「院長,我哪敢啊。更何況,我閒著沒事逗您幹什麼。」
丁院長緊皺了幾下眉頭,對視上程諾真誠的眼神,沉吟一下道,「把你們的證明過程給我一份,我回去檢驗一下你話的真假。」
「院長,您確定能看懂我們的證明過程?」
「滾粗,我還沒有你想的那麼不堪。」丁院士笑罵道,「我當初被評委院士的時候,你小子還在咿咿呀呀的上小學呢!」
「那好,我馬上給您列印一份。」程諾點頭,在電腦上講前兩塊拼圖的推導過程列印下來,一併交給程諾。
……
自從丁院長那次回去後,程諾也並不知道什麼原因,一連很長時間再也沒有找過他。
直到,半個月後……
程諾見到頂著一雙熊貓眼,神色疲憊的丁院長時,瞬間嚇了一跳。
「院長,您這幾天是沒休息好?」程諾關心問。
丁院長擺擺手,顯然是沒有和程諾談這個話題的興趣。
坐在對面,丁院長眼中帶光的盯著程諾,一言不發。
程諾背後有些發毛,訕訕笑一下道,「院長來著是有什麼事有吩咐嗎?」
「我現在才覺得,當時把你從國外請回來,是我們學校最正確的一個決定。」丁院長忽然說了一句八竿子打不著的話,讓程諾有點懵。
「一年前的那個約定,你就當做沒有發生過。同時,你和張偉兩個人在學院那些日常的工作可以不用做了。」
「現在,你們只需要做好一件事……證明BSD猜想!」
第四百八十四章 我們結婚吧!
丁院長自從那次檢查完程諾的研究進度後,便程諾這個項目最堅定的支持者。
那篇論文,雖然只能勉強算是一個半成品。
甚至說連論文都算不上,因為那只是一些推導公式的疊加,沒有任何的文字修飾。
但丁院士是何許人物,能混上清華大學數學院的院長,最起碼還是識貨的。
別的不說,單是程諾在橢圓曲線部分提出的「橢圓阿貝爾群定理」,還有在莫代爾交換群部分發現的「程氏虛點」,這兩個拿出來,都能引起整個數學界的震動。
更不用提,丁院士用了將近半個月的時間,理解了程諾給那一摞紙上公式的推導過程後,發現事實確實如程諾所說的一般。
關於BSD猜想的證明進度,程諾和張偉已經達到了60%以上。
按照這樣的速度,或許不出半年,BSD猜想就能被兩人徹底證明。
而且,這種可能性還不小!
若是半個月前,丁院長還不敢如此篤定的這樣說,但見識到程諾的真本事後,丁院士就開始對此深信不疑。
那可是證明世界七大猜想之一啊!
這種事,丁院長想過會發生在他們清華大學身上,不過那是在夢中。
但現在,它即將成為現實。
丁院長知道幫不了程諾太多,只能儘可能的為程諾提供一個心無旁騖的環境,然後,就是慢慢的等待。
……
2025年12月25日。
嚴冬的燕京天氣冷到一種極致。
就在剛剛,程諾從校門口路上走過的時候,見兩輛車追尾了,司機下來加了微信,回到車裡開語音對罵。
這種天氣,除非必要,程諾一半是很少出門。
裹得嚴嚴實實的程諾打著冷顫來到研究所的辦公室,才感覺渾身的血液才重新開始流通。
脫掉外套,泡了杯熱茶,程諾便開始了一天的工作。
BSD猜想的第三塊拼圖,阿爾貝簇,在程諾和張偉兩人長達五個月的艱苦奮戰下,終於到了最後的收尾階段。
當然,離第三塊拼圖的完成,仍具有最後一道難關。
程諾最近半個月時間,都在解決這道難關。
現在,程諾總算是有了一些靈感。
最後一道難關,是如何用計算的不變量描述各種代數周期?
代數周期意味著子變量的有限線性組合,所以一個等價的陳述是WG的每個元素都是V上具有Q?係數的代數周期的類。
剛開始,程諾打算是利用由上世紀數學家泰特提出的一個泰特定理,來解決此類問題。
但經過幾天的推導後,程諾發現這個方式行不通。
因為泰特定理是由Galois群G固定的W的子空間WG,作為Q?-向量空間跨越V的余維i子類的類別。
不過針對於阿貝爾簇來講,研究對象實際上是曲向場上的平滑投射變量。