第601頁

2023-09-22 03:13:33 作者: 鴻塵逍遙
    「呃……」程諾弱弱的開口,「院長,我好想沒有說,要聽停掉這個項目。」

    丁院長瞪了程諾一眼,「難道你和張偉兩個人真的搞出來一個重大突破。」

    「準確的說,並不算重大突破。」程諾思考了一下,嚴謹地說道。

    在丁院士打算出聲說一句「你小子還是想不認帳」的時候,只聽見程諾慢悠悠的繼續說道,「……因為,我和張偉師兄,已經快把BSD猜想成功證明了。」

    「你小子……嗯,你剛才說什麼?」丁院士懷疑自己聽錯了。

    程諾無奈的語氣重複了一遍,「我和張偉師兄已經進入BSD猜想證明的最後階段,大概三四個月的時間就能徹底搞定。」

    丁院長:「??!」

    「你說,你們兩個已經快證明BSD猜想了?」

    「對,沒錯啊!」

    「說,你是不是在逗我?」

    「院長,我哪敢啊。更何況,我閒著沒事逗您幹什麼。」

    丁院長緊皺了幾下眉頭,對視上程諾真誠的眼神,沉吟一下道,「把你們的證明過程給我一份,我回去檢驗一下你話的真假。」

    「院長,您確定能看懂我們的證明過程?」

    「滾粗,我還沒有你想的那麼不堪。」丁院士笑罵道,「我當初被評委院士的時候,你小子還在咿咿呀呀的上小學呢!」

    「那好,我馬上給您列印一份。」程諾點頭,在電腦上講前兩塊拼圖的推導過程列印下來,一併交給程諾。

    ……

    自從丁院長那次回去後,程諾也並不知道什麼原因,一連很長時間再也沒有找過他。

    直到,半個月後……

    程諾見到頂著一雙熊貓眼,神色疲憊的丁院長時,瞬間嚇了一跳。

    「院長,您這幾天是沒休息好?」程諾關心問。

    丁院長擺擺手,顯然是沒有和程諾談這個話題的興趣。

    坐在對面,丁院長眼中帶光的盯著程諾,一言不發。

    程諾背後有些發毛,訕訕笑一下道,「院長來著是有什麼事有吩咐嗎?」

    「我現在才覺得,當時把你從國外請回來,是我們學校最正確的一個決定。」丁院長忽然說了一句八竿子打不著的話,讓程諾有點懵。

    「一年前的那個約定,你就當做沒有發生過。同時,你和張偉兩個人在學院那些日常的工作可以不用做了。」

    「現在,你們只需要做好一件事……證明BSD猜想!」

    第四百八十四章 我們結婚吧!

    丁院長自從那次檢查完程諾的研究進度後,便程諾這個項目最堅定的支持者。

    那篇論文,雖然只能勉強算是一個半成品。

    甚至說連論文都算不上,因為那只是一些推導公式的疊加,沒有任何的文字修飾。

    但丁院士是何許人物,能混上清華大學數學院的院長,最起碼還是識貨的。

    別的不說,單是程諾在橢圓曲線部分提出的「橢圓阿貝爾群定理」,還有在莫代爾交換群部分發現的「程氏虛點」,這兩個拿出來,都能引起整個數學界的震動。

    更不用提,丁院士用了將近半個月的時間,理解了程諾給那一摞紙上公式的推導過程後,發現事實確實如程諾所說的一般。

    關於BSD猜想的證明進度,程諾和張偉已經達到了60%以上。

    按照這樣的速度,或許不出半年,BSD猜想就能被兩人徹底證明。

    而且,這種可能性還不小!

    若是半個月前,丁院長還不敢如此篤定的這樣說,但見識到程諾的真本事後,丁院士就開始對此深信不疑。

    那可是證明世界七大猜想之一啊!

    這種事,丁院長想過會發生在他們清華大學身上,不過那是在夢中。

    但現在,它即將成為現實。

    丁院長知道幫不了程諾太多,只能儘可能的為程諾提供一個心無旁騖的環境,然後,就是慢慢的等待。

    ……

    2025年12月25日。

    嚴冬的燕京天氣冷到一種極致。

    就在剛剛,程諾從校門口路上走過的時候,見兩輛車追尾了,司機下來加了微信,回到車裡開語音對罵。

    這種天氣,除非必要,程諾一半是很少出門。

    裹得嚴嚴實實的程諾打著冷顫來到研究所的辦公室,才感覺渾身的血液才重新開始流通。

    脫掉外套,泡了杯熱茶,程諾便開始了一天的工作。

    BSD猜想的第三塊拼圖,阿爾貝簇,在程諾和張偉兩人長達五個月的艱苦奮戰下,終於到了最後的收尾階段。

    當然,離第三塊拼圖的完成,仍具有最後一道難關。

    程諾最近半個月時間,都在解決這道難關。

    現在,程諾總算是有了一些靈感。

    最後一道難關,是如何用計算的不變量描述各種代數周期?

    代數周期意味著子變量的有限線性組合,所以一個等價的陳述是WG的每個元素都是V上具有Q?係數的代數周期的類。

    剛開始,程諾打算是利用由上世紀數學家泰特提出的一個泰特定理,來解決此類問題。

    但經過幾天的推導後,程諾發現這個方式行不通。

    因為泰特定理是由Galois群G固定的W的子空間WG,作為Q?-向量空間跨越V的余維i子類的類別。

    不過針對於阿貝爾簇來講,研究對象實際上是曲向場上的平滑投射變量。
關閉