笑嗬嗬的問：“敢去證明這種數學難題，單是勇氣就可嘉。”
徐源謙虛了句：“我也就是想試試。”
他這句話可一點沒說錯，彆管是什麼難度的數學猜想總要去嘗試證明。
否則如何知道自己不行。
就算失敗了，對於數學家那也不叫事。
“導師您突然找我過來是有什麼要緊的事嗎？”徐源及時岔開話題。
聞言唐時宏並沒有直接把事情說出來，反倒是先拋出了一個問題。
“今年暑假你有什麼打算？”
“暑假我準備留校。”徐源想了想說：“丘誠桐猜想還需要時間研究。”
暑假過後他便是正式的理學博士在讀生，除了眼下手上的丘誠桐猜想問題，還有其他學業上的事情需要想辦法處理。
相比較回家研究，無疑還是待在學校裡麵更方便。
關於這件事他也已經給家裡打了電話，父母都表示非常支持。
另外姐姐徐瑩開學後便是大四，也麵臨著實習和找工作的問題。
不過這件事他聯係了省城廬陽一中的張玉輝，準備以後讓姐姐去省高中當老師。
起碼方便穩定。
而正當徐源想著這些時，唐時宏和旁邊的姚啟智兩人臉上也都浮現出笑容，似乎對這個答案感到很滿意。
接著便又繼續往下講具體的情況。
“這次其實不是我找伱。”唐時宏搖搖頭說：“姚教授那最近在研究機器學習，你證明的最優傳輸理論蒙日安培方程剛好能在算法上發揮作用，所以姚教授想邀請你暑假加入此項目，負責解決算法函數和概率高斯分布等數學內容。”
將唐時宏的話悉數聽進耳中，徐源這才明白是怎麼回事。
首先機器學習算法他肯定不陌生，近幾年國內研究的團隊也逐漸多起來。
機器學習作為人工智能的核心組成部分，能夠在圖像處理工程應用等多領域起到作用。
他除了在數學上取得顯著成績外，所研究的蒙日安培方程最優理論更是機器學習中的重要部分，所以姚啟智找他幫忙倒也合理。
“最優傳輸理論是連接幾何和概率的橋梁，它用幾何的方法為概率分布的建模和衡量概率分布之間的距離提供了強有力的工具。”
“可以說最優傳輸理論為機器學習原理的解釋提供了新視角。”
“為機器學習的算法改進提供了新的指導方向。”
“聽到唐教授說推薦你過來幫忙，我可是高興的不行恨不得趕緊把你要走。”
姚啟智這時也沒沉默，眉飛色舞的說著，話裡話外都流露出對徐源的稱讚。
聞聲唐時宏臉上笑容也是更盛：“徐源確實是我們數學科學院最合適人選。”
被姚教授這麼誇獎，徐源心裡高興歸高興，但還是準備謙虛兩句。
不過他還沒來得及開口，耳旁頓時又傳來唐時宏的聲音。
“我知道你最近重心都在丘誠桐猜想研究上，所以究竟要不要去你自己拿主意。”
“這個項目不會持續太長時間，關於算法程序有幾個博士生負責，你隻需要在底層邏輯數學上給予支持。”姚啟智擔心徐源拒絕也忙補充說明。
徐源對機器學習算法的研究改進並不覺得難，對他而言算是比較輕鬆的項目。
況且還隻需要負責數學方麵就好。
剛巧他最近對丘誠桐猜想的研究沒有思路，去計院幫忙換下腦子也很不錯。
再說最優傳輸理論本就是連接幾何和概率，對他研究幾何問題同樣能起到幫助，說不定碰撞出靈感能夠找到攻克丘誠桐猜想的方法。
念頭停留在這裡，徐源沒有任何遲疑，當即向姚啟智教授告知了自己的決定。
“我願意去。”
姚啟智聽到這個回答臉上頓時堆滿笑容。
“太好了。”
“擇日不如撞日，那就今天過去剛好熟悉下地方。”
說著直接便從沙發上站起來，還不忘用打趣的口味和唐時宏說了句。
“今天耽誤你這麼長時間我就不打擾了，至於你的這位寶貝學生我就借走了。”
“姚教授不用這麼客氣。”唐時宏笑嗬嗬說。
……
徐源本來也沒什麼事，便索性跟著姚啟智一起前往計院項目地點。
講起來這還是徐源第一回來計院，目光四周打量上去環境和數學係那邊沒啥區彆，倒是路上遇到女生的數量要稍微多上些。
雖比不過新聞係那邊，但絕對能吊打數學科學院。
畢竟最近幾年計算機專業很是火熱，報考的人員數量也比較多。
“以前來過這裡嗎？”
這時姚啟智隨便找了個話題詢問，想讓氛圍不那麼枯燥尷尬。
徐源聞言則如實回答：“不瞞姚教授你說，這還是我頭回來計院這邊。”
“等你加入這個項目來的次數就多了，真正說起來我還沒有你待在箐華的時間長。”姚啟智如長輩一樣和徐源往下說著，話語中還不忘夾雜著幽默。
而他這話也的確沒有講錯，畢竟對方去年才受邀加入箐華擔任
全職教授。
算算時間自然不如徐源在箐華待的時間久。
當然這也僅僅是一個小插曲，很快兩人便來到計院網絡技術研究所。
“咱們到了。”
隨著姚啟智提醒一句，徐源跟著對方走進裡麵，發現內部和教學樓並無什麼區彆。
隻不過房間裡麵擺放的都是電腦。
姚啟智把徐源帶到其中一個房間後，找來一位戴著副黑框眼鏡身材瘦高的博士生。
“小郭。”
“這位是數學係的徐源，接下來負責數學上的內容配合你們改進算法，先帶他熟悉熟悉環境和其他成員。”
“好的姚教授。”郭誌航笑了笑回答。
姚啟智把徐源托付給郭誌航，便暫時先離開這裡。
郭誌航習慣性的推了下鼻梁上的眼鏡，然後主動伸出手熱情介紹。
“我叫郭誌航，你要是不介意的話喊我郭師兄就行。”
“徐源。”
徐源笑著握住手：“郭師兄。”
“到了這裡千萬彆客氣，我們幾個可是早就聽說你的名字。”
“你可是咱們箐華的名人。”
“沒想到姚教授居然把你找了過來，這次我們的機器學習算法肯定改進。”
郭誌航表現的非常熱情，儘管是和徐源首次見麵卻愣是感覺不到生分，不知道的恐怕還以為是多年的同學關係呢。
徐源收回手後則是有些詫異，沒想到自己的名字都已經在計院傳開了。
但對方畢竟是比他高屆的博士生，所以徐源還是選擇稍微謙虛了句，儼然把自己當成新人並沒有擺什麼數學成績上的架子。
“郭師兄謬讚了，隻要能幫到你們就行。”
“我來給你介紹另外幾個人。”郭誌航聽到這句話臉上笑容更加燦爛的說。
話音剛落便拽著徐源朝不遠處已經站起身的幾個人走過去。
“這位是朱閩豐，你叫他朱師兄就行，他和我一樣也是博士生。”
“朱師兄。”徐源伸手和對方握了下。
朱閩豐顯然也對徐源不陌生，這點單從臉上流露出的激動神情便能看出來。
“那個徐師弟，你對最優傳輸蒙日安培方程解的光滑性證明論文我前不久剛拜讀過，裡麵無論是證明方法還是過程都堪稱是精妙絕倫。”
“本來我還以為你沒有時間呢，沒想到姚教授真把你找了過來。”
聽完朱閩豐的這番話，徐源也不由得有些好奇。
接著便隨口問了句：“朱師兄還研究偏微分方程？”
“我本科和碩士讀的是數學。”朱閩豐麵對詢問笑著回答道。
徐源恍然大悟：“原來是這樣。”
而除了郭誌航和朱閩豐這兩位博士生外，整個團隊裡還有另外兩個研究生。
分彆是一男一女。
互相介紹完後，他們也喊了徐源聲徐師兄。
之後的時間郭誌航則具體介紹他們的項目情況，以及目前的研究進度。
在姚啟智教授的指導下，他們幾個人使用生成對抗網絡的方法初步完成了機器學習算法，但算法性能評估出的結果非常差勁。
遠遠達不到預期的目標。
本來他們的想法是研究出性能高於目前水平的機器學習算法，結題後以論文形式申請國家基金扶持，然後進行更深層次的研究。從機器學習的實際應用到人工智能的方向研究，可以說有著長遠的目標。
不過單憑他們現有的算法性能肯定拿不到國家基金項目的扶持。
所以基本也就把希望放在了徐源身上，想通過對數學函數公式方麵的優化，實現對算法性能的改進。
徐源先前隻參與過哈希函數密碼算法，對機器學習算法倒是有種新鮮感。
剛被安排到一台高配置的電腦座位前後，便忍不住摩拳擦掌，迫不及待想要開始自己的工作。
“徐師弟。”
郭誌航這時則又走過來，手中還捏著一個U盤。
“這是我們的機器學習算法中的資料信息，對你優化數學公式有幫助。”
“好的，我先研究下。”徐源伸手將U盤接過點頭說。
而做完這件事郭誌航卻並沒有離開，反倒是又拋出了一個問題。
“對了徐師弟，關於計算機語言和建模你會嗎？”
徐源聽到對方是詢問這個，臉上則頓時浮現出一抹神秘表情，嘴角微微上揚噙著笑容吐出兩個字。
“略懂。”
先不說他討論室裡就有電腦平時沒少研究，前世的計算機水平那也不是吃素的。
絲毫不誇張的講，哪怕讓他自己一個人把整個機器學習算法全負責都沒有問題，無非是完成的進度上會多花費點時間。
“徐師弟隻是負責數學方麵的內容，計算機上的稍微知道一點就行。”郭誌航接過話茬回應：“還有那個數學函數公式和建模不用太著急，徐師弟你慢慢來就行，有問題隨時和我們溝通。”
“我知道了郭師兄。”徐源聞言點點頭說。
但話雖然是這樣講，不過
徐源卻清楚郭誌航和朱閩豐他們肯定是比較著急的。
畢竟新的邏輯公式和建模沒有搞出來前，他們也不好對算法進行改進。
也就是說要等徐源完成自己的任務後，他們才能接著展開後續的工作，主要既然邀請了徐源參與項目，那肯定不能再繼續使用先前的建模。
再說之前的模型評估出那麼低的性能，從某種意義上來說是已經失敗。
與其在其基礎上進行優化，還不如推到重來。
而事實上徐源的做法也的確如此，他在看完U盤中的資料信息後，眉頭也可謂是緊皺沒想到裡麵確實存在很多問題。
起碼郭誌航等人使用的算法公式模型，他大致一看便能給出更好的選擇。
怪不得算法評估出來的性能會如此差勁。
經過研究思索後，徐源決定采用一種組合神經網絡作為算法的框架。
其原理是可以把每個神經網絡模塊看做機器的某個大腦，那麼此算法主要通過大腦之間對抗，讓每個大腦都變的聰明。
而聰明就是每個神經網絡模塊，都調整到使得全係統能夠完成指定的任務。
比如圖像處理語音識彆等。
對於這個自動化模型，最關鍵的便是輸入和反饋以及整體表現。
因為輸入機製是隨機分布，不同於以往的輸入是帶標記的數據，這就意味此算法是無監督學習產物，這是邁入深度學習的最難最實用的一塊領域。
徐源相信此機器學習算法完成後，會讓國內對機器學習的研究處於領先地位。
但由於模型中涉及到損失函數，且需要用數學化的最優傳輸框架代替神經網絡，所以在計算上要花費一定的時間去完成。
……
就這樣。
徐源正式加入計院的機器學習項目後，白天都會去計院研究所那邊構造模型。
晚上則回討論室尋找新的證明方法。
其生活狀態倒也能稱得上規律。
轉眼進入到七月，隨著暑假到來學校放假，校園內的人員數量一下子少了很多。
不過這並未對徐源造成什麼影響，經過大半個月的努力總算完成模型。
其表達式整體還是屬於最優解。
隻是當郭誌航和朱閩豐等人聽到這個消息後，瞬間便瞪大了眼睛，完全沒有想到徐源居然這麼快就完成了算法模型。
2005年7月19日，周二，計院網絡技術研究所。
“徐師弟你沒有和我們開玩笑，算法公式和模型真的已經全部弄完了？”
項目辦公室內郭誌航接過徐源遞來的U盤，臉上依舊充斥著不可置信，忍不住再三開口追問。
主要這和他們認知的情況完全不同，記得剛開始他們進行這項工作時可足足花費了幾個月的時間，哪像徐源大半個月便全部搞定。
旁邊的朱閩豐擔心這麼趕出來的模型性能不行，略作遲疑還是補充了句。
“要不徐師弟在優化優化，我們這邊不著急。”
後麵站著的那兩位研究生，這時候雖然沒有開口說話卻也猛點著頭。
將郭誌航和朱閩豐兩人的話悉數聽進耳中，徐源對此也是哭笑不得，心想自己效率太快竟也成了問題。
但這事卻也不能怪他，畢竟進入深度學習狀態後效率本來就會大幅度提高，加上晚上他研究丘誠桐猜想的證明方法沒有頭緒，便又會把計院的項目拿出來完成。
所以暑假才剛開始，他便已經把自己任務完成了。
倒不是說他太過自信，但對於自己完成的作品他還是比較放心的。
根本不需要再優化什麼。
起碼在現階段機器學習的研究中，其算法性能絕對能稱得上是領先水平。
於是他隻好再次確認道：“兩位師兄放心，能不能達到要求等算法出來評估一下性能就行。”
郭誌航和朱閩豐兩人聽到徐源這麼說，臉上神情略作遲疑後最終隻得答應下來。
畢竟是他們邀請的徐源幫忙，這時候拿到了結果還沒驗證確實無從質疑，反正就算最終評估出的性能依舊達不到要求，也隻是浪費這些時間而已尚能接受。
“那好吧。”
朱閩豐說了這麼一句，然後麵向另外三人沉聲吐出兩個字。
“開工。”
話落便齊齊回到自己的電腦位上，開始根據徐源的模型完成算法程序。
原本徐源還想幫忙編程，結果卻被朱閩豐和郭誌航義正言辭拒絕。
顯然是不相信他的計算機專業水平。
對此徐源倒也沒有生氣，埋頭繼續研究關於解決代數幾何穩定性的問題。
這半個月幫忙計院的項目，他的思維發散之下隱隱有了點那麼思路，可始終無法真正抓到重心，如此情況讓人不免有些煩躁。
好在徐源心境上沒什麼問題，隻是邊學習提升自己邊研究數學分支方法，並沒有強求對丘誠桐猜想證明。
就這樣隨著時間一天天過去，在郭誌航和朱閩豐以及另外兩名研究生的努力下，總算正式完成了徐源以最優傳輸框架代替神經網絡的機器學習算法。
到了這一步便僅剩下對算法
性能的評估，以此確定算法的整體水平。
為此算法性能評估當天，除了徐源在現場外郭誌航他們還特意把姚啟智喊了過來一同評估。
儘管大家對徐源的驚人效率有所擔心，可投入這麼多心血和精力自然是抱著濃濃期待，希望評估出的性能可以達到預期。
……
“徐源你之前有研究過機器學習這方麵的內容嗎？”
這天上午在郭誌航他們對算法評估時，姚啟智卻把注意力完全放在徐源身上，絲毫沒有掩飾臉上的欣喜。
他自然是看了徐源完成的公式模型，當時便被其中先進的理念所吸引，沒想到能夠使用數學化的最優傳輸框架來代替神經網絡。
因為區彆於當下主流的機器學習算法，郭誌航他們存在疑問實屬正常。
可他卻覺得此算法所評估出的性能數值，恐怕會給大家帶來一個巨大的驚喜。
徐源麵對詢問倒是沒想太多，搖搖頭回答：“隻涉獵過哈希函數算法。”
……