第130章 數學，廢寢忘食
原本，系統給了沈牧霍奇-微分對應的證明方法，憑藉天賦：知識網絡，沈牧可以很輕鬆的把證明過程背熟。
以至於把霍奇-微分對應發表成一篇可以刊登在《數學學報》上的論文，是再簡單不過的事情。
但對沈牧來說，這遠遠不夠。
如果想讓全世界大多數學者都能看懂這篇文章，他就必須把它完全消化。
經過一番思索後，沈牧決定把霍奇-微分對應發表在《數學學報》上，並嘗試對其展開研究。
究其原因，是今天早上張傳明告訴他一個消息。
再過三個月，普林斯頓大學將召開一場數學交流會，會議特別邀請了肖燁、張傳明，還有他。
本來，如果這只是一場見世面的數學交流會，沈牧照常參加，並不會做出什麼特別的舉動。
但從張傳明口中，普林斯頓大學教授艾琳娜·索科洛夫會出現在現場，連帶她的導師查爾斯·霍夫曼也可能會出現。
這樣一個場合，這樣出現的幾名對手，沈牧必須要做些什麼。
在數學上取得勝利。
他準備卡點把霍奇-微分對應作為論文刊登出來，並在大會開始前，把數學突破到5級。
至於下一步的霍奇猜想，等解決了這件事，他有充足的時間來證明。
做好未來一段時間的學習規劃，沈牧拿起紙筆。
整個人陷入一種空靈的狀態。
他要進一步加強對霍奇-微分對應的理解，就好像當初高考前他研究阿蒂亞-辛格指標一般，剎那間無數算子符號從他筆尖下流淌出來。
一行行數學表達式，像咒語一般在草稿紙上鋪開。
時間一分一秒過去，沈牧以一種極為誇張的速度，消耗著草稿紙。
中午飯點的時候，旁邊一名籌備考研的物理系男生伸了個懶腰，準備收拾好東西，去學校食堂吃飯。
今天王淵還是第一次坐在這個位置上，也不認識沈牧，以至於看見他桌面上一張張草稿紙和上面一個個誇張的算子符號的時候，王淵整個人蚌埠住了。
這位看上去挺年輕的本科生學弟，他在算什麼？
這麼忘我的？
最關鍵的，到底什麼題目需要幾十張草稿紙還算不完？
湊過去看了眼，王淵大概能看出來沈牧剛開始寫的是數學分析相關內容，然後是代數學。
然而再往下看，他就看不太懂了。
一方面是沈牧寫的極快，字跡算不得工整。
另一方面數學本就不是他重點研究方向，只是因為考物理研究生，數學不能有短板，他學了些而已。
就在物理系男生搖搖頭，準備離開的時候，卻偶然瞥見草稿紙上用英文寫的小字：Hodge。
「霍奇？這是……」
「霍奇猜想？」
王淵瞬間瞪大了眼睛，再看向埋頭算題的沈牧，一臉看瘋子的樣子。
原來數學院都是這樣的人？
剛學數學就學著人去證明千禧年七大猜想中的霍奇猜想？
怕不是腦子有包吧？
搖搖頭，物理系男生不再看了，轉身就走。
他本科學的物理，研究生也是物理方向，但不代表他對數學一無所知。
霍奇猜想。
被人提出來都快一百年了，無數數學家前赴後繼，可結果呢，根本沒人能往前邁進一步。
甚至有數學家斷言，霍奇猜想涉及到三個數學核心分支，在如今數學全才不出的時代，不可能有人能證明出霍奇猜想。
現在，一個大學本科生，在試圖證明霍奇猜想，這話說出去，怕不是要讓一眾人笑掉大牙。
……
此時，沈牧完全沉浸在霍奇-微分對應的精妙算式中。
圖書館「閉關」幾個月來，他每天都在研究數學，都在研究分析、代數、拓撲學。
以至於對著系統提供的霍奇-微分對應證明方法，他又獲得了許多新靈感。
在這種沉浸狀態下，沈牧當然不可能注意到身旁剛剛經過一名物理系大四學生。
事實上不光注意不到學生，他連自己肚子是不是餓都注意不到。
時間就這樣一直到了天黑，沈牧長出一口氣，靠在椅子上，整個人都要癱倒了。
真就是又累又餓。
『居然接連錯過了午飯、晚飯。』
『好久沒這麼入迷的鑽研數學了。』
『不過成果好像還不錯。』
沈牧興奮的抓起一張張草稿紙，頗有成就感的翻看著。
其實這些東西對他投稿論文幫助不大，但卻對即將到來的學術交流會意義重大。
換言之，這是從霍奇-微分對應，到霍奇猜想的必要路徑。
只不過他現在的數學水平還只有4級，完全不可能推出霍奇猜想。
但怎麼著也是往前邁了一小步。
揉了揉肚子，沈牧站起來準備往食堂去看看還有沒有飯，不行就只能出校門吃點了。
突然他被草稿紙一角上的算子符號吸引。
「這個代數簇好像還能定義子簇多項式方程……」
突如其來的感覺，讓沈牧顧不得往外走，他拿起鋼筆，在草稿紙上重新寫寫畫畫起來。
不多時，又寫出了幾行數學算式。
隱隱的，沈牧覺得自己好像發現了什麼了不得的東西。
他滿眼興奮的，繼續往下推敲。
過了會兒，他揮動鋼筆把寫下的算式全部劃掉。
『不行，這個方向行不通。』
『果然啊，4級數學即使開著這麼多天賦，想繼續往下推霍奇猜想還是太勉強了。』
『倒不影響發論文。』
『但在發《數學學報》之前，有必要諮詢下吉賽爾，最好能把時間卡到普林斯頓大會前。最好開會當天見刊，也不知道這事能不能做到。』
沈牧思考著接下來的安排。
『算了，先填飽肚子，再繼續推進。』
收起桌子上的書本和草稿，沈牧邁著步子往圖書館外走去。
……
在年底期末考試前，沈牧還有一件事要做。
那就是參加在水木大學進行的RSCT項目的測試答辯。
從某種意義上講，RSCT項目更像是國家機關布置給各高校的項目，最終會選出排名前三的項目，來做應用。
其實測試場地選在水木大學，已經能從側面反應出一些問題了。
至少在計算機項目方面，水木大學在國內是處於領先地位的。
燕京大學信息學院的計算機排名也不錯，但更多的是依託於算法。
水木大學則是多個計算機領域國內排名第一。
今天現場評委組是幾個在計算機領域有突出成就的大咖，什麼計算機領域國際先驅，計算機協會會長，某某國際著名學校教授，不一而足。
沈牧知道，國內唯一一位圖靈獎獲得者應該就在水木大學，只是不知道這次答辯他會不會出現在現場。
以至於把霍奇-微分對應發表成一篇可以刊登在《數學學報》上的論文，是再簡單不過的事情。
但對沈牧來說，這遠遠不夠。
如果想讓全世界大多數學者都能看懂這篇文章，他就必須把它完全消化。
經過一番思索後，沈牧決定把霍奇-微分對應發表在《數學學報》上，並嘗試對其展開研究。
究其原因，是今天早上張傳明告訴他一個消息。
再過三個月，普林斯頓大學將召開一場數學交流會，會議特別邀請了肖燁、張傳明，還有他。
本來，如果這只是一場見世面的數學交流會，沈牧照常參加，並不會做出什麼特別的舉動。
但從張傳明口中，普林斯頓大學教授艾琳娜·索科洛夫會出現在現場，連帶她的導師查爾斯·霍夫曼也可能會出現。
這樣一個場合，這樣出現的幾名對手，沈牧必須要做些什麼。
在數學上取得勝利。
他準備卡點把霍奇-微分對應作為論文刊登出來，並在大會開始前，把數學突破到5級。
至於下一步的霍奇猜想，等解決了這件事，他有充足的時間來證明。
做好未來一段時間的學習規劃，沈牧拿起紙筆。
整個人陷入一種空靈的狀態。
他要進一步加強對霍奇-微分對應的理解，就好像當初高考前他研究阿蒂亞-辛格指標一般，剎那間無數算子符號從他筆尖下流淌出來。
一行行數學表達式，像咒語一般在草稿紙上鋪開。
時間一分一秒過去，沈牧以一種極為誇張的速度，消耗著草稿紙。
中午飯點的時候，旁邊一名籌備考研的物理系男生伸了個懶腰，準備收拾好東西，去學校食堂吃飯。
今天王淵還是第一次坐在這個位置上，也不認識沈牧，以至於看見他桌面上一張張草稿紙和上面一個個誇張的算子符號的時候，王淵整個人蚌埠住了。
這位看上去挺年輕的本科生學弟，他在算什麼？
這麼忘我的？
最關鍵的，到底什麼題目需要幾十張草稿紙還算不完？
湊過去看了眼，王淵大概能看出來沈牧剛開始寫的是數學分析相關內容，然後是代數學。
然而再往下看，他就看不太懂了。
一方面是沈牧寫的極快，字跡算不得工整。
另一方面數學本就不是他重點研究方向，只是因為考物理研究生，數學不能有短板，他學了些而已。
就在物理系男生搖搖頭，準備離開的時候，卻偶然瞥見草稿紙上用英文寫的小字：Hodge。
「霍奇？這是……」
「霍奇猜想？」
王淵瞬間瞪大了眼睛，再看向埋頭算題的沈牧，一臉看瘋子的樣子。
原來數學院都是這樣的人？
剛學數學就學著人去證明千禧年七大猜想中的霍奇猜想？
怕不是腦子有包吧？
搖搖頭，物理系男生不再看了，轉身就走。
他本科學的物理，研究生也是物理方向，但不代表他對數學一無所知。
霍奇猜想。
被人提出來都快一百年了，無數數學家前赴後繼，可結果呢，根本沒人能往前邁進一步。
甚至有數學家斷言，霍奇猜想涉及到三個數學核心分支，在如今數學全才不出的時代，不可能有人能證明出霍奇猜想。
現在，一個大學本科生，在試圖證明霍奇猜想，這話說出去，怕不是要讓一眾人笑掉大牙。
……
此時，沈牧完全沉浸在霍奇-微分對應的精妙算式中。
圖書館「閉關」幾個月來，他每天都在研究數學，都在研究分析、代數、拓撲學。
以至於對著系統提供的霍奇-微分對應證明方法，他又獲得了許多新靈感。
在這種沉浸狀態下，沈牧當然不可能注意到身旁剛剛經過一名物理系大四學生。
事實上不光注意不到學生，他連自己肚子是不是餓都注意不到。
時間就這樣一直到了天黑，沈牧長出一口氣，靠在椅子上，整個人都要癱倒了。
真就是又累又餓。
『居然接連錯過了午飯、晚飯。』
『好久沒這麼入迷的鑽研數學了。』
『不過成果好像還不錯。』
沈牧興奮的抓起一張張草稿紙，頗有成就感的翻看著。
其實這些東西對他投稿論文幫助不大，但卻對即將到來的學術交流會意義重大。
換言之，這是從霍奇-微分對應，到霍奇猜想的必要路徑。
只不過他現在的數學水平還只有4級，完全不可能推出霍奇猜想。
但怎麼著也是往前邁了一小步。
揉了揉肚子，沈牧站起來準備往食堂去看看還有沒有飯，不行就只能出校門吃點了。
突然他被草稿紙一角上的算子符號吸引。
「這個代數簇好像還能定義子簇多項式方程……」
突如其來的感覺，讓沈牧顧不得往外走，他拿起鋼筆，在草稿紙上重新寫寫畫畫起來。
不多時，又寫出了幾行數學算式。
隱隱的，沈牧覺得自己好像發現了什麼了不得的東西。
他滿眼興奮的，繼續往下推敲。
過了會兒，他揮動鋼筆把寫下的算式全部劃掉。
『不行，這個方向行不通。』
『果然啊，4級數學即使開著這麼多天賦，想繼續往下推霍奇猜想還是太勉強了。』
『倒不影響發論文。』
『但在發《數學學報》之前，有必要諮詢下吉賽爾，最好能把時間卡到普林斯頓大會前。最好開會當天見刊，也不知道這事能不能做到。』
沈牧思考著接下來的安排。
『算了，先填飽肚子，再繼續推進。』
收起桌子上的書本和草稿，沈牧邁著步子往圖書館外走去。
……
在年底期末考試前，沈牧還有一件事要做。
那就是參加在水木大學進行的RSCT項目的測試答辯。
從某種意義上講，RSCT項目更像是國家機關布置給各高校的項目，最終會選出排名前三的項目，來做應用。
其實測試場地選在水木大學，已經能從側面反應出一些問題了。
至少在計算機項目方面，水木大學在國內是處於領先地位的。
燕京大學信息學院的計算機排名也不錯，但更多的是依託於算法。
水木大學則是多個計算機領域國內排名第一。
今天現場評委組是幾個在計算機領域有突出成就的大咖，什麼計算機領域國際先驅，計算機協會會長，某某國際著名學校教授，不一而足。
沈牧知道，國內唯一一位圖靈獎獲得者應該就在水木大學，只是不知道這次答辯他會不會出現在現場。