千越南秋 作品
第124章 計院的科研項目(第2頁)
——
時間如同白駒過隙轉瞬即逝。
很快來到六月底。
徐源從香江回來到現在已經過去兩個月，期間他的時間也都安排的很滿。
除了繼續學習新的知識上課，餘下時間便泡在討論室研究丘誠桐猜想，期間他也沒少和丘誠桐教授發郵件請教存在疑問的地方。
可惜兩個月的時間進度條愣是沒有任何增長。
依舊保持在百分之三十。
他雖然嘗試了不少創新方法，但每次代入演算進度條都會出現下降。
說明他的這些方法存在錯誤，或者無法用來證明丘誠桐猜想。
而這倒是幫他節省了很多時間。
可以不斷進行試錯。
因為如果是正常情況下，想要判斷提出的方法能否對結果有效，還需代入演算並進行驗證才行。
這整個流程進行下來，不知道浪費了多少時間。
好在陳雨然時不時會過來陪著他一起學習，並在合適的時機進行鼓勵，所以儘管進度沒有增長他的鬥志卻越來越激昂。
暗自和這個猜想較上了勁，說什麼都要將其給徹底解決掉。
為卡拉比猜想畫上這個來自三十年後的句號。
這天上午數學科學院討論室內，徐源拿起桌子上的草稿紙微微皺著眉頭。
“果然還是不行嗎？”
自顧自低喃一句，隨即揉了揉扔進垃圾桶裡。
他嘗試用偏微分方程的方式求解，奈何面板上的進度條依舊出現了大幅度下降。
說明此方法是錯誤的。
到現在他可以確定想借助偏微分方程，是無法解決第一陳類為正的卡拉比猜想，還是要從微分幾何多複變函數上找思路。
本來他是覺得既然丘誠桐教授能通過幾何中的曲率概念求解偏微分方程，從而證明第一陳類為負為零這兩種卡拉比猜想情況，那或許也可以用此方法解決第一陳類為正時的卡拉比猜想情況。
無非進行適當的創新，或者在原有基礎上優化。
不過他連續多次嘗試都得到了錯誤的結果，說明此方法在第一陳類為正時行不通。
怪不得當初丘誠桐教授僅解決了第一陳類為負為零時的兩種情況。
或許是連續兩個月每天都在研究此猜想，徐源明顯能感覺到自己思維開始有些僵化。
很難在碰撞出巧妙的靈感思路。
想著應該找點其他東西研究下換換腦子，說不定能起到事半功倍的效果。
他記得自己先前證明蒙日安培方程相關問題，正是被齊同祥教授邀請去科大擔任評委講課，這才誕生出新的思路讓進度條大幅度增長。
徐源想到這些，暗自思索之際嘴裡也忍不住嘀咕。
“難道還要舉行公開課，在課上講丘誠桐猜想，怕是沒多少人感興趣吧。”
這時正當他猶豫著要不要向院裡申請時，口袋裡突然響起的手機鈴聲將他思路打斷。
隨手掏出手機朝那快小屏幕看去，頓時便看到唐教授的名字出現在上面。
見此雖然不知道唐教授有什麼事情，他也不敢耽擱連忙按下接聽鍵。
剛把手機放到耳邊，便聽見一道熟悉聲音從手機聽筒中傳出來。
“徐源你現在空閒嗎？”
“我沒什麼事。”徐源毫不猶豫回答。
唐時宏：“那到我這裡來一下，有件事和你說。”
“好的導師。”
徐源自然沒想太多，應了聲掛斷電話便動身前往唐時宏辦公室所在的綜合實驗樓。
……
剛進唐教授的辦公室，他發現不止是唐教授在，旁邊沙發上還坐著計院的姚啟智教授。
腦海裡不由得冒出一個念頭。
“難道唐教授電話裡說的事情，是和計院有關。”
他雖然沒有聽過姚啟智教授的課，但對這位大佬卻絲毫不陌生。
對方去年受楊老邀請放棄海外的工作，正式加入箐華高等研究院擔任全職教授，負責計算機專業班的授課和相關項目研究。
並且對方還是唯一獲得圖靈獎的華人學者，在國際上享有較高權威。
“還站在門口做什麼，快進來坐。”唐時宏看著站在門口的徐源，停下手上動作笑著問：“最近關於丘誠桐猜想研究的怎麼樣了？”
“暫時還沒什麼頭緒……”
徐源笑著回答了唐時宏的問題，並禮貌性和姚啟智教授打了聲招呼，這才乖巧坐到沙發上面。
姚啟智笑呵呵的問：“敢去證明這種數學難題，單是勇氣就可嘉。”
徐源謙虛了句：“我也就是想試試。”
他這句話可一點沒說錯，別管是什麼難度的數學猜想總要去嘗試證明。
否則如何知道自己不行。
就算失敗了，對於數學家那也不叫事。
“導師您突然找我過來是有什麼要緊的事嗎？”徐源及時岔開話題。
聞言唐時宏並沒有直接把事情說出來，反倒是先拋出了一個問題。
“今年暑假你有什麼打算？”
“暑假我準備留校。”徐源想了想說：“丘誠桐猜想還需要時間研究。”
暑假過後他便是正式的理學博士在讀生，除了眼下手上的丘誠桐猜想問題，還有其他學業上的事情需要想辦法處理。
相比較回家研究，無疑還是待在學校裡面更方便。
關於這件事他也已經給家裡打了電話，父母都表示非常支持。
另外姐姐徐瑩開學後便是大四，也面臨著實習和找工作的問題。
不過這件事他聯繫了省城廬陽一中的張玉輝，準備以後讓姐姐去省高中當老師。
起碼方便穩定。
而正當徐源想著這些時，唐時宏和旁邊的姚啟智兩人臉上也都浮現出笑容，似乎對這個答案感到很滿意。
接著便又繼續往下講具體的情況。
“這次其實不是我找伱。”唐時宏搖搖頭說：“姚教授那最近在研究機器學習，你證明的最優傳輸理論蒙日安培方程剛好能在算法上發揮作用，所以姚教授想邀請你暑假加入此項目，負責解決算法函數和概率高斯分佈等數學內容。”
將唐時宏的話悉數聽進耳中，徐源這才明白是怎麼回事。
首先機器學習算法他肯定不陌生，近幾年國內研究的團隊也逐漸多起來。
機器學習作為人工智能的核心組成部分，能夠在圖像處理工程應用等多領域起到作用。
他除了在數學上取得顯著成績外，所研究的蒙日安培方程最優理論更是機器學習中的重要部分，所以姚啟智找他幫忙倒也合理。
“最優傳輸理論是連接幾何和概率的橋樑，它用幾何的方法為概率分佈的建模和衡量概率分佈之間的距離提供了強有力的工具。”
“可以說最優傳輸理論為機器學習原理的解釋提供了新視角。”
“為機器學習的算法改進提供了新的指導方向。”
“聽到唐教授說推薦你過來幫忙，我可是高興的不行恨不得趕緊把你要走。”
姚啟智這時也沒沉默，眉飛色舞的說著，話裡話外都流露出對徐源的稱讚。
聞聲唐時宏臉上笑容也是更盛：“徐源確實是我們數學科學院最合適人選。”
被姚教授這麼誇獎，徐源心裡高興歸高興，但還是準備謙虛兩句。
不過他還沒來得及開口，耳旁頓時又傳來唐時宏的聲音。
“我知道你最近重心都在丘誠桐猜想研究上，所以究竟要不要去你自己拿主意。”
“這個項目不會持續太長時間，關於算法程序有幾個博士生負責，你只需要在底層邏輯數學上給予支持。”姚啟智擔心徐源拒絕也忙補充說明。
徐源對機器學習算法的研究改進並不覺得難，對他而言算是比較輕鬆的項目。
況且還只需要負責數學方面就好。
剛巧他最近對丘誠桐猜想的研究沒有思路，去計院幫忙換下腦子也很不錯。
再說最優傳輸理論本就是連接幾何和概率，對他研究幾何問題同樣能起到幫助，說不定碰撞出靈感能夠找到攻克丘誠桐猜想的方法。
念頭停留在這裡，徐源沒有任何遲疑，當即向姚啟智教授告知了自己的決定。
“我願意去。”
姚啟智聽到這個回答臉上頓時堆滿笑容。
“太好了。”
“擇日不如撞日，那就今天過去剛好熟悉下地方。”
說著直接便從沙發上站起來，還不忘用打趣的口味和唐時宏說了句。
“今天耽誤你這麼長時間我就不打擾了，至於你的這位寶貝學生我就借走了。”
“姚教授不用這麼客氣。”唐時宏笑呵呵說。
……
徐源本來也沒什麼事，便索性跟著姚啟智一起前往計院項目地點。
講起來這還是徐源第一回來計院，目光四周打量上去環境和數學系那邊沒啥區別，倒是路上遇到女生的數量要稍微多上些。
雖比不過新聞系那邊，但絕對能吊打數學科學院。
畢竟最近幾年計算機專業很是火熱，報考的人員數量也比較多。
“以前來過這裡嗎？”
這時姚啟智隨便找了個話題詢問，想讓氛圍不那麼枯燥尷尬。
徐源聞言則如實回答：“不瞞姚教授你說，這還是我頭回來計院這邊。”
“等你加入這個項目來的次數就多了，真正說起來我還沒有你待在箐華的時間長。”姚啟智如長輩一樣和徐源往下說著，話語中還不忘夾雜著幽默。
而他這話也的確沒有講錯，畢竟對方去年才受邀加入箐華擔任全職教授。
算算時間自然不如徐源在箐華待的時間久。
當然這也僅僅是一個小插曲，很快兩人便來到計院網絡技術研究所。
“咱們到了。”
隨著姚啟智提醒一句，徐源跟著對方走進裡面，發現內部和教學樓並無什麼區別。
只不過房間裡面擺放的都是電腦。
姚啟智把徐源帶到其中一個房間後，找來一位戴著副黑框眼鏡身材瘦高的博士生。
“小郭。”
“這位是數學系的徐源，接下來負責數學上的內容配合你們改進算法，先帶他熟悉熟悉環境和其他成員。”
“好的姚教授。”郭志航笑了笑回答。
姚啟智把徐源託付給郭志航，便暫時先離開這裡。
郭志航習慣性的推了下鼻樑上的眼鏡，然後主動伸出手熱情介紹。
時間如同白駒過隙轉瞬即逝。
很快來到六月底。
徐源從香江回來到現在已經過去兩個月，期間他的時間也都安排的很滿。
除了繼續學習新的知識上課，餘下時間便泡在討論室研究丘誠桐猜想，期間他也沒少和丘誠桐教授發郵件請教存在疑問的地方。
可惜兩個月的時間進度條愣是沒有任何增長。
依舊保持在百分之三十。
他雖然嘗試了不少創新方法，但每次代入演算進度條都會出現下降。
說明他的這些方法存在錯誤，或者無法用來證明丘誠桐猜想。
而這倒是幫他節省了很多時間。
可以不斷進行試錯。
因為如果是正常情況下，想要判斷提出的方法能否對結果有效，還需代入演算並進行驗證才行。
這整個流程進行下來，不知道浪費了多少時間。
好在陳雨然時不時會過來陪著他一起學習，並在合適的時機進行鼓勵，所以儘管進度沒有增長他的鬥志卻越來越激昂。
暗自和這個猜想較上了勁，說什麼都要將其給徹底解決掉。
為卡拉比猜想畫上這個來自三十年後的句號。
這天上午數學科學院討論室內，徐源拿起桌子上的草稿紙微微皺著眉頭。
“果然還是不行嗎？”
自顧自低喃一句，隨即揉了揉扔進垃圾桶裡。
他嘗試用偏微分方程的方式求解，奈何面板上的進度條依舊出現了大幅度下降。
說明此方法是錯誤的。
到現在他可以確定想借助偏微分方程，是無法解決第一陳類為正的卡拉比猜想，還是要從微分幾何多複變函數上找思路。
本來他是覺得既然丘誠桐教授能通過幾何中的曲率概念求解偏微分方程，從而證明第一陳類為負為零這兩種卡拉比猜想情況，那或許也可以用此方法解決第一陳類為正時的卡拉比猜想情況。
無非進行適當的創新，或者在原有基礎上優化。
不過他連續多次嘗試都得到了錯誤的結果，說明此方法在第一陳類為正時行不通。
怪不得當初丘誠桐教授僅解決了第一陳類為負為零時的兩種情況。
或許是連續兩個月每天都在研究此猜想，徐源明顯能感覺到自己思維開始有些僵化。
很難在碰撞出巧妙的靈感思路。
想著應該找點其他東西研究下換換腦子，說不定能起到事半功倍的效果。
他記得自己先前證明蒙日安培方程相關問題，正是被齊同祥教授邀請去科大擔任評委講課，這才誕生出新的思路讓進度條大幅度增長。
徐源想到這些，暗自思索之際嘴裡也忍不住嘀咕。
“難道還要舉行公開課，在課上講丘誠桐猜想，怕是沒多少人感興趣吧。”
這時正當他猶豫著要不要向院裡申請時，口袋裡突然響起的手機鈴聲將他思路打斷。
隨手掏出手機朝那快小屏幕看去，頓時便看到唐教授的名字出現在上面。
見此雖然不知道唐教授有什麼事情，他也不敢耽擱連忙按下接聽鍵。
剛把手機放到耳邊，便聽見一道熟悉聲音從手機聽筒中傳出來。
“徐源你現在空閒嗎？”
“我沒什麼事。”徐源毫不猶豫回答。
唐時宏：“那到我這裡來一下，有件事和你說。”
“好的導師。”
徐源自然沒想太多，應了聲掛斷電話便動身前往唐時宏辦公室所在的綜合實驗樓。
……
剛進唐教授的辦公室，他發現不止是唐教授在，旁邊沙發上還坐著計院的姚啟智教授。
腦海裡不由得冒出一個念頭。
“難道唐教授電話裡說的事情，是和計院有關。”
他雖然沒有聽過姚啟智教授的課，但對這位大佬卻絲毫不陌生。
對方去年受楊老邀請放棄海外的工作，正式加入箐華高等研究院擔任全職教授，負責計算機專業班的授課和相關項目研究。
並且對方還是唯一獲得圖靈獎的華人學者，在國際上享有較高權威。
“還站在門口做什麼，快進來坐。”唐時宏看著站在門口的徐源，停下手上動作笑著問：“最近關於丘誠桐猜想研究的怎麼樣了？”
“暫時還沒什麼頭緒……”
徐源笑著回答了唐時宏的問題，並禮貌性和姚啟智教授打了聲招呼，這才乖巧坐到沙發上面。
姚啟智笑呵呵的問：“敢去證明這種數學難題，單是勇氣就可嘉。”
徐源謙虛了句：“我也就是想試試。”
他這句話可一點沒說錯，別管是什麼難度的數學猜想總要去嘗試證明。
否則如何知道自己不行。
就算失敗了，對於數學家那也不叫事。
“導師您突然找我過來是有什麼要緊的事嗎？”徐源及時岔開話題。
聞言唐時宏並沒有直接把事情說出來，反倒是先拋出了一個問題。
“今年暑假你有什麼打算？”
“暑假我準備留校。”徐源想了想說：“丘誠桐猜想還需要時間研究。”
暑假過後他便是正式的理學博士在讀生，除了眼下手上的丘誠桐猜想問題，還有其他學業上的事情需要想辦法處理。
相比較回家研究，無疑還是待在學校裡面更方便。
關於這件事他也已經給家裡打了電話，父母都表示非常支持。
另外姐姐徐瑩開學後便是大四，也面臨著實習和找工作的問題。
不過這件事他聯繫了省城廬陽一中的張玉輝，準備以後讓姐姐去省高中當老師。
起碼方便穩定。
而正當徐源想著這些時，唐時宏和旁邊的姚啟智兩人臉上也都浮現出笑容，似乎對這個答案感到很滿意。
接著便又繼續往下講具體的情況。
“這次其實不是我找伱。”唐時宏搖搖頭說：“姚教授那最近在研究機器學習，你證明的最優傳輸理論蒙日安培方程剛好能在算法上發揮作用，所以姚教授想邀請你暑假加入此項目，負責解決算法函數和概率高斯分佈等數學內容。”
將唐時宏的話悉數聽進耳中，徐源這才明白是怎麼回事。
首先機器學習算法他肯定不陌生，近幾年國內研究的團隊也逐漸多起來。
機器學習作為人工智能的核心組成部分，能夠在圖像處理工程應用等多領域起到作用。
他除了在數學上取得顯著成績外，所研究的蒙日安培方程最優理論更是機器學習中的重要部分，所以姚啟智找他幫忙倒也合理。
“最優傳輸理論是連接幾何和概率的橋樑，它用幾何的方法為概率分佈的建模和衡量概率分佈之間的距離提供了強有力的工具。”
“可以說最優傳輸理論為機器學習原理的解釋提供了新視角。”
“為機器學習的算法改進提供了新的指導方向。”
“聽到唐教授說推薦你過來幫忙，我可是高興的不行恨不得趕緊把你要走。”
姚啟智這時也沒沉默，眉飛色舞的說著，話裡話外都流露出對徐源的稱讚。
聞聲唐時宏臉上笑容也是更盛：“徐源確實是我們數學科學院最合適人選。”
被姚教授這麼誇獎，徐源心裡高興歸高興，但還是準備謙虛兩句。
不過他還沒來得及開口，耳旁頓時又傳來唐時宏的聲音。
“我知道你最近重心都在丘誠桐猜想研究上，所以究竟要不要去你自己拿主意。”
“這個項目不會持續太長時間，關於算法程序有幾個博士生負責，你只需要在底層邏輯數學上給予支持。”姚啟智擔心徐源拒絕也忙補充說明。
徐源對機器學習算法的研究改進並不覺得難，對他而言算是比較輕鬆的項目。
況且還只需要負責數學方面就好。
剛巧他最近對丘誠桐猜想的研究沒有思路，去計院幫忙換下腦子也很不錯。
再說最優傳輸理論本就是連接幾何和概率，對他研究幾何問題同樣能起到幫助，說不定碰撞出靈感能夠找到攻克丘誠桐猜想的方法。
念頭停留在這裡，徐源沒有任何遲疑，當即向姚啟智教授告知了自己的決定。
“我願意去。”
姚啟智聽到這個回答臉上頓時堆滿笑容。
“太好了。”
“擇日不如撞日，那就今天過去剛好熟悉下地方。”
說著直接便從沙發上站起來，還不忘用打趣的口味和唐時宏說了句。
“今天耽誤你這麼長時間我就不打擾了，至於你的這位寶貝學生我就借走了。”
“姚教授不用這麼客氣。”唐時宏笑呵呵說。
……
徐源本來也沒什麼事，便索性跟著姚啟智一起前往計院項目地點。
講起來這還是徐源第一回來計院，目光四周打量上去環境和數學系那邊沒啥區別，倒是路上遇到女生的數量要稍微多上些。
雖比不過新聞系那邊，但絕對能吊打數學科學院。
畢竟最近幾年計算機專業很是火熱，報考的人員數量也比較多。
“以前來過這裡嗎？”
這時姚啟智隨便找了個話題詢問，想讓氛圍不那麼枯燥尷尬。
徐源聞言則如實回答：“不瞞姚教授你說，這還是我頭回來計院這邊。”
“等你加入這個項目來的次數就多了，真正說起來我還沒有你待在箐華的時間長。”姚啟智如長輩一樣和徐源往下說著，話語中還不忘夾雜著幽默。
而他這話也的確沒有講錯，畢竟對方去年才受邀加入箐華擔任全職教授。
算算時間自然不如徐源在箐華待的時間久。
當然這也僅僅是一個小插曲，很快兩人便來到計院網絡技術研究所。
“咱們到了。”
隨著姚啟智提醒一句，徐源跟著對方走進裡面，發現內部和教學樓並無什麼區別。
只不過房間裡面擺放的都是電腦。
姚啟智把徐源帶到其中一個房間後，找來一位戴著副黑框眼鏡身材瘦高的博士生。
“小郭。”
“這位是數學系的徐源，接下來負責數學上的內容配合你們改進算法，先帶他熟悉熟悉環境和其他成員。”
“好的姚教授。”郭志航笑了笑回答。
姚啟智把徐源託付給郭志航，便暫時先離開這裡。
郭志航習慣性的推了下鼻樑上的眼鏡，然後主動伸出手熱情介紹。