決定嚐試證明丘誠桐猜想，徐源接下來幾天都沒有在交流活動中露麵，基本吃完飯便來到丘誠桐辦公室研究微分幾何代數幾何多複變函數等數學分支。
丘誠桐也確實希望徐源能彌補這個遺憾，將自己這些年相關的研究悉數傳授。
平時徐源遇到複雜棘手的難題，同樣會耐心講解。
儼然將之當成了自己的學生。
而他越是和徐源接觸下來，越能感受到徐源在數學上的恐怖天賦。
每次他隻需要稍加指導點撥，徐源便能融會貫通甚至舉一反三，這種數學天賦可以說連他都感到羨慕。
不過這也恰恰證明，他的決定並沒有錯。
隻要徐源堅持研究下去，或許真能為卡拉比猜想畫上圓滿的句號。
轉眼來到周末。
為期一周的交流活動接近尾聲。
2005年4月17日，周日，香江中文大學數學科學研究所。
辦公室內徐源坐在側邊桌子旁，麵前堆著的滿是資料和寫滿數學公式的手稿，不過此刻他的神情卻顯得凝重微微皺著眉頭。
良久他從深度學習狀態中脫離出來，在麵板消散前又看了眼進度條緩緩籲了口氣。
——
任務：丘誠桐猜想證明
學科：數學
進度：30%
結果：未完成
“果然不愧是困擾了丘教授幾十年的問題，想證明這個猜想不容易啊。”
這幾天時間他瘋狂吸收著各種相關知識，掌握了很多數學分支的方法，但都無法證明第一陳類為正時的丘誠桐猜想。
根據以往解決數學難題的經驗判斷，必須要對多種方法創新才行。
不過如果丘誠桐知道短短幾天便把猜想證明推進到百分之三十的進度，那肯定會感到非常不可思議，盡管這主要還是依靠他的研究成果。
畢竟距離他解決第一陳類為負為零的卡拉比猜想已經過去三十年。
正當徐源想著這些時，隻見丘誠桐推門從外麵進來主動和他打招唿。
“今天有什麽收獲嗎？”
徐源聞言連忙站起身把頭扭過去，臉上有些尷尬的迴答。
“暫時沒有突破性的進展，想把微分幾何和代數幾何以及多複變函數等數學分支方法結合用於證明，難度遠比我想象的難。”
“慢慢來。”
“想解決數學難題哪有一口吃成胖子吧，有時候研究幾年都正常。”
“不急。”
丘誠桐擺手安撫著徐源。
這些天徐源的表現已經大幅度超過他的預期，對於自己這個學生他非常看好。
隨即走到自己辦公桌旁坐下時，他又想到了什麽開口拋出一句。
“明天你們是不是就要迴去了？”
“是的丘教授，我們廖主任已經安排好行程。”徐源麵對詢問如實迴答。
從心裏來說丘誠桐肯定不希望徐源離開，但徐源畢竟不是中文大學數學係的學生，總不能強行把人留下來不放人迴去。
於是歎了口氣然後囑咐道：“你把這些資料手稿書籍也都帶迴去，有疑問可以隨時給我發郵件。”
“丘教授放心，我不會放棄證明這個猜想的。”徐源點點頭保證。
接下來兩人又針對數學方法進行討論，不知不覺間時間便悄然過去。
第二天。
中文大學這邊特意舉行歡送儀式。
在一片歡送聲中，徐源等人乘車前往機場，準備返迴箐華大學。
此刻車內能看到大家也都掛著喜悅笑容，顯然是此行收獲都不小。
雖說首場丘誠桐的講座難度高些，但後麵都屬於正常水平確實學到了很多東西。
尤其張俊東更是確定了自己畢業論文選題。
眼下他可以說是信心滿滿，巴不得立刻迴到學校開始撰寫。
“這次交流確實沒白來，讓我有種豁然開朗的感覺直接就確定了畢業論文，現在對論文我可謂是信心滿滿。”
“那就先提前祝賀學長完成畢業論文。”劉洋聽著旁邊張俊東的話不忘附和。
長達一周的時間相處下來，兩人之間的關係也變得更加熟絡。
因為徐源每天都不參加交流活動，劉洋便都和張俊東結伴聽講座互相交流。
張俊東聽到這話心裏感到高興的同時，目光也不忘向坐在前麵的徐源看去。
“這次收獲最多的應該還是徐神，畢竟那可是丘教授每天親自授課，哪怕博士都沒有這種頂格待遇。”
“好像丘教授是想讓源哥證明丘誠桐猜想。”劉洋想到什麽迴了句。
徐源沒有參加後麵幾天的交流活動，大家自然會好奇詢問相關情況，因此丘誠桐猜想這件事也不是秘密。
不過在劉洋說完這句話後，便和旁邊的張俊東一起陷入沉默。
丘誠桐猜想自然不是他們能接觸的，但作為提出者的丘誠桐教授幾十年都沒證明，單想想便清楚其中的難度會有多高。
心裏難免為徐源捏了把汗，想證明著實不容易。
而對於劉洋張俊東他們兩人的談話，徐源坐在前排自然全部聽進耳中。
他自然也清楚此問題的難度，不管怎麽說都屬於卡拉比猜想。
之前他解決無窮多個卡邁克爾數間隔問題，和蒙日安培方程解的整體光滑性，這些都隻涉及數論和偏微分方程數學分支，從某種程度上來說並不算太過複雜。
但丘誠桐猜想完全不同。
丘誠桐教授把第一陳類為正的卡拉比猜想，轉化為代數幾何的穩定性問題。
這裏麵便涉及到了代數幾何微分幾何，以及多複變函數和度量幾何等多個數學分支。
單單把這些數學分支方法結合，都是相當大的難度挑戰。
更不要說再進行創新。
況且此猜想還涉及高維空間的弦理論，更是理論物理學家推演的問題。
眼下卻要靠數學計算，確實不易。
否則以丘誠桐證明第一陳類為負為零的卡拉比猜想基礎早就能解決所謂代數幾何穩定性問題。
憑借這些年丘誠桐教授的研究成果，才讓證明進度推進到百分之三十。
並且後麵都沒有任何增長。
相比較前兩個解決的數學難題，複雜性直線上漲。
徐源清楚這些接受這些，卻並未被打擊到自信心產生放棄的念頭。
反正他現在還很年輕且有天賦，大不了慢慢研究嚐試證明。
他相信總有將其解決的時候。
說不定哪天靈感爆發，甚至在很短時間內便能解決掉這個問題。
……
路上行程非常順利，天不黑徐源等人便安全返迴到箐華大學。
而徐源和劉洋剛到寢室，正打算和李振亞王海濤他們分享這幾天的事，徐源卻突然接到了唐時宏的電話讓他去辦公室一趟。
想著可能是和這次交流活動有關，他倒也沒有過多耽擱時間。
和大家說了句便匆匆往教授辦公室趕。
很快輕車熟路來到房門前，抬手才敲了兩下便聽見裏麵傳來熟悉聲音。
“請進。”
徐源推門進去便問道：“導師讓我過來是有事嗎？”
“沒什麽大事。”
“先坐吧。”
唐時宏看到徐源過來，連忙招唿其坐下。
然後才詢問起此次交流的成果。
“跟著丘教授學習了幾天，收獲怎麽樣？”
“收獲很大。”
徐源聞言如實迴應：“尤其是掌握了很多個數學分支的方法。”
“不虛此行就好。”唐時宏點點頭。
話音剛落接著又拋出一個新的問題：“對解決丘誠桐猜想你有多大把握？”
對於唐時宏也知道這件事，徐源並不覺得意外。
稍微頓了下組織好語言，這才開口緩緩講起關於丘誠桐猜想的事。
“代數幾何的穩定性問題涉及的數學分支較多，想徹底解決確實不太容易，不過丘教授跟我講解了他的研究經驗和一些思路，所以我想要試一試。”
“這樣的話你自己看著來就好，不過倒也不用給自己太大壓力。”
唐時宏聽完這番話稍微囑咐了句，倒沒有像之前畢業論文那樣提出反對意見。
自從徐源在畢業論文中證明蒙日安培方程解的光滑性問題展露自身天賦，唐時宏心裏便對徐源多了一份莫名的信任。
哪怕知道丘誠桐猜想的難度，依舊願意相信徐源能夠完成證明。
下秒唐時宏又想到什麽開口說：“另外楊老也很看好你解決丘誠桐猜想。”
“楊老也知道了？”徐源略顯驚訝。
沒想到自己才剛從香江那邊迴來，感覺全校人好像都知道他要挑戰丘誠桐猜想了。
以前他證明卡邁克爾數和蒙日安培方程相關問題的時候別人都不知道，論文發出後才引起學界的關注被授予數學王子的美譽。
如今那麽多人知道他正在研究丘誠桐猜想，這要是證明不出來可就丟麵子了。
而對此唐時宏也沒賣關子，隨即便把詳細情況全部告知了徐源。
聽完後徐源則是哭笑不得，不知道該說什麽好。
原來楊老一直有意邀請丘誠桐加入箐華，成為箐華高等研究院永久成員，負責數學科學院的相關工作。
不過這件事暫時沒有促成。
此次他嚐試證明丘誠桐猜想，如果真能成功的話便可以說服丘誠桐加入箐華。
因此楊老對他也很看好。
弄清楚前因後果，徐源也能感受到自己身上的壓力又多了很多。
眼下看來那是說什麽都要完成證明了。
“放心吧導師，我會盡自己最大努力去研究的。”
最終徐源站起身表明態度，丟下這句話後便也不再過多逗留，隨即便拉開辦公室房門邁步離開。
唐時宏則望著徐源，直到其背影徹底從視野中消失才收迴目光。
良久搖頭歎了口氣。
“有這種自信對他來說也不知道是好事還是壞事。”
徐源身上時刻擁有的自信是他最滿意的，甚至都還非常羨慕。
但在這種自信下，若始終證明不出丘誠桐猜想，則說不定會出現反效果。
整個人的自信心被打擊到。
要知道徐源憑借自身的數學天賦，接觸數學以來還從未受過什麽挫折。
不過現在局麵已經沒法改變，那也隻能希望於徐源可以完成證明。
——
時間如同白駒過隙轉瞬即逝。
很快來到六月底。
徐源從香江迴來到現在已經過去兩個月，期間他的時間也都安排的很滿。
除了繼續學習新的知識上課，餘下時間便泡在討論室研究丘誠桐猜想，期間他也沒少和丘誠桐教授發郵件請教存在疑問的地方。
可惜兩個月的時間進度條愣是沒有任何增長。
依舊保持在百分之三十。
他雖然嚐試了不少創新方法，但每次代入演算進度條都會出現下降。
說明他的這些方法存在錯誤，或者無法用來證明丘誠桐猜想。
而這倒是幫他節省了很多時間。
可以不斷進行試錯。
因為如果是正常情況下，想要判斷提出的方法能否對結果有效，還需代入演算並進行驗證才行。
這整個流程進行下來，不知道浪費了多少時間。
好在陳雨然時不時會過來陪著他一起學習，並在合適的時機進行鼓勵，所以盡管進度沒有增長他的鬥誌卻越來越激昂。
暗自和這個猜想較上了勁，說什麽都要將其給徹底解決掉。
為卡拉比猜想畫上這個來自三十年後的句號。
這天上午數學科學院討論室內，徐源拿起桌子上的草稿紙微微皺著眉頭。
“果然還是不行嗎？”
自顧自低喃一句，隨即揉了揉扔進垃圾桶裏。
他嚐試用偏微分方程的方式求解，奈何麵板上的進度條依舊出現了大幅度下降。
說明此方法是錯誤的。
到現在他可以確定想借助偏微分方程，是無法解決第一陳類為正的卡拉比猜想，還是要從微分幾何多複變函數上找思路。
本來他是覺得既然丘誠桐教授能通過幾何中的曲率概念求解偏微分方程，從而證明第一陳類為負為零這兩種卡拉比猜想情況，那或許也可以用此方法解決第一陳類為正時的卡拉比猜想情況。
無非進行適當的創新，或者在原有基礎上優化。
不過他連續多次嚐試都得到了錯誤的結果，說明此方法在第一陳類為正時行不通。
怪不得當初丘誠桐教授僅解決了第一陳類為負為零時的兩種情況。
或許是連續兩個月每天都在研究此猜想，徐源明顯能感覺到自己思維開始有些僵化。
很難在碰撞出巧妙的靈感思路。
想著應該找點其他東西研究下換換腦子，說不定能起到事半功倍的效果。
他記得自己先前證明蒙日安培方程相關問題，正是被齊同祥教授邀請去科大擔任評委講課，這才誕生出新的思路讓進度條大幅度增長。
徐源想到這些，暗自思索之際嘴裏也忍不住嘀咕。
“難道還要舉行公開課，在課上講丘誠桐猜想，怕是沒多少人感興趣吧。”
這時正當他猶豫著要不要向院裏申請時，口袋裏突然響起的手機鈴聲將他思路打斷。
隨手掏出手機朝那快小屏幕看去，頓時便看到唐教授的名字出現在上麵。
見此雖然不知道唐教授有什麽事情，他也不敢耽擱連忙按下接聽鍵。
剛把手機放到耳邊，便聽見一道熟悉聲音從手機聽筒中傳出來。
“徐源你現在空閑嗎？”
“我沒什麽事。”徐源毫不猶豫迴答。
唐時宏：“那到我這裏來一下，有件事和你說。”
“好的導師。”
徐源自然沒想太多，應了聲掛斷電話便動身前往唐時宏辦公室所在的綜合實驗樓。
……
剛進唐教授的辦公室，他發現不止是唐教授在，旁邊沙發上還坐著計院的姚啟智教授。
腦海裏不由得冒出一個念頭。
“難道唐教授電話裏說的事情，是和計院有關。”
他雖然沒有聽過姚啟智教授的課，但對這位大佬卻絲毫不陌生。
對方去年受楊老邀請放棄海外的工作，正式加入箐華高等研究院擔任全職教授，負責計算機專業班的授課和相關項目研究。
並且對方還是唯一獲得圖靈獎的華人學者，在國際上享有較高權威。
“還站在門口做什麽，快進來坐。”唐時宏看著站在門口的徐源，停下手上動作笑著問：“最近關於丘誠桐猜想研究的怎麽樣了？”
“暫時還沒什麽頭緒……”
徐源笑著迴答了唐時宏的問題，並禮貌性和姚啟智教授打了聲招唿，這才乖巧坐到沙發上麵。
姚啟智笑嗬嗬的問：“敢去證明這種數學難題，單是勇氣就可嘉。”
徐源謙虛了句：“我也就是想試試。”
他這句話可一點沒說錯，別管是什麽難度的數學猜想總要去嚐試證明。
否則如何知道自己不行。
就算失敗了，對於數學家那也不叫事。
“導師您突然找我過來是有什麽要緊的事嗎？”徐源及時岔開話題。
聞言唐時宏並沒有直接把事情說出來，反倒是先拋出了一個問題。
“今年暑假你有什麽打算？”
“暑假我準備留校。”徐源想了想說：“丘誠桐猜想還需要時間研究。”
暑假過後他便是正式的理學博士在讀生，除了眼下手上的丘誠桐猜想問題，還有其他學業上的事情需要想辦法處理。
相比較迴家研究，無疑還是待在學校裏麵更方便。
關於這件事他也已經給家裏打了電話，父母都表示非常支持。
另外姐姐徐瑩開學後便是大四，也麵臨著實習和找工作的問題。
不過這件事他聯係了省城廬陽一中的張玉輝，準備以後讓姐姐去省高中當老師。
起碼方便穩定。
而正當徐源想著這些時，唐時宏和旁邊的姚啟智兩人臉上也都浮現出笑容，似乎對這個答案感到很滿意。
接著便又繼續往下講具體的情況。
“這次其實不是我找伱。”唐時宏搖搖頭說：“姚教授那最近在研究機器學習，你證明的最優傳輸理論蒙日安培方程剛好能在算法上發揮作用，所以姚教授想邀請你暑假加入此項目，負責解決算法函數和概率高斯分布等數學內容。”
將唐時宏的話悉數聽進耳中，徐源這才明白是怎麽迴事。
首先機器學習算法他肯定不陌生，近幾年國內研究的團隊也逐漸多起來。
機器學習作為人工智能的核心組成部分，能夠在圖像處理工程應用等多領域起到作用。
他除了在數學上取得顯著成績外，所研究的蒙日安培方程最優理論更是機器學習中的重要部分，所以姚啟智找他幫忙倒也合理。
“最優傳輸理論是連接幾何和概率的橋梁，它用幾何的方法為概率分布的建模和衡量概率分布之間的距離提供了強有力的工具。”
“可以說最優傳輸理論為機器學習原理的解釋提供了新視角。”
“為機器學習的算法改進提供了新的指導方向。”
“聽到唐教授說推薦你過來幫忙，我可是高興的不行恨不得趕緊把你要走。”
姚啟智這時也沒沉默，眉飛色舞的說著，話裏話外都流露出對徐源的稱讚。
聞聲唐時宏臉上笑容也是更盛：“徐源確實是我們數學科學院最合適人選。”
被姚教授這麽誇獎，徐源心裏高興歸高興，但還是準備謙虛兩句。
不過他還沒來得及開口，耳旁頓時又傳來唐時宏的聲音。
“我知道你最近重心都在丘誠桐猜想研究上，所以究竟要不要去你自己拿主意。”
“這個項目不會持續太長時間，關於算法程序有幾個博士生負責，你隻需要在底層邏輯數學上給予支持。”姚啟智擔心徐源拒絕也忙補充說明。
徐源對機器學習算法的研究改進並不覺得難，對他而言算是比較輕鬆的項目。
況且還隻需要負責數學方麵就好。
剛巧他最近對丘誠桐猜想的研究沒有思路，去計院幫忙換下腦子也很不錯。
再說最優傳輸理論本就是連接幾何和概率，對他研究幾何問題同樣能起到幫助，說不定碰撞出靈感能夠找到攻克丘誠桐猜想的方法。
念頭停留在這裏，徐源沒有任何遲疑，當即向姚啟智教授告知了自己的決定。
“我願意去。”
姚啟智聽到這個迴答臉上頓時堆滿笑容。
“太好了。”
“擇日不如撞日，那就今天過去剛好熟悉下地方。”
說著直接便從沙發上站起來，還不忘用打趣的口味和唐時宏說了句。
“今天耽誤你這麽長時間我就不打擾了，至於你的這位寶貝學生我就借走了。”
“姚教授不用這麽客氣。”唐時宏笑嗬嗬說。
……
徐源本來也沒什麽事，便索性跟著姚啟智一起前往計院項目地點。
講起來這還是徐源第一迴來計院，目光四周打量上去環境和數學係那邊沒啥區別，倒是路上遇到女生的數量要稍微多上些。
雖比不過新聞係那邊，但絕對能吊打數學科學院。
畢竟最近幾年計算機專業很是火熱，報考的人員數量也比較多。
“以前來過這裏嗎？”
這時姚啟智隨便找了個話題詢問，想讓氛圍不那麽枯燥尷尬。
徐源聞言則如實迴答：“不瞞姚教授你說，這還是我頭迴來計院這邊。”
“等你加入這個項目來的次數就多了，真正說起來我還沒有你待在箐華的時間長。”姚啟智如長輩一樣和徐源往下說著，話語中還不忘夾雜著幽默。
而他這話也的確沒有講錯，畢竟對方去年才受邀加入箐華擔任全職教授。
算算時間自然不如徐源在箐華待的時間久。
當然這也僅僅是一個小插曲，很快兩人便來到計院網絡技術研究所。
“咱們到了。”
隨著姚啟智提醒一句，徐源跟著對方走進裏麵，發現內部和教學樓並無什麽區別。
隻不過房間裏麵擺放的都是電腦。
姚啟智把徐源帶到其中一個房間後，找來一位戴著副黑框眼鏡身材瘦高的博士生。
“小郭。”
“這位是數學係的徐源，接下來負責數學上的內容配合你們改進算法，先帶他熟悉熟悉環境和其他成員。”
“好的姚教授。”郭誌航笑了笑迴答。
姚啟智把徐源托付給郭誌航，便暫時先離開這裏。
郭誌航習慣性的推了下鼻梁上的眼鏡，然後主動伸出手熱情介紹。
“我叫郭誌航，你要是不介意的話喊我郭師兄就行。”
“徐源。”
徐源笑著握住手：“郭師兄。”
“到了這裏千萬別客氣，我們幾個可是早就聽說你的名字。”
“你可是咱們箐華的名人。”
“沒想到姚教授居然把你找了過來，這次我們的機器學習算法肯定改進。”
郭誌航表現的非常熱情，盡管是和徐源首次見麵卻愣是感覺不到生分，不知道的恐怕還以為是多年的同學關係呢。
徐源收迴手後則是有些詫異，沒想到自己的名字都已經在計院傳開了。
但對方畢竟是比他高屆的博士生，所以徐源還是選擇稍微謙虛了句，儼然把自己當成新人並沒有擺什麽數學成績上的架子。
“郭師兄謬讚了，隻要能幫到你們就行。”
“我來給你介紹另外幾個人。”郭誌航聽到這句話臉上笑容更加燦爛的說。
話音剛落便拽著徐源朝不遠處已經站起身的幾個人走過去。
“這位是朱閩豐，你叫他朱師兄就行，他和我一樣也是博士生。”
“朱師兄。”徐源伸手和對方握了下。
朱閩豐顯然也對徐源不陌生，這點單從臉上流露出的激動神情便能看出來。
“那個徐師弟，你對最優傳輸蒙日安培方程解的光滑性證明論文我前不久剛拜讀過，裏麵無論是證明方法還是過程都堪稱是精妙絕倫。”
“本來我還以為你沒有時間呢，沒想到姚教授真把你找了過來。”
聽完朱閩豐的這番話，徐源也不由得有些好奇。
接著便隨口問了句：“朱師兄還研究偏微分方程？”
“我本科和碩士讀的是數學。”朱閩豐麵對詢問笑著迴答道。
徐源恍然大悟：“原來是這樣。”
而除了郭誌航和朱閩豐這兩位博士生外，整個團隊裏還有另外兩個研究生。
分別是一男一女。
互相介紹完後，他們也喊了徐源聲徐師兄。
之後的時間郭誌航則具體介紹他們的項目情況，以及目前的研究進度。
在姚啟智教授的指導下，他們幾個人使用生成對抗網絡的方法初步完成了機器學習算法，但算法性能評估出的結果非常差勁。
遠遠達不到預期的目標。
本來他們的想法是研究出性能高於目前水平的機器學習算法，結題後以論文形式申請國家基金扶持，然後進行更深層次的研究。從機器學習的實際應用到人工智能的方向研究，可以說有著長遠的目標。
不過單憑他們現有的算法性能肯定拿不到國家基金項目的扶持。
所以基本也就把希望放在了徐源身上，想通過對數學函數公式方麵的優化，實現對算法性能的改進。
徐源先前隻參與過哈希函數密碼算法，對機器學習算法倒是有種新鮮感。
剛被安排到一台高配置的電腦座位前後，便忍不住摩拳擦掌，迫不及待想要開始自己的工作。
“徐師弟。”
郭誌航這時則又走過來，手中還捏著一個u盤。
“這是我們的機器學習算法中的資料信息，對你優化數學公式有幫助。”
“好的，我先研究下。”徐源伸手將u盤接過點頭說。
而做完這件事郭誌航卻並沒有離開，反倒是又拋出了一個問題。
“對了徐師弟，關於計算機語言和建模你會嗎？”
徐源聽到對方是詢問這個，臉上則頓時浮現出一抹神秘表情，嘴角微微上揚噙著笑容吐出兩個字。
“略懂。”
先不說他討論室裏就有電腦平時沒少研究，前世的計算機水平那也不是吃素的。
絲毫不誇張的講，哪怕讓他自己一個人把整個機器學習算法全負責都沒有問題，無非是完成的進度上會多花費點時間。
“徐師弟隻是負責數學方麵的內容，計算機上的稍微知道一點就行。”郭誌航接過話茬迴應：“還有那個數學函數公式和建模不用太著急，徐師弟你慢慢來就行，有問題隨時和我們溝通。”
“我知道了郭師兄。”徐源聞言點點頭說。
但話雖然是這樣講，不過徐源卻清楚郭誌航和朱閩豐他們肯定是比較著急的。
畢竟新的邏輯公式和建模沒有搞出來前，他們也不好對算法進行改進。
也就是說要等徐源完成自己的任務後，他們才能接著展開後續的工作，主要既然邀請了徐源參與項目，那肯定不能再繼續使用先前的建模。
再說之前的模型評估出那麽低的性能，從某種意義上來說是已經失敗。
與其在其基礎上進行優化，還不如推到重來。
而事實上徐源的做法也的確如此，他在看完u盤中的資料信息後，眉頭也可謂是緊皺沒想到裏麵確實存在很多問題。
起碼郭誌航等人使用的算法公式模型，他大致一看便能給出更好的選擇。
怪不得算法評估出來的性能會如此差勁。
經過研究思索後，徐源決定采用一種組合神經網絡作為算法的框架。
其原理是可以把每個神經網絡模塊看做機器的某個大腦，那麽此算法主要通過大腦之間對抗，讓每個大腦都變的聰明。
而聰明就是每個神經網絡模塊，都調整到使得全係統能夠完成指定的任務。
比如圖像處理語音識別等。
對於這個自動化模型，最關鍵的便是輸入和反饋以及整體表現。
因為輸入機製是隨機分布，不同於以往的輸入是帶標記的數據，這就意味此算法是無監督學習產物，這是邁入深度學習的最難最實用的一塊領域。
徐源相信此機器學習算法完成後，會讓國內對機器學習的研究處於領先地位。
但由於模型中涉及到損失函數，且需要用數學化的最優傳輸框架代替神經網絡，所以在計算上要花費一定的時間去完成。
……
就這樣。
徐源正式加入計院的機器學習項目後，白天都會去計院研究所那邊構造模型。
晚上則迴討論室尋找新的證明方法。
其生活狀態倒也能稱得上規律。
轉眼進入到七月，隨著暑假到來學校放假，校園內的人員數量一下子少了很多。
不過這並未對徐源造成什麽影響，經過大半個月的努力總算完成模型。
其表達式整體還是屬於最優解。
隻是當郭誌航和朱閩豐等人聽到這個消息後，瞬間便瞪大了眼睛，完全沒有想到徐源居然這麽快就完成了算法模型。
2005年7月19日，周二，計院網絡技術研究所。
“徐師弟你沒有和我們開玩笑，算法公式和模型真的已經全部弄完了？”
項目辦公室內郭誌航接過徐源遞來的u盤，臉上依舊充斥著不可置信，忍不住再三開口追問。
主要這和他們認知的情況完全不同，記得剛開始他們進行這項工作時可足足花費了幾個月的時間，哪像徐源大半個月便全部搞定。
旁邊的朱閩豐擔心這麽趕出來的模型性能不行，略作遲疑還是補充了句。
“要不徐師弟在優化優化，我們這邊不著急。”
後麵站著的那兩位研究生，這時候雖然沒有開口說話卻也猛點著頭。
將郭誌航和朱閩豐兩人的話悉數聽進耳中，徐源對此也是哭笑不得，心想自己效率太快竟也成了問題。
但這事卻也不能怪他，畢竟進入深度學習狀態後效率本來就會大幅度提高，加上晚上他研究丘誠桐猜想的證明方法沒有頭緒，便又會把計院的項目拿出來完成。
所以暑假才剛開始，他便已經把自己任務完成了。
倒不是說他太過自信，但對於自己完成的作品他還是比較放心的。
根本不需要再優化什麽。
起碼在現階段機器學習的研究中，其算法性能絕對能稱得上是領先水平。
於是他隻好再次確認道：“兩位師兄放心，能不能達到要求等算法出來評估一下性能就行。”
郭誌航和朱閩豐兩人聽到徐源這麽說，臉上神情略作遲疑後最終隻得答應下來。
畢竟是他們邀請的徐源幫忙，這時候拿到了結果還沒驗證確實無從質疑，反正就算最終評估出的性能依舊達不到要求，也隻是浪費這些時間而已尚能接受。
“那好吧。”
朱閩豐說了這麽一句，然後麵向另外三人沉聲吐出兩個字。
“開工。”
話落便齊齊迴到自己的電腦位上，開始根據徐源的模型完成算法程序。
原本徐源還想幫忙編程，結果卻被朱閩豐和郭誌航義正言辭拒絕。
顯然是不相信他的計算機專業水平。
對此徐源倒也沒有生氣，埋頭繼續研究關於解決代數幾何穩定性的問題。
這半個月幫忙計院的項目，他的思維發散之下隱隱有了點那麽思路，可始終無法真正抓到重心，如此情況讓人不免有些煩躁。
好在徐源心境上沒什麽問題，隻是邊學習提升自己邊研究數學分支方法，並沒有強求對丘誠桐猜想證明。
就這樣隨著時間一天天過去，在郭誌航和朱閩豐以及另外兩名研究生的努力下，總算正式完成了徐源以最優傳輸框架代替神經網絡的機器學習算法。
到了這一步便僅剩下對算法性能的評估，以此確定算法的整體水平。
為此算法性能評估當天，除了徐源在現場外郭誌航他們還特意把姚啟智喊了過來一同評估。
盡管大家對徐源的驚人效率有所擔心，可投入這麽多心血和精力自然是抱著濃濃期待，希望評估出的性能可以達到預期。
……
“徐源你之前有研究過機器學習這方麵的內容嗎？”
這天上午在郭誌航他們對算法評估時，姚啟智卻把注意力完全放在徐源身上，絲毫沒有掩飾臉上的欣喜。
他自然是看了徐源完成的公式模型，當時便被其中先進的理念所吸引，沒想到能夠使用數學化的最優傳輸框架來代替神經網絡。
因為區別於當下主流的機器學習算法，郭誌航他們存在疑問實屬正常。
可他卻覺得此算法所評估出的性能數值，恐怕會給大家帶來一個巨大的驚喜。
徐源麵對詢問倒是沒想太多，搖搖頭迴答：“隻涉獵過哈希函數算法。”
……
丘誠桐也確實希望徐源能彌補這個遺憾，將自己這些年相關的研究悉數傳授。
平時徐源遇到複雜棘手的難題，同樣會耐心講解。
儼然將之當成了自己的學生。
而他越是和徐源接觸下來，越能感受到徐源在數學上的恐怖天賦。
每次他隻需要稍加指導點撥，徐源便能融會貫通甚至舉一反三，這種數學天賦可以說連他都感到羨慕。
不過這也恰恰證明，他的決定並沒有錯。
隻要徐源堅持研究下去，或許真能為卡拉比猜想畫上圓滿的句號。
轉眼來到周末。
為期一周的交流活動接近尾聲。
2005年4月17日，周日，香江中文大學數學科學研究所。
辦公室內徐源坐在側邊桌子旁，麵前堆著的滿是資料和寫滿數學公式的手稿，不過此刻他的神情卻顯得凝重微微皺著眉頭。
良久他從深度學習狀態中脫離出來，在麵板消散前又看了眼進度條緩緩籲了口氣。
——
任務：丘誠桐猜想證明
學科：數學
進度：30%
結果：未完成
“果然不愧是困擾了丘教授幾十年的問題，想證明這個猜想不容易啊。”
這幾天時間他瘋狂吸收著各種相關知識，掌握了很多數學分支的方法，但都無法證明第一陳類為正時的丘誠桐猜想。
根據以往解決數學難題的經驗判斷，必須要對多種方法創新才行。
不過如果丘誠桐知道短短幾天便把猜想證明推進到百分之三十的進度，那肯定會感到非常不可思議，盡管這主要還是依靠他的研究成果。
畢竟距離他解決第一陳類為負為零的卡拉比猜想已經過去三十年。
正當徐源想著這些時，隻見丘誠桐推門從外麵進來主動和他打招唿。
“今天有什麽收獲嗎？”
徐源聞言連忙站起身把頭扭過去，臉上有些尷尬的迴答。
“暫時沒有突破性的進展，想把微分幾何和代數幾何以及多複變函數等數學分支方法結合用於證明，難度遠比我想象的難。”
“慢慢來。”
“想解決數學難題哪有一口吃成胖子吧，有時候研究幾年都正常。”
“不急。”
丘誠桐擺手安撫著徐源。
這些天徐源的表現已經大幅度超過他的預期，對於自己這個學生他非常看好。
隨即走到自己辦公桌旁坐下時，他又想到了什麽開口拋出一句。
“明天你們是不是就要迴去了？”
“是的丘教授，我們廖主任已經安排好行程。”徐源麵對詢問如實迴答。
從心裏來說丘誠桐肯定不希望徐源離開，但徐源畢竟不是中文大學數學係的學生，總不能強行把人留下來不放人迴去。
於是歎了口氣然後囑咐道：“你把這些資料手稿書籍也都帶迴去，有疑問可以隨時給我發郵件。”
“丘教授放心，我不會放棄證明這個猜想的。”徐源點點頭保證。
接下來兩人又針對數學方法進行討論，不知不覺間時間便悄然過去。
第二天。
中文大學這邊特意舉行歡送儀式。
在一片歡送聲中，徐源等人乘車前往機場，準備返迴箐華大學。
此刻車內能看到大家也都掛著喜悅笑容，顯然是此行收獲都不小。
雖說首場丘誠桐的講座難度高些，但後麵都屬於正常水平確實學到了很多東西。
尤其張俊東更是確定了自己畢業論文選題。
眼下他可以說是信心滿滿，巴不得立刻迴到學校開始撰寫。
“這次交流確實沒白來，讓我有種豁然開朗的感覺直接就確定了畢業論文，現在對論文我可謂是信心滿滿。”
“那就先提前祝賀學長完成畢業論文。”劉洋聽著旁邊張俊東的話不忘附和。
長達一周的時間相處下來，兩人之間的關係也變得更加熟絡。
因為徐源每天都不參加交流活動，劉洋便都和張俊東結伴聽講座互相交流。
張俊東聽到這話心裏感到高興的同時，目光也不忘向坐在前麵的徐源看去。
“這次收獲最多的應該還是徐神，畢竟那可是丘教授每天親自授課，哪怕博士都沒有這種頂格待遇。”
“好像丘教授是想讓源哥證明丘誠桐猜想。”劉洋想到什麽迴了句。
徐源沒有參加後麵幾天的交流活動，大家自然會好奇詢問相關情況，因此丘誠桐猜想這件事也不是秘密。
不過在劉洋說完這句話後，便和旁邊的張俊東一起陷入沉默。
丘誠桐猜想自然不是他們能接觸的，但作為提出者的丘誠桐教授幾十年都沒證明，單想想便清楚其中的難度會有多高。
心裏難免為徐源捏了把汗，想證明著實不容易。
而對於劉洋張俊東他們兩人的談話，徐源坐在前排自然全部聽進耳中。
他自然也清楚此問題的難度，不管怎麽說都屬於卡拉比猜想。
之前他解決無窮多個卡邁克爾數間隔問題，和蒙日安培方程解的整體光滑性，這些都隻涉及數論和偏微分方程數學分支，從某種程度上來說並不算太過複雜。
但丘誠桐猜想完全不同。
丘誠桐教授把第一陳類為正的卡拉比猜想，轉化為代數幾何的穩定性問題。
這裏麵便涉及到了代數幾何微分幾何，以及多複變函數和度量幾何等多個數學分支。
單單把這些數學分支方法結合，都是相當大的難度挑戰。
更不要說再進行創新。
況且此猜想還涉及高維空間的弦理論，更是理論物理學家推演的問題。
眼下卻要靠數學計算，確實不易。
否則以丘誠桐證明第一陳類為負為零的卡拉比猜想基礎早就能解決所謂代數幾何穩定性問題。
憑借這些年丘誠桐教授的研究成果，才讓證明進度推進到百分之三十。
並且後麵都沒有任何增長。
相比較前兩個解決的數學難題，複雜性直線上漲。
徐源清楚這些接受這些，卻並未被打擊到自信心產生放棄的念頭。
反正他現在還很年輕且有天賦，大不了慢慢研究嚐試證明。
他相信總有將其解決的時候。
說不定哪天靈感爆發，甚至在很短時間內便能解決掉這個問題。
……
路上行程非常順利，天不黑徐源等人便安全返迴到箐華大學。
而徐源和劉洋剛到寢室，正打算和李振亞王海濤他們分享這幾天的事，徐源卻突然接到了唐時宏的電話讓他去辦公室一趟。
想著可能是和這次交流活動有關，他倒也沒有過多耽擱時間。
和大家說了句便匆匆往教授辦公室趕。
很快輕車熟路來到房門前，抬手才敲了兩下便聽見裏麵傳來熟悉聲音。
“請進。”
徐源推門進去便問道：“導師讓我過來是有事嗎？”
“沒什麽大事。”
“先坐吧。”
唐時宏看到徐源過來，連忙招唿其坐下。
然後才詢問起此次交流的成果。
“跟著丘教授學習了幾天，收獲怎麽樣？”
“收獲很大。”
徐源聞言如實迴應：“尤其是掌握了很多個數學分支的方法。”
“不虛此行就好。”唐時宏點點頭。
話音剛落接著又拋出一個新的問題：“對解決丘誠桐猜想你有多大把握？”
對於唐時宏也知道這件事，徐源並不覺得意外。
稍微頓了下組織好語言，這才開口緩緩講起關於丘誠桐猜想的事。
“代數幾何的穩定性問題涉及的數學分支較多，想徹底解決確實不太容易，不過丘教授跟我講解了他的研究經驗和一些思路，所以我想要試一試。”
“這樣的話你自己看著來就好，不過倒也不用給自己太大壓力。”
唐時宏聽完這番話稍微囑咐了句，倒沒有像之前畢業論文那樣提出反對意見。
自從徐源在畢業論文中證明蒙日安培方程解的光滑性問題展露自身天賦，唐時宏心裏便對徐源多了一份莫名的信任。
哪怕知道丘誠桐猜想的難度，依舊願意相信徐源能夠完成證明。
下秒唐時宏又想到什麽開口說：“另外楊老也很看好你解決丘誠桐猜想。”
“楊老也知道了？”徐源略顯驚訝。
沒想到自己才剛從香江那邊迴來，感覺全校人好像都知道他要挑戰丘誠桐猜想了。
以前他證明卡邁克爾數和蒙日安培方程相關問題的時候別人都不知道，論文發出後才引起學界的關注被授予數學王子的美譽。
如今那麽多人知道他正在研究丘誠桐猜想，這要是證明不出來可就丟麵子了。
而對此唐時宏也沒賣關子，隨即便把詳細情況全部告知了徐源。
聽完後徐源則是哭笑不得，不知道該說什麽好。
原來楊老一直有意邀請丘誠桐加入箐華，成為箐華高等研究院永久成員，負責數學科學院的相關工作。
不過這件事暫時沒有促成。
此次他嚐試證明丘誠桐猜想，如果真能成功的話便可以說服丘誠桐加入箐華。
因此楊老對他也很看好。
弄清楚前因後果，徐源也能感受到自己身上的壓力又多了很多。
眼下看來那是說什麽都要完成證明了。
“放心吧導師，我會盡自己最大努力去研究的。”
最終徐源站起身表明態度，丟下這句話後便也不再過多逗留，隨即便拉開辦公室房門邁步離開。
唐時宏則望著徐源，直到其背影徹底從視野中消失才收迴目光。
良久搖頭歎了口氣。
“有這種自信對他來說也不知道是好事還是壞事。”
徐源身上時刻擁有的自信是他最滿意的，甚至都還非常羨慕。
但在這種自信下，若始終證明不出丘誠桐猜想，則說不定會出現反效果。
整個人的自信心被打擊到。
要知道徐源憑借自身的數學天賦，接觸數學以來還從未受過什麽挫折。
不過現在局麵已經沒法改變，那也隻能希望於徐源可以完成證明。
——
時間如同白駒過隙轉瞬即逝。
很快來到六月底。
徐源從香江迴來到現在已經過去兩個月，期間他的時間也都安排的很滿。
除了繼續學習新的知識上課，餘下時間便泡在討論室研究丘誠桐猜想，期間他也沒少和丘誠桐教授發郵件請教存在疑問的地方。
可惜兩個月的時間進度條愣是沒有任何增長。
依舊保持在百分之三十。
他雖然嚐試了不少創新方法，但每次代入演算進度條都會出現下降。
說明他的這些方法存在錯誤，或者無法用來證明丘誠桐猜想。
而這倒是幫他節省了很多時間。
可以不斷進行試錯。
因為如果是正常情況下，想要判斷提出的方法能否對結果有效，還需代入演算並進行驗證才行。
這整個流程進行下來，不知道浪費了多少時間。
好在陳雨然時不時會過來陪著他一起學習，並在合適的時機進行鼓勵，所以盡管進度沒有增長他的鬥誌卻越來越激昂。
暗自和這個猜想較上了勁，說什麽都要將其給徹底解決掉。
為卡拉比猜想畫上這個來自三十年後的句號。
這天上午數學科學院討論室內，徐源拿起桌子上的草稿紙微微皺著眉頭。
“果然還是不行嗎？”
自顧自低喃一句，隨即揉了揉扔進垃圾桶裏。
他嚐試用偏微分方程的方式求解，奈何麵板上的進度條依舊出現了大幅度下降。
說明此方法是錯誤的。
到現在他可以確定想借助偏微分方程，是無法解決第一陳類為正的卡拉比猜想，還是要從微分幾何多複變函數上找思路。
本來他是覺得既然丘誠桐教授能通過幾何中的曲率概念求解偏微分方程，從而證明第一陳類為負為零這兩種卡拉比猜想情況，那或許也可以用此方法解決第一陳類為正時的卡拉比猜想情況。
無非進行適當的創新，或者在原有基礎上優化。
不過他連續多次嚐試都得到了錯誤的結果，說明此方法在第一陳類為正時行不通。
怪不得當初丘誠桐教授僅解決了第一陳類為負為零時的兩種情況。
或許是連續兩個月每天都在研究此猜想，徐源明顯能感覺到自己思維開始有些僵化。
很難在碰撞出巧妙的靈感思路。
想著應該找點其他東西研究下換換腦子，說不定能起到事半功倍的效果。
他記得自己先前證明蒙日安培方程相關問題，正是被齊同祥教授邀請去科大擔任評委講課，這才誕生出新的思路讓進度條大幅度增長。
徐源想到這些，暗自思索之際嘴裏也忍不住嘀咕。
“難道還要舉行公開課，在課上講丘誠桐猜想，怕是沒多少人感興趣吧。”
這時正當他猶豫著要不要向院裏申請時，口袋裏突然響起的手機鈴聲將他思路打斷。
隨手掏出手機朝那快小屏幕看去，頓時便看到唐教授的名字出現在上麵。
見此雖然不知道唐教授有什麽事情，他也不敢耽擱連忙按下接聽鍵。
剛把手機放到耳邊，便聽見一道熟悉聲音從手機聽筒中傳出來。
“徐源你現在空閑嗎？”
“我沒什麽事。”徐源毫不猶豫迴答。
唐時宏：“那到我這裏來一下，有件事和你說。”
“好的導師。”
徐源自然沒想太多，應了聲掛斷電話便動身前往唐時宏辦公室所在的綜合實驗樓。
……
剛進唐教授的辦公室，他發現不止是唐教授在，旁邊沙發上還坐著計院的姚啟智教授。
腦海裏不由得冒出一個念頭。
“難道唐教授電話裏說的事情，是和計院有關。”
他雖然沒有聽過姚啟智教授的課，但對這位大佬卻絲毫不陌生。
對方去年受楊老邀請放棄海外的工作，正式加入箐華高等研究院擔任全職教授，負責計算機專業班的授課和相關項目研究。
並且對方還是唯一獲得圖靈獎的華人學者，在國際上享有較高權威。
“還站在門口做什麽，快進來坐。”唐時宏看著站在門口的徐源，停下手上動作笑著問：“最近關於丘誠桐猜想研究的怎麽樣了？”
“暫時還沒什麽頭緒……”
徐源笑著迴答了唐時宏的問題，並禮貌性和姚啟智教授打了聲招唿，這才乖巧坐到沙發上麵。
姚啟智笑嗬嗬的問：“敢去證明這種數學難題，單是勇氣就可嘉。”
徐源謙虛了句：“我也就是想試試。”
他這句話可一點沒說錯，別管是什麽難度的數學猜想總要去嚐試證明。
否則如何知道自己不行。
就算失敗了，對於數學家那也不叫事。
“導師您突然找我過來是有什麽要緊的事嗎？”徐源及時岔開話題。
聞言唐時宏並沒有直接把事情說出來，反倒是先拋出了一個問題。
“今年暑假你有什麽打算？”
“暑假我準備留校。”徐源想了想說：“丘誠桐猜想還需要時間研究。”
暑假過後他便是正式的理學博士在讀生，除了眼下手上的丘誠桐猜想問題，還有其他學業上的事情需要想辦法處理。
相比較迴家研究，無疑還是待在學校裏麵更方便。
關於這件事他也已經給家裏打了電話，父母都表示非常支持。
另外姐姐徐瑩開學後便是大四，也麵臨著實習和找工作的問題。
不過這件事他聯係了省城廬陽一中的張玉輝，準備以後讓姐姐去省高中當老師。
起碼方便穩定。
而正當徐源想著這些時，唐時宏和旁邊的姚啟智兩人臉上也都浮現出笑容，似乎對這個答案感到很滿意。
接著便又繼續往下講具體的情況。
“這次其實不是我找伱。”唐時宏搖搖頭說：“姚教授那最近在研究機器學習，你證明的最優傳輸理論蒙日安培方程剛好能在算法上發揮作用，所以姚教授想邀請你暑假加入此項目，負責解決算法函數和概率高斯分布等數學內容。”
將唐時宏的話悉數聽進耳中，徐源這才明白是怎麽迴事。
首先機器學習算法他肯定不陌生，近幾年國內研究的團隊也逐漸多起來。
機器學習作為人工智能的核心組成部分，能夠在圖像處理工程應用等多領域起到作用。
他除了在數學上取得顯著成績外，所研究的蒙日安培方程最優理論更是機器學習中的重要部分，所以姚啟智找他幫忙倒也合理。
“最優傳輸理論是連接幾何和概率的橋梁，它用幾何的方法為概率分布的建模和衡量概率分布之間的距離提供了強有力的工具。”
“可以說最優傳輸理論為機器學習原理的解釋提供了新視角。”
“為機器學習的算法改進提供了新的指導方向。”
“聽到唐教授說推薦你過來幫忙，我可是高興的不行恨不得趕緊把你要走。”
姚啟智這時也沒沉默，眉飛色舞的說著，話裏話外都流露出對徐源的稱讚。
聞聲唐時宏臉上笑容也是更盛：“徐源確實是我們數學科學院最合適人選。”
被姚教授這麽誇獎，徐源心裏高興歸高興，但還是準備謙虛兩句。
不過他還沒來得及開口，耳旁頓時又傳來唐時宏的聲音。
“我知道你最近重心都在丘誠桐猜想研究上，所以究竟要不要去你自己拿主意。”
“這個項目不會持續太長時間，關於算法程序有幾個博士生負責，你隻需要在底層邏輯數學上給予支持。”姚啟智擔心徐源拒絕也忙補充說明。
徐源對機器學習算法的研究改進並不覺得難，對他而言算是比較輕鬆的項目。
況且還隻需要負責數學方麵就好。
剛巧他最近對丘誠桐猜想的研究沒有思路，去計院幫忙換下腦子也很不錯。
再說最優傳輸理論本就是連接幾何和概率，對他研究幾何問題同樣能起到幫助，說不定碰撞出靈感能夠找到攻克丘誠桐猜想的方法。
念頭停留在這裏，徐源沒有任何遲疑，當即向姚啟智教授告知了自己的決定。
“我願意去。”
姚啟智聽到這個迴答臉上頓時堆滿笑容。
“太好了。”
“擇日不如撞日，那就今天過去剛好熟悉下地方。”
說著直接便從沙發上站起來，還不忘用打趣的口味和唐時宏說了句。
“今天耽誤你這麽長時間我就不打擾了，至於你的這位寶貝學生我就借走了。”
“姚教授不用這麽客氣。”唐時宏笑嗬嗬說。
……
徐源本來也沒什麽事，便索性跟著姚啟智一起前往計院項目地點。
講起來這還是徐源第一迴來計院，目光四周打量上去環境和數學係那邊沒啥區別，倒是路上遇到女生的數量要稍微多上些。
雖比不過新聞係那邊，但絕對能吊打數學科學院。
畢竟最近幾年計算機專業很是火熱，報考的人員數量也比較多。
“以前來過這裏嗎？”
這時姚啟智隨便找了個話題詢問，想讓氛圍不那麽枯燥尷尬。
徐源聞言則如實迴答：“不瞞姚教授你說，這還是我頭迴來計院這邊。”
“等你加入這個項目來的次數就多了，真正說起來我還沒有你待在箐華的時間長。”姚啟智如長輩一樣和徐源往下說著，話語中還不忘夾雜著幽默。
而他這話也的確沒有講錯，畢竟對方去年才受邀加入箐華擔任全職教授。
算算時間自然不如徐源在箐華待的時間久。
當然這也僅僅是一個小插曲，很快兩人便來到計院網絡技術研究所。
“咱們到了。”
隨著姚啟智提醒一句，徐源跟著對方走進裏麵，發現內部和教學樓並無什麽區別。
隻不過房間裏麵擺放的都是電腦。
姚啟智把徐源帶到其中一個房間後，找來一位戴著副黑框眼鏡身材瘦高的博士生。
“小郭。”
“這位是數學係的徐源，接下來負責數學上的內容配合你們改進算法，先帶他熟悉熟悉環境和其他成員。”
“好的姚教授。”郭誌航笑了笑迴答。
姚啟智把徐源托付給郭誌航，便暫時先離開這裏。
郭誌航習慣性的推了下鼻梁上的眼鏡，然後主動伸出手熱情介紹。
“我叫郭誌航，你要是不介意的話喊我郭師兄就行。”
“徐源。”
徐源笑著握住手：“郭師兄。”
“到了這裏千萬別客氣，我們幾個可是早就聽說你的名字。”
“你可是咱們箐華的名人。”
“沒想到姚教授居然把你找了過來，這次我們的機器學習算法肯定改進。”
郭誌航表現的非常熱情，盡管是和徐源首次見麵卻愣是感覺不到生分，不知道的恐怕還以為是多年的同學關係呢。
徐源收迴手後則是有些詫異，沒想到自己的名字都已經在計院傳開了。
但對方畢竟是比他高屆的博士生，所以徐源還是選擇稍微謙虛了句，儼然把自己當成新人並沒有擺什麽數學成績上的架子。
“郭師兄謬讚了，隻要能幫到你們就行。”
“我來給你介紹另外幾個人。”郭誌航聽到這句話臉上笑容更加燦爛的說。
話音剛落便拽著徐源朝不遠處已經站起身的幾個人走過去。
“這位是朱閩豐，你叫他朱師兄就行，他和我一樣也是博士生。”
“朱師兄。”徐源伸手和對方握了下。
朱閩豐顯然也對徐源不陌生，這點單從臉上流露出的激動神情便能看出來。
“那個徐師弟，你對最優傳輸蒙日安培方程解的光滑性證明論文我前不久剛拜讀過，裏麵無論是證明方法還是過程都堪稱是精妙絕倫。”
“本來我還以為你沒有時間呢，沒想到姚教授真把你找了過來。”
聽完朱閩豐的這番話，徐源也不由得有些好奇。
接著便隨口問了句：“朱師兄還研究偏微分方程？”
“我本科和碩士讀的是數學。”朱閩豐麵對詢問笑著迴答道。
徐源恍然大悟：“原來是這樣。”
而除了郭誌航和朱閩豐這兩位博士生外，整個團隊裏還有另外兩個研究生。
分別是一男一女。
互相介紹完後，他們也喊了徐源聲徐師兄。
之後的時間郭誌航則具體介紹他們的項目情況，以及目前的研究進度。
在姚啟智教授的指導下，他們幾個人使用生成對抗網絡的方法初步完成了機器學習算法，但算法性能評估出的結果非常差勁。
遠遠達不到預期的目標。
本來他們的想法是研究出性能高於目前水平的機器學習算法，結題後以論文形式申請國家基金扶持，然後進行更深層次的研究。從機器學習的實際應用到人工智能的方向研究，可以說有著長遠的目標。
不過單憑他們現有的算法性能肯定拿不到國家基金項目的扶持。
所以基本也就把希望放在了徐源身上，想通過對數學函數公式方麵的優化，實現對算法性能的改進。
徐源先前隻參與過哈希函數密碼算法，對機器學習算法倒是有種新鮮感。
剛被安排到一台高配置的電腦座位前後，便忍不住摩拳擦掌，迫不及待想要開始自己的工作。
“徐師弟。”
郭誌航這時則又走過來，手中還捏著一個u盤。
“這是我們的機器學習算法中的資料信息，對你優化數學公式有幫助。”
“好的，我先研究下。”徐源伸手將u盤接過點頭說。
而做完這件事郭誌航卻並沒有離開，反倒是又拋出了一個問題。
“對了徐師弟，關於計算機語言和建模你會嗎？”
徐源聽到對方是詢問這個，臉上則頓時浮現出一抹神秘表情，嘴角微微上揚噙著笑容吐出兩個字。
“略懂。”
先不說他討論室裏就有電腦平時沒少研究，前世的計算機水平那也不是吃素的。
絲毫不誇張的講，哪怕讓他自己一個人把整個機器學習算法全負責都沒有問題，無非是完成的進度上會多花費點時間。
“徐師弟隻是負責數學方麵的內容，計算機上的稍微知道一點就行。”郭誌航接過話茬迴應：“還有那個數學函數公式和建模不用太著急，徐師弟你慢慢來就行，有問題隨時和我們溝通。”
“我知道了郭師兄。”徐源聞言點點頭說。
但話雖然是這樣講，不過徐源卻清楚郭誌航和朱閩豐他們肯定是比較著急的。
畢竟新的邏輯公式和建模沒有搞出來前，他們也不好對算法進行改進。
也就是說要等徐源完成自己的任務後，他們才能接著展開後續的工作，主要既然邀請了徐源參與項目，那肯定不能再繼續使用先前的建模。
再說之前的模型評估出那麽低的性能，從某種意義上來說是已經失敗。
與其在其基礎上進行優化，還不如推到重來。
而事實上徐源的做法也的確如此，他在看完u盤中的資料信息後，眉頭也可謂是緊皺沒想到裏麵確實存在很多問題。
起碼郭誌航等人使用的算法公式模型，他大致一看便能給出更好的選擇。
怪不得算法評估出來的性能會如此差勁。
經過研究思索後，徐源決定采用一種組合神經網絡作為算法的框架。
其原理是可以把每個神經網絡模塊看做機器的某個大腦，那麽此算法主要通過大腦之間對抗，讓每個大腦都變的聰明。
而聰明就是每個神經網絡模塊，都調整到使得全係統能夠完成指定的任務。
比如圖像處理語音識別等。
對於這個自動化模型，最關鍵的便是輸入和反饋以及整體表現。
因為輸入機製是隨機分布，不同於以往的輸入是帶標記的數據，這就意味此算法是無監督學習產物，這是邁入深度學習的最難最實用的一塊領域。
徐源相信此機器學習算法完成後，會讓國內對機器學習的研究處於領先地位。
但由於模型中涉及到損失函數，且需要用數學化的最優傳輸框架代替神經網絡，所以在計算上要花費一定的時間去完成。
……
就這樣。
徐源正式加入計院的機器學習項目後，白天都會去計院研究所那邊構造模型。
晚上則迴討論室尋找新的證明方法。
其生活狀態倒也能稱得上規律。
轉眼進入到七月，隨著暑假到來學校放假，校園內的人員數量一下子少了很多。
不過這並未對徐源造成什麽影響，經過大半個月的努力總算完成模型。
其表達式整體還是屬於最優解。
隻是當郭誌航和朱閩豐等人聽到這個消息後，瞬間便瞪大了眼睛，完全沒有想到徐源居然這麽快就完成了算法模型。
2005年7月19日，周二，計院網絡技術研究所。
“徐師弟你沒有和我們開玩笑，算法公式和模型真的已經全部弄完了？”
項目辦公室內郭誌航接過徐源遞來的u盤，臉上依舊充斥著不可置信，忍不住再三開口追問。
主要這和他們認知的情況完全不同，記得剛開始他們進行這項工作時可足足花費了幾個月的時間，哪像徐源大半個月便全部搞定。
旁邊的朱閩豐擔心這麽趕出來的模型性能不行，略作遲疑還是補充了句。
“要不徐師弟在優化優化，我們這邊不著急。”
後麵站著的那兩位研究生，這時候雖然沒有開口說話卻也猛點著頭。
將郭誌航和朱閩豐兩人的話悉數聽進耳中，徐源對此也是哭笑不得，心想自己效率太快竟也成了問題。
但這事卻也不能怪他，畢竟進入深度學習狀態後效率本來就會大幅度提高，加上晚上他研究丘誠桐猜想的證明方法沒有頭緒，便又會把計院的項目拿出來完成。
所以暑假才剛開始，他便已經把自己任務完成了。
倒不是說他太過自信，但對於自己完成的作品他還是比較放心的。
根本不需要再優化什麽。
起碼在現階段機器學習的研究中，其算法性能絕對能稱得上是領先水平。
於是他隻好再次確認道：“兩位師兄放心，能不能達到要求等算法出來評估一下性能就行。”
郭誌航和朱閩豐兩人聽到徐源這麽說，臉上神情略作遲疑後最終隻得答應下來。
畢竟是他們邀請的徐源幫忙，這時候拿到了結果還沒驗證確實無從質疑，反正就算最終評估出的性能依舊達不到要求，也隻是浪費這些時間而已尚能接受。
“那好吧。”
朱閩豐說了這麽一句，然後麵向另外三人沉聲吐出兩個字。
“開工。”
話落便齊齊迴到自己的電腦位上，開始根據徐源的模型完成算法程序。
原本徐源還想幫忙編程，結果卻被朱閩豐和郭誌航義正言辭拒絕。
顯然是不相信他的計算機專業水平。
對此徐源倒也沒有生氣，埋頭繼續研究關於解決代數幾何穩定性的問題。
這半個月幫忙計院的項目，他的思維發散之下隱隱有了點那麽思路，可始終無法真正抓到重心，如此情況讓人不免有些煩躁。
好在徐源心境上沒什麽問題，隻是邊學習提升自己邊研究數學分支方法，並沒有強求對丘誠桐猜想證明。
就這樣隨著時間一天天過去，在郭誌航和朱閩豐以及另外兩名研究生的努力下，總算正式完成了徐源以最優傳輸框架代替神經網絡的機器學習算法。
到了這一步便僅剩下對算法性能的評估，以此確定算法的整體水平。
為此算法性能評估當天，除了徐源在現場外郭誌航他們還特意把姚啟智喊了過來一同評估。
盡管大家對徐源的驚人效率有所擔心，可投入這麽多心血和精力自然是抱著濃濃期待，希望評估出的性能可以達到預期。
……
“徐源你之前有研究過機器學習這方麵的內容嗎？”
這天上午在郭誌航他們對算法評估時，姚啟智卻把注意力完全放在徐源身上，絲毫沒有掩飾臉上的欣喜。
他自然是看了徐源完成的公式模型，當時便被其中先進的理念所吸引，沒想到能夠使用數學化的最優傳輸框架來代替神經網絡。
因為區別於當下主流的機器學習算法，郭誌航他們存在疑問實屬正常。
可他卻覺得此算法所評估出的性能數值，恐怕會給大家帶來一個巨大的驚喜。
徐源麵對詢問倒是沒想太多，搖搖頭迴答：“隻涉獵過哈希函數算法。”
……