第130章好巧的畢論選題
關燈
小
中
大
第130章 好巧的畢論選題
4000萬人民幣麽？
好像挺多的，但寧為並沒有什麽感覺。
不對，並沒有這麽多，扣完稅大概只剩兩千多萬了，其實也不算很多。
飄了……
其實寧為的心神卻沒完全放在錢的問題上，考慮著EDA項目終於找到歸宿，他想起了這個項目剛立項時跟餘興偉一起立下的宏願，等到他們證明這款EDA軟件有現實意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。
現在他馬上要離開項目組了，再不提這個要求，大概沒機會了。
一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現在還能讓他再回到咱們項目組嗎？”
“老韓？哦，到不是能不能的問題，主要是他現在自己申請了一個項目，正在忙著，估計沒有時間來這邊。”陸昌斌答道。
“哦？韓教授申請了個什麽項目？能說來聽聽嗎？”寧為挺好奇的問道。
雖然當時這位韓教授挺不給他面子，但寧為卻對這位教授觀感其實還不錯，也的確挺好奇這位教授選了個什麽項目。
“你對老韓的項目感興趣？你等等啊，我找一下他的開題報告。”說完，陸昌斌站起身，來到身後的文件櫃，開始尋找。
很快韓教授的開題報告被陸昌斌找了出來，遞給了寧為。
寧為很仔細的看了一遍，果然很務實。
韓教授的開題是一個關於縮短隨機行走算法時間的課題，跟人工智能的方向也有聯系，比如這類算法就涉及到機器學習模型中的采樣速度問題。
但很有意思的是，這個命題恰好跟一個困擾了數學界多年的一個幾何問題重疊。
這個幾何問題用日常語言簡單描述就是如果有一個西瓜，用什麽方法能把它平均一分為二，且還能讓它更長時間的保持新鮮度？
要讓果肉盡可能長時間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當然是可以實現的。
但這又可以引申出一個更高級的問題，那就是三維的這一結果在高維空間是否也能成立。
用具體的數學語言描述就是，一個任意維度的凸體，如果用低一維的平面去平分，那麽是否存在一個常數c，讓凸體至少存在一個切面的面積大於c。
這就是在普通人群中並不算太著名但卻極具實用價值的KLS猜想問題。
生活中的三維空間這個命題其實很好理解。
因為無論西瓜長成什麽樣，總不可能在每個角度都長得如同細條。如果是長形的西瓜，豎直一刀切下去，切面就會較小，當然也可以用水平角度來切開它，這樣切面就會大上許多。
可如果放到更高維度，就不是這麽簡單了。
但大家都很清楚，數學家天生就不是能讓人省心的主，對於一個問題，他們總能從各種奇怪的角度來解讀。於是數學界又提出了一個命題，為什麽切開的西瓜要是平面？
能不能找到用來平分這個西瓜的最小曲面面積是多少？
這就是KLS猜想最為關註的問題。
隨著數學家進一步抽象，KLS猜想可以理解為這個西瓜在高維空間中的形狀就是一個封裝著氣體的容器，找到最佳切面就是尋找到這個容器的瓶頸。想象一個，如果西瓜變成一個啞鈴形狀的容器，裏面有一個氣體分子在其中隨機運動，那麽啞鈴中間連接部分越細，分子就越難跑到另一側。
所以現在韓教授真正要解決的問題就是，找出在高維空間中這個凸的容器最細的地方到底能有多細。
說的更簡單更粗暴就是要證明是否存在這麽一個常數c，在任意維度這個常數c都是固定數值，如果有那麽就說明這個西瓜在高維空間不可能像一個啞鈴那樣，兩邊大，中間連接部分可以非常細。因為這個常數c決定了其形態不可能有那麽細的連接部分。
而如果無法證明這一點，那麽一切就皆有可能，氣體分子可能會在高維空間下長時間在容器的一側運動，很難到另一側去
所以解決了這個問題，就能對現有的計算機隨機行走時間相應優化。
如果放到數學上，這個命題如果得到解決，就能加速了對近似凸體高維空間下的體積研究。
但事實上這雖然是個幾何問題，可之前關於這個問題研究的突破，都是計算機界的科學家們做出的貢獻。
早在九年前，就有一位計算機學家在研究這個問題時利用隨機定位技術，來降低這個問題的維度上界，但效果並不明顯。
到了六年前華盛頓大學的兩位博士改進了前人的隨機定位技術，進一步將KLS因子，也就是用於描述瓶頸是否存在的因子，降低到了維度的四次根。
如果他們能將唯獨的冪指數降低到幾乎為0，那麽這個數的0次冪總是等於1，也就證明了KLS因子是一個與維度無關的常數，從而徹底終結這個問題，這兩位也的確嘗試過，但最終沒能成功，其證明過程被證明是錯誤的，所以只是給後人留下了一些可供借鑒的想法。
現在韓教授申請的課題就是解決這個問題。
對於其他人來說這只是一份普普通通的開題報告，但在寧為看過之後，突然腦子裏靈光一閃，因為他發現這個問題完全可以用他最近剛剛梳理過一遍的統計學知識來解決。
是的，不需要用代數幾何、也不需要太高深的計算機技術，只需要用到統計學的內容，就能解決這道難題。而如果解決掉這個問題，他的統計學畢業論文也能完成了，同時老韓大概近期也就無事可做了，正好能遂了他的心意重新加入EDA項目組。
是的，這一刻寧為只覺得這個世界有些事情太巧了。
遍尋了好久的畢業論文命題，竟然因為之前跟餘興偉一次隨口的約定，然後要來了一個開題報告就解決了。
不說別的，如果他此時大腦內的構思經得起驗證，數學界又的確還沒解決這個猜想的話，那麽這篇論文別說SCI一區了，再發個頂刊似乎問題也不大。
更重要的是，實驗室好像又能多個成果了。
寧為下意識的看了看韓教授申請的經費，三十萬。
“額，陸教授，我突然想到點急事，先回寢室了。其他事情就按照您考慮的辦吧，我都沒問題。”寧為說道，順手將韓教授的開題報告放回到陸昌斌的桌上。
“啊？急事？”陸昌斌有些疑惑，這小家夥剛剛還在不緊不慢的看著老韓的報告，怎麽突然就有急事了？
“對呀，很急。”寧為道。
“行，那你趕緊去吧。”陸昌斌連忙道。
“那陸教授再見。”
……
寧為匆匆趕回寢室，寢室裏三個人也正在桌前看書的看書，寫論文的寫論文。
沒辦法，985大學畢業這最後一關真不是那麽好過的，尤其是對於本來便對數學不太感興趣的學渣來說，寫論文有時候真需要一個公式一個公式的去查，一頁書一頁書的翻，更可氣的是還經常找不到要用的知識點。
好在幾個人心裏都有點數，沒讓寧為指導什麽，自己不思考，答辯那關過不了，更惡心。
跟室友們打了聲招呼，寧為喚醒了電腦。
這些天在寢室裏，三月這只虛擬小奶貓已經成功獲得了寢室裏幾個人的喜愛，尤其是這只奶貓急眼時，瞪著眼睛唬人的模樣，特別受歡迎。
不過跟餘興偉一樣，另外三個人沒誰把三月當成一個智能展示的程序看待，只是將它當成寧為在實驗室裏一個人住無聊時，開發的一個寵物小程序。
徐瑞軒還提過把程序拷貝到他電腦上，給許墨一個驚喜，但直接被寧為拒絕後，便也絕了這心思。
寧為偶爾會對著三月說話，也被三人當做是學神的一種派遣。
畢竟能力出眾的家夥，有點怪癖多少是能被理解的。
比如寧為他不止有逗虛擬貓的怪癖，還有藏拙的怪癖，而且一藏就是三年。
這是三個人在寧為住在實驗室時每天晚上一起夜談會時候探討出的結論。
畢竟他們無法接受寧為突然開竅的事實，最合理的解釋就是這三年裏，寧為一直用他高智商的頭腦，跟極具洞察力且包含關愛的目光，默默註視著三個智障，並努力的將其智商壓制到能完美融入他們。
直到大四，大家就要分開，加上免推生遭遇不公的刺激，終於讓這孩子爆發了……
這樣一來，一切都能有一個完美的解釋。
……
寧為可半點不關心寢室裏三個人是怎麽看他的。
反正大家都熟透了。
此時他已經將三月的程序暫時退出，然後開始在圖書館的檢索系統裏查找關於關於KLS猜想的內容。
很快他便在NeurIPS2016會議報告中找到了韓教授開題報告中提到過的那篇論文，通過這篇論文他大概了解了前人解決這個問題的思路，然後開始跟腦海的解決方法對比。
經過大腦的仔細分析後，寧為首先開始編程，他需要驗證自己的想法是否正確。
計算機的深度學習，如果從統計學角度，基本上可以看做是遞歸的廣義線性模型。
簡單來說，寧為大腦裏引申出的思路就是通過采用遞歸法來降低KLS因子上界，經過反覆疊代之後，將KLS猜想問題再次拉回到d0的上界，從而解決這個難題。
現在寧為已經不再滿足於大腦裏有想法就直接把論文寫出來，而是要先自己動手來嘗試著解決問題之後，在來撰寫論文。
“咦？寧為你又幹嘛呢？”徐瑞軒起身倒水，正好看到了寧為敲打的內容，隨口問了句。
“剛剛確定了畢論的選題，先來做個小實驗。”寧為頭也不回的答道。
這種狀態大家都已經習慣了，當寧為專註於某件事的時候，經常會目中無人。
“呼……原來牛人寫論文之前都要先編程驗證的，愛了愛了……”徐瑞軒感嘆了句，然後徑直回到自己的位置上。
“我去，這麽囂張的嗎？讓我來看看……”
一句話吸引了另外兩人來圍觀，看過之後，又是兩聲“愛了愛了”，然後回到自己的位置。
沒辦法，看不太懂，但不感嘆兩句又會顯得自己不太聰明的樣子。
當然，這點小幹擾，根本不會影響到寧為什麽。
用了一下午時間他便大概驗證了自己的思路的確是正確的，用這種方法的確能證明KLS因子是一個跟維度無關的常數。也就是說，不管升級到哪個維度，的確存在一個常數，讓凸體至少存在一個切面的面積大於這個常數。
然後便是論文了。
經過了親自動手驗證之後，論文寫起來更加行雲流水。
拜托劉聰帶了晚飯，花費了大概五個小時，寧為便搞定了這篇他花費一周時間去學習，又從韓教授課題那裏獲得了靈感的畢業論文——《利用遞歸法證明KLS因子是一個與維度無關的常數》。
題目簡單粗暴，但寧為覺得極具美感。
畢竟這個結果足以證明在高維空間，凸形物體不可能有啞鈴那樣的結構。所以在n維凸體中隨機行走，走遍整個圖形的速度比之前所有人預想得更快。
寧為覺得當韓教授看到他這篇論文，應該是一定會很欣慰的，所以寧為對自己這篇論文挺滿意。
但是很可惜，這是他的畢業論文，得先發給他的畢業論文導師。
抱著這個想法，寧為將論文再次檢查了一遍，修改了幾個錯別字後，將論文保存好，然後通過郵箱直接發給了袁教授。
隨後重新運行了三月。
周末，晚上不斷電，可以把三月丟在這裏，讓它繼續思考自己感興趣的東西，雖然小家夥現在思維模式肯定還很簡單。
寧為也已經想好了，等畢業後去了京城，就給三月安排一個專門的房間再配上一臺工作站，這樣能讓它的學習能力更強，更好調教。如果學校安排的寢室不方便，那他就在學校裏租一套房。
反正他現在已經是有錢人了……
到是不在乎這點開銷。
寢室裏搞了一天論文的三個人都已經睡了，寧為也不好發出聲音，便用鼠標逗了逗這小家夥，雖然筆記本也關了聲音，聽不到反饋，但看著這小家夥在屏幕跳來跳去，也挺有意思。
直到幾分鐘後三月已經懶得再理會在它眼前晃來晃去的鼠標，楞楞的趴在屏幕前，寧為這才滿意的丟下鼠標，然後脫去外衣，直接爬上床。
嗯，不錯，這是已經進化到能感知重覆動作會帶來疲憊感的生物本能嗎？
……
第131章 走自己的路，讓別人無路可走（鞠躬求月票，明天就沒雙倍了！）
袁成明一大早起來，來到辦公室，然後打開郵箱。
這些天陸續都有學生提交畢業論文，他得每篇都看看，然後提出修改意見。
如果只是些小問題，直接回封郵件一一指出來，就能讓學生去打印，然後正式提交了。
如果問題很大，郵件很難說清楚，還得微信或者電話跟學生約好時間，當面指導。
今天有兩篇提交上來初審的論文。
看到寧為的名字，袁成明樂了。
這年輕人，不愧是論文快槍手啊，上周才跑他這兒來想確定選題，這才幾天，論文就交上來了。
也不知道他提出的SCI一區要求，這小子達到沒有。
不過袁成明也沒有急不可待的看論文，而是先給自己泡了熱茶，準備慢慢品。
從附件中將論文下載好，打開，看到題目袁教授便楞了。
這特麽是什麽鬼？《利用遞歸法證明KLS因子是一個與維度無關的常數》？
第一次，袁成明從一篇畢論題目看到他對現階段數學研究方面知識的貧乏。
因為第一時間，他腦子裏竟然發現對KLS因子這個詞有些陌生。
好吧，這些年一直在教統計學，數學發展分支又越來越細，不太了解這些也是正常的。內心如此安慰著自己，袁教授開始登陸圖書館的檢索目錄，查找KLS因子方面的東西。
很快便找到了關於這個猜想的命題。
哦，原來是空間幾何方面的猜想，但一直對這個問題孜孜不倦想要解決的，除了數學家竟然還有這麽多計算機界的精英人士是什麽鬼？
仔細研讀了前人的論文之後，袁成明終於理清了這個問題的脈絡。
然後心情更覆雜了。
所以，如果寧為這篇論文是正確的，那麽他就是用統計學的方法證明了一道計算機學界一直很感興趣的世界級空間幾何難題？
要知道提出這個猜想的數學家本就是菲爾茲獎的獲得者，他在2018年去世前還心心念念這個猜想是否得到證明。
弄清楚了這個命題，袁成明心懷忐忑的打開了這篇畢業論文，畢竟這篇論文說不好解決了一個困擾了全世界數學家二十多年的高維空間幾何難題，而他只是一個卑微的高校統計學教授，讓他來指導這論文，自我感覺有點不配。
甚至這論文真要投給期刊，人家編輯壓根都不可能交給他來審稿。
自從黎曼幾何從理論上證明了高維空間存在之後，這些數學命題就越來越玄學了。
完全不出意料的，整篇論文讀完，袁成明再次感受到了擴展知識廣度是多麽重要的一件事，他線性代數跟空間解析幾何的知識儲備還是不足，能看懂這篇論文的確使用的遞歸法，通過一步步疊代最終推理出KLS因子為一個常數用到的方法，以及每次推導的思想。
但具體對不對，就超出他的知識範疇了。
當然，這樣也是正常的。
如果一道世界級數學難題的推導過程能隨隨便便哪個研究方向的數學教授看一遍論文，就能知道是對是錯，那整個學界大概也沒那麽多爭吵了。
袁成明想抽自己一耳光，讓他嘴賤，絕對有資格發SCI一區的論文有了，不對，這論文發頂刊都夠格了，結果作為畢業論文，他這個導師別說指導了，直接審都不敢審。
傳出去他可能成為江大第一個作為本科畢業論文導師，卻不敢肯定自家學生論文到底是對是錯的導師，很羞恥。
但沒辦法，他還是拿起了電話，直接打給了孔明德。
“孔院長，我這兒有篇畢業論文，可能需要你組織一下人，大家一起探討下。這篇畢論用了統計學的方法，證明了KLS因子是一個與維度無關的常數。”
“嗯？你說什麽？老袁啊，你的意思是收到了一篇畢業論文解決高維空間中凸形物體的結構性問題？”
好吧，果然是研究線性代數的院長，知道這個命題，不至於跟他一樣，還得先查資料去研究這玩意兒。
“是的！解決了，我覺得論證過程沒什麽毛病，但這東西超出我的研究範圍了，所以……”
“這又是哪個學生的論文？今年大四生裏真的是藏龍臥虎？”沒給袁成明把話說完的時間，電話對面就驚喜道。
“孔院長，您想多了，論文是寧為的！”袁成明幹脆的拍醒了院長的美夢。
“什麽？寧為的？寧為什麽時候對統計學跟空間幾何的問題又感興趣了？他到底在想什麽？PDE方向的課題不研究了？他不是剛才《自然》上又發表了一篇不可壓N-S方程限定範圍值通解的論文嗎？”
“這個怎麽說呢？也許孩子是想換個思路，休息下腦子吧？”
“別廢話了，我這就組織人來審閱，你也上來吧，到三樓會議室，等等，把論文先發給我，我先幫他看看。”
“好的，這就發，對了需要我把寧為也叫來嗎？”
“不用了，我們先審完再說。對了，你不急上來，這個問題，計科院那邊應該也有人感興趣，我先跟計科院跟實驗室那邊打個招呼，大家一起來審。人到齊了我給你打電話。”
“行，那我先把論文發給你啊！”
“好！”
桌上，茶已經涼了，但袁教授沒顧得上喝一口。
……
江大，軟件實驗室。
陸昌斌這兩天忙得團團轉。
跟華為的合作可是個大事情，雖然是實驗室跟華為簽約，但實驗室畢竟不是一個主體，之前事急從權，上面給了實驗室充分的自主權，但接下來還要一堆的報告要補。
這也就是這些年國家一直號召企業應該多跟高校科系以及實驗室合作，教研一體化，讓實驗室能夠產出現實效益，在加上華為這次投資額很大，上面很重視，這才特批了讓實驗室能專事專辦自己決斷的特權。
但事情辦完後該走的程序，還是得走的，相關部門的指導意見還是一個都不能少。
這也是寧為壓根不願意參與其中的原因，瑣碎的事情太多了。
這種情況下他突然接到孔明德的電話，腦子裏還沒轉過彎了，只是覺得挺巧，數院的畢業論文正好跟實驗室老韓最近申請的課題研究撞上了。
但等他放下電話，突然感覺哪裏不對。
等等，昨天寧為在這裏要了老韓的開題報告看了看，今天孔明德就打電話來讓他找個人去幫著審核一篇相關的畢業論文？
不對啊？誰的畢業論文這麽有排面？還需要數院、計科院加實驗室的教授們一起去審？如此關鍵的信息孔明德竟然在電話裏沒說？
不能又是那個小家夥吧？
先是研究NS方程，搞出一個湍流算法，然後弄出一個EDA跟算法結合，這還是有脈絡可循的，但這又突然用畢業論文解決深度學習的隨機行走問題是什麽鬼？
數院的通才教育，教出了一個怪胎？
哪個方向都學一點，然後哪個方向都精通了？
應該不是寧為，雖然心裏這樣想著，但打電話給老韓後，又覺得這事情不該這麽巧。
幹脆又回了個電話給孔明德。
“老孔啊，你們數學哪個學生的畢業論文又炸了？你剛才說的畢論不會是寧為寫的吧？”
“是啊，我剛才沒告訴你嗎？”電話裏的語氣有些漫不經心，很敷衍。
“我……我們實驗室寧為是全能小王子啊？”
“呸，這是我們數院培養出來的，跟你們實驗室有個屁的關系，不說了，你讓通知人趕緊來，探討會半小時後開始。”
說完，對面根本不給陸昌斌反駁的機會直接掛了電話。
這邊，陸昌斌辦公室外，敲門聲響起。
“請進。”
“陸主任，你找我。”
“是啊，老韓，是這樣的，數院那邊有個孩子的畢業論文說是跟你現在研究的課題重合，所以想請你去一起參加個研討會，給點意見。”
陸昌斌沒忍心跟韓文清說得太清楚，也可能是昨天把眼前這教授的開題報告給寧為看過，讓他不太想多說什麽，反正韓文清過去後也就知道了。
“數院學生的畢業論文跟我的課題重合？”韓教授也懵了。
“是啊，說是證明了KLS因子在任意維度都是一個常數。”陸昌斌解釋道。
韓教授楞了楞，問道：“博士論文？”
“好像是本科生。”
“數院本科階段就開始研究這東西？”
“哎，這不好說啊，你也知道的，現在數院的學生連NS方程都敢研究，跟那個比起來，這種程度的難題算什麽，對吧？別問了，最多耽誤你點時間，去聽聽不就知道了？就在數院行政樓三樓會議室裏，趕緊啊，半小時後研討會就開始了。”
……
韓文清帶著滿腔疑惑趕到了數院行政樓。
等他找到研討會的會議室，裏面已經聚集了十多位教授，其中還有跟他挺熟的計科院那邊的王教授。
好吧，起碼有個伴了。
韓文清直接過去了打了聲招呼：“小王啊，今天這是啥情況？”
然後便開始迎接吐槽：“嘿，別提了，我也不知道啊，剛剛都還在討論著數院那個千年一遇的天才呢，人家刷論文在二區刷刷，那都是條件得天獨厚的寵兒了，得，這位直接沒事就刷頂刊。這還不到一年啊，兩篇《自然》、兩篇《科學》，就是玩個畢業論文都能鬧出動靜來。這不，聽說是解決了KSL猜想，這要是真的，又一篇頂刊了。”
韓文清算是聽明白了：“又是那個寧為？”
“是啊！不然還能是誰，這樣的天才數院要再多來幾個，那還得了？以後學校各種資源不是要給他們往死裏造啊！到時候咱們都打醬油就行了，跟在數院後面吃剩點他們不要的殘羹冷渣……”王教授感嘆著。
聽到這話，韓文清只覺得內心深處五味陳雜。
要不要這樣？
當初他不就是質疑了EDA項目很可能脫離現實，沒有實用價值嗎？
誰想到這家夥活生生的把EDA項目跟已經測試成功的湍流算法捆綁到了一起，還把華為給拉上了戰車。有這種對芯片需求量極高的企業加入其中，這EDA項目想不具備現實意義都難。
華為不可能花了大價錢，來讓這款EDA軟件擺看，更別提目前只能用這EDA軟件來構造帶有湍流算法的芯片，僅此一項就能預見起碼給這套EDA軟件爭取了五到十年的生存期。
有了這五到十年時間，極簡EDA大有可為。
他也私下裏試用過這產品，不得不承認，這款芯片設計軟件對於使用者的確是極為友好的，不需要花費太多時間去上手。
好吧，雖然沒找寧為談過，但他已經服了。
怎麽這家夥還沒完了？
還好，韓文清大概是最後到的，沒讓他在內心為難多久，孔明德便拿著U盤走了進來。
“大家都到了，話不多說，我把論文傳到了圖書館分配給數院的後臺服務器上，大家用自己的賬號就能把論文下載下來先大概看看，看完我們開始研究。對了，這篇論文還沒公開，還請大家不要外傳。”
很快，論文題目展示在眾人面前。
掠過標題跟寧為的名字，看到指導老師的名字時，好多人忍不住瞟了眼正襟危坐同樣再次認真覆讀論文的袁教授。
這尼瑪……
好吧，不管是什麽心態，大家都認真閱讀著，不管怎麽說，這也是解決了一個困擾了世界二十多年的數學難題，的確值得認真對待。
會議室內也徹底安靜下來。
這次叫來的教授們，都是研究相關領域的專家，自然不需要再去找資料了解這個命題，這樣讓他們看得更為投入，不少人研究進去之後，腦子裏大概浮現出同一句話……
“還能這樣的？”
起碼此時韓文清的腦子裏就一直回蕩著這句話，等他把整篇論文通讀完，結合他最近的研究，他突然有種感覺，自己差不多可以停止現在做的一切事情了。
而這又牽扯到另一個問題。
他帶的一個博士生，最近確定以這個方向做為畢業論文選題，這都已經幹了兩個多月了，結果這個方向的終極問題已經被寧為解決了。
這算誰的？
還好，這才浪費兩個月，要是時間更長點，他咋跟學生說？
不帶這麽玩的吧？
本站無廣告，永久域名（danmei.twking.cc）
4000萬人民幣麽？
好像挺多的，但寧為並沒有什麽感覺。
不對，並沒有這麽多，扣完稅大概只剩兩千多萬了，其實也不算很多。
飄了……
其實寧為的心神卻沒完全放在錢的問題上，考慮著EDA項目終於找到歸宿，他想起了這個項目剛立項時跟餘興偉一起立下的宏願，等到他們證明這款EDA軟件有現實意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。
現在他馬上要離開項目組了，再不提這個要求，大概沒機會了。
一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現在還能讓他再回到咱們項目組嗎？”
“老韓？哦，到不是能不能的問題，主要是他現在自己申請了一個項目，正在忙著，估計沒有時間來這邊。”陸昌斌答道。
“哦？韓教授申請了個什麽項目？能說來聽聽嗎？”寧為挺好奇的問道。
雖然當時這位韓教授挺不給他面子，但寧為卻對這位教授觀感其實還不錯，也的確挺好奇這位教授選了個什麽項目。
“你對老韓的項目感興趣？你等等啊，我找一下他的開題報告。”說完，陸昌斌站起身，來到身後的文件櫃，開始尋找。
很快韓教授的開題報告被陸昌斌找了出來，遞給了寧為。
寧為很仔細的看了一遍，果然很務實。
韓教授的開題是一個關於縮短隨機行走算法時間的課題，跟人工智能的方向也有聯系，比如這類算法就涉及到機器學習模型中的采樣速度問題。
但很有意思的是，這個命題恰好跟一個困擾了數學界多年的一個幾何問題重疊。
這個幾何問題用日常語言簡單描述就是如果有一個西瓜，用什麽方法能把它平均一分為二，且還能讓它更長時間的保持新鮮度？
要讓果肉盡可能長時間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當然是可以實現的。
但這又可以引申出一個更高級的問題，那就是三維的這一結果在高維空間是否也能成立。
用具體的數學語言描述就是，一個任意維度的凸體，如果用低一維的平面去平分，那麽是否存在一個常數c，讓凸體至少存在一個切面的面積大於c。
這就是在普通人群中並不算太著名但卻極具實用價值的KLS猜想問題。
生活中的三維空間這個命題其實很好理解。
因為無論西瓜長成什麽樣，總不可能在每個角度都長得如同細條。如果是長形的西瓜，豎直一刀切下去，切面就會較小，當然也可以用水平角度來切開它，這樣切面就會大上許多。
可如果放到更高維度，就不是這麽簡單了。
但大家都很清楚，數學家天生就不是能讓人省心的主，對於一個問題，他們總能從各種奇怪的角度來解讀。於是數學界又提出了一個命題，為什麽切開的西瓜要是平面？
能不能找到用來平分這個西瓜的最小曲面面積是多少？
這就是KLS猜想最為關註的問題。
隨著數學家進一步抽象，KLS猜想可以理解為這個西瓜在高維空間中的形狀就是一個封裝著氣體的容器，找到最佳切面就是尋找到這個容器的瓶頸。想象一個，如果西瓜變成一個啞鈴形狀的容器，裏面有一個氣體分子在其中隨機運動，那麽啞鈴中間連接部分越細，分子就越難跑到另一側。
所以現在韓教授真正要解決的問題就是，找出在高維空間中這個凸的容器最細的地方到底能有多細。
說的更簡單更粗暴就是要證明是否存在這麽一個常數c，在任意維度這個常數c都是固定數值，如果有那麽就說明這個西瓜在高維空間不可能像一個啞鈴那樣，兩邊大，中間連接部分可以非常細。因為這個常數c決定了其形態不可能有那麽細的連接部分。
而如果無法證明這一點，那麽一切就皆有可能，氣體分子可能會在高維空間下長時間在容器的一側運動，很難到另一側去
所以解決了這個問題，就能對現有的計算機隨機行走時間相應優化。
如果放到數學上，這個命題如果得到解決，就能加速了對近似凸體高維空間下的體積研究。
但事實上這雖然是個幾何問題，可之前關於這個問題研究的突破，都是計算機界的科學家們做出的貢獻。
早在九年前，就有一位計算機學家在研究這個問題時利用隨機定位技術，來降低這個問題的維度上界，但效果並不明顯。
到了六年前華盛頓大學的兩位博士改進了前人的隨機定位技術，進一步將KLS因子，也就是用於描述瓶頸是否存在的因子，降低到了維度的四次根。
如果他們能將唯獨的冪指數降低到幾乎為0，那麽這個數的0次冪總是等於1，也就證明了KLS因子是一個與維度無關的常數，從而徹底終結這個問題，這兩位也的確嘗試過，但最終沒能成功，其證明過程被證明是錯誤的，所以只是給後人留下了一些可供借鑒的想法。
現在韓教授申請的課題就是解決這個問題。
對於其他人來說這只是一份普普通通的開題報告，但在寧為看過之後，突然腦子裏靈光一閃，因為他發現這個問題完全可以用他最近剛剛梳理過一遍的統計學知識來解決。
是的，不需要用代數幾何、也不需要太高深的計算機技術，只需要用到統計學的內容，就能解決這道難題。而如果解決掉這個問題，他的統計學畢業論文也能完成了，同時老韓大概近期也就無事可做了，正好能遂了他的心意重新加入EDA項目組。
是的，這一刻寧為只覺得這個世界有些事情太巧了。
遍尋了好久的畢業論文命題，竟然因為之前跟餘興偉一次隨口的約定，然後要來了一個開題報告就解決了。
不說別的，如果他此時大腦內的構思經得起驗證，數學界又的確還沒解決這個猜想的話，那麽這篇論文別說SCI一區了，再發個頂刊似乎問題也不大。
更重要的是，實驗室好像又能多個成果了。
寧為下意識的看了看韓教授申請的經費，三十萬。
“額，陸教授，我突然想到點急事，先回寢室了。其他事情就按照您考慮的辦吧，我都沒問題。”寧為說道，順手將韓教授的開題報告放回到陸昌斌的桌上。
“啊？急事？”陸昌斌有些疑惑，這小家夥剛剛還在不緊不慢的看著老韓的報告，怎麽突然就有急事了？
“對呀，很急。”寧為道。
“行，那你趕緊去吧。”陸昌斌連忙道。
“那陸教授再見。”
……
寧為匆匆趕回寢室，寢室裏三個人也正在桌前看書的看書，寫論文的寫論文。
沒辦法，985大學畢業這最後一關真不是那麽好過的，尤其是對於本來便對數學不太感興趣的學渣來說，寫論文有時候真需要一個公式一個公式的去查，一頁書一頁書的翻，更可氣的是還經常找不到要用的知識點。
好在幾個人心裏都有點數，沒讓寧為指導什麽，自己不思考，答辯那關過不了，更惡心。
跟室友們打了聲招呼，寧為喚醒了電腦。
這些天在寢室裏，三月這只虛擬小奶貓已經成功獲得了寢室裏幾個人的喜愛，尤其是這只奶貓急眼時，瞪著眼睛唬人的模樣，特別受歡迎。
不過跟餘興偉一樣，另外三個人沒誰把三月當成一個智能展示的程序看待，只是將它當成寧為在實驗室裏一個人住無聊時，開發的一個寵物小程序。
徐瑞軒還提過把程序拷貝到他電腦上，給許墨一個驚喜，但直接被寧為拒絕後，便也絕了這心思。
寧為偶爾會對著三月說話，也被三人當做是學神的一種派遣。
畢竟能力出眾的家夥，有點怪癖多少是能被理解的。
比如寧為他不止有逗虛擬貓的怪癖，還有藏拙的怪癖，而且一藏就是三年。
這是三個人在寧為住在實驗室時每天晚上一起夜談會時候探討出的結論。
畢竟他們無法接受寧為突然開竅的事實，最合理的解釋就是這三年裏，寧為一直用他高智商的頭腦，跟極具洞察力且包含關愛的目光，默默註視著三個智障，並努力的將其智商壓制到能完美融入他們。
直到大四，大家就要分開，加上免推生遭遇不公的刺激，終於讓這孩子爆發了……
這樣一來，一切都能有一個完美的解釋。
……
寧為可半點不關心寢室裏三個人是怎麽看他的。
反正大家都熟透了。
此時他已經將三月的程序暫時退出，然後開始在圖書館的檢索系統裏查找關於關於KLS猜想的內容。
很快他便在NeurIPS2016會議報告中找到了韓教授開題報告中提到過的那篇論文，通過這篇論文他大概了解了前人解決這個問題的思路，然後開始跟腦海的解決方法對比。
經過大腦的仔細分析後，寧為首先開始編程，他需要驗證自己的想法是否正確。
計算機的深度學習，如果從統計學角度，基本上可以看做是遞歸的廣義線性模型。
簡單來說，寧為大腦裏引申出的思路就是通過采用遞歸法來降低KLS因子上界，經過反覆疊代之後，將KLS猜想問題再次拉回到d0的上界，從而解決這個難題。
現在寧為已經不再滿足於大腦裏有想法就直接把論文寫出來，而是要先自己動手來嘗試著解決問題之後，在來撰寫論文。
“咦？寧為你又幹嘛呢？”徐瑞軒起身倒水，正好看到了寧為敲打的內容，隨口問了句。
“剛剛確定了畢論的選題，先來做個小實驗。”寧為頭也不回的答道。
這種狀態大家都已經習慣了，當寧為專註於某件事的時候，經常會目中無人。
“呼……原來牛人寫論文之前都要先編程驗證的，愛了愛了……”徐瑞軒感嘆了句，然後徑直回到自己的位置上。
“我去，這麽囂張的嗎？讓我來看看……”
一句話吸引了另外兩人來圍觀，看過之後，又是兩聲“愛了愛了”，然後回到自己的位置。
沒辦法，看不太懂，但不感嘆兩句又會顯得自己不太聰明的樣子。
當然，這點小幹擾，根本不會影響到寧為什麽。
用了一下午時間他便大概驗證了自己的思路的確是正確的，用這種方法的確能證明KLS因子是一個跟維度無關的常數。也就是說，不管升級到哪個維度，的確存在一個常數，讓凸體至少存在一個切面的面積大於這個常數。
然後便是論文了。
經過了親自動手驗證之後，論文寫起來更加行雲流水。
拜托劉聰帶了晚飯，花費了大概五個小時，寧為便搞定了這篇他花費一周時間去學習，又從韓教授課題那裏獲得了靈感的畢業論文——《利用遞歸法證明KLS因子是一個與維度無關的常數》。
題目簡單粗暴，但寧為覺得極具美感。
畢竟這個結果足以證明在高維空間，凸形物體不可能有啞鈴那樣的結構。所以在n維凸體中隨機行走，走遍整個圖形的速度比之前所有人預想得更快。
寧為覺得當韓教授看到他這篇論文，應該是一定會很欣慰的，所以寧為對自己這篇論文挺滿意。
但是很可惜，這是他的畢業論文，得先發給他的畢業論文導師。
抱著這個想法，寧為將論文再次檢查了一遍，修改了幾個錯別字後，將論文保存好，然後通過郵箱直接發給了袁教授。
隨後重新運行了三月。
周末，晚上不斷電，可以把三月丟在這裏，讓它繼續思考自己感興趣的東西，雖然小家夥現在思維模式肯定還很簡單。
寧為也已經想好了，等畢業後去了京城，就給三月安排一個專門的房間再配上一臺工作站，這樣能讓它的學習能力更強，更好調教。如果學校安排的寢室不方便，那他就在學校裏租一套房。
反正他現在已經是有錢人了……
到是不在乎這點開銷。
寢室裏搞了一天論文的三個人都已經睡了，寧為也不好發出聲音，便用鼠標逗了逗這小家夥，雖然筆記本也關了聲音，聽不到反饋，但看著這小家夥在屏幕跳來跳去，也挺有意思。
直到幾分鐘後三月已經懶得再理會在它眼前晃來晃去的鼠標，楞楞的趴在屏幕前，寧為這才滿意的丟下鼠標，然後脫去外衣，直接爬上床。
嗯，不錯，這是已經進化到能感知重覆動作會帶來疲憊感的生物本能嗎？
……
第131章 走自己的路，讓別人無路可走（鞠躬求月票，明天就沒雙倍了！）
袁成明一大早起來，來到辦公室，然後打開郵箱。
這些天陸續都有學生提交畢業論文，他得每篇都看看，然後提出修改意見。
如果只是些小問題，直接回封郵件一一指出來，就能讓學生去打印，然後正式提交了。
如果問題很大，郵件很難說清楚，還得微信或者電話跟學生約好時間，當面指導。
今天有兩篇提交上來初審的論文。
看到寧為的名字，袁成明樂了。
這年輕人，不愧是論文快槍手啊，上周才跑他這兒來想確定選題，這才幾天，論文就交上來了。
也不知道他提出的SCI一區要求，這小子達到沒有。
不過袁成明也沒有急不可待的看論文，而是先給自己泡了熱茶，準備慢慢品。
從附件中將論文下載好，打開，看到題目袁教授便楞了。
這特麽是什麽鬼？《利用遞歸法證明KLS因子是一個與維度無關的常數》？
第一次，袁成明從一篇畢論題目看到他對現階段數學研究方面知識的貧乏。
因為第一時間，他腦子裏竟然發現對KLS因子這個詞有些陌生。
好吧，這些年一直在教統計學，數學發展分支又越來越細，不太了解這些也是正常的。內心如此安慰著自己，袁教授開始登陸圖書館的檢索目錄，查找KLS因子方面的東西。
很快便找到了關於這個猜想的命題。
哦，原來是空間幾何方面的猜想，但一直對這個問題孜孜不倦想要解決的，除了數學家竟然還有這麽多計算機界的精英人士是什麽鬼？
仔細研讀了前人的論文之後，袁成明終於理清了這個問題的脈絡。
然後心情更覆雜了。
所以，如果寧為這篇論文是正確的，那麽他就是用統計學的方法證明了一道計算機學界一直很感興趣的世界級空間幾何難題？
要知道提出這個猜想的數學家本就是菲爾茲獎的獲得者，他在2018年去世前還心心念念這個猜想是否得到證明。
弄清楚了這個命題，袁成明心懷忐忑的打開了這篇畢業論文，畢竟這篇論文說不好解決了一個困擾了全世界數學家二十多年的高維空間幾何難題，而他只是一個卑微的高校統計學教授，讓他來指導這論文，自我感覺有點不配。
甚至這論文真要投給期刊，人家編輯壓根都不可能交給他來審稿。
自從黎曼幾何從理論上證明了高維空間存在之後，這些數學命題就越來越玄學了。
完全不出意料的，整篇論文讀完，袁成明再次感受到了擴展知識廣度是多麽重要的一件事，他線性代數跟空間解析幾何的知識儲備還是不足，能看懂這篇論文的確使用的遞歸法，通過一步步疊代最終推理出KLS因子為一個常數用到的方法，以及每次推導的思想。
但具體對不對，就超出他的知識範疇了。
當然，這樣也是正常的。
如果一道世界級數學難題的推導過程能隨隨便便哪個研究方向的數學教授看一遍論文，就能知道是對是錯，那整個學界大概也沒那麽多爭吵了。
袁成明想抽自己一耳光，讓他嘴賤，絕對有資格發SCI一區的論文有了，不對，這論文發頂刊都夠格了，結果作為畢業論文，他這個導師別說指導了，直接審都不敢審。
傳出去他可能成為江大第一個作為本科畢業論文導師，卻不敢肯定自家學生論文到底是對是錯的導師，很羞恥。
但沒辦法，他還是拿起了電話，直接打給了孔明德。
“孔院長，我這兒有篇畢業論文，可能需要你組織一下人，大家一起探討下。這篇畢論用了統計學的方法，證明了KLS因子是一個與維度無關的常數。”
“嗯？你說什麽？老袁啊，你的意思是收到了一篇畢業論文解決高維空間中凸形物體的結構性問題？”
好吧，果然是研究線性代數的院長，知道這個命題，不至於跟他一樣，還得先查資料去研究這玩意兒。
“是的！解決了，我覺得論證過程沒什麽毛病，但這東西超出我的研究範圍了，所以……”
“這又是哪個學生的論文？今年大四生裏真的是藏龍臥虎？”沒給袁成明把話說完的時間，電話對面就驚喜道。
“孔院長，您想多了，論文是寧為的！”袁成明幹脆的拍醒了院長的美夢。
“什麽？寧為的？寧為什麽時候對統計學跟空間幾何的問題又感興趣了？他到底在想什麽？PDE方向的課題不研究了？他不是剛才《自然》上又發表了一篇不可壓N-S方程限定範圍值通解的論文嗎？”
“這個怎麽說呢？也許孩子是想換個思路，休息下腦子吧？”
“別廢話了，我這就組織人來審閱，你也上來吧，到三樓會議室，等等，把論文先發給我，我先幫他看看。”
“好的，這就發，對了需要我把寧為也叫來嗎？”
“不用了，我們先審完再說。對了，你不急上來，這個問題，計科院那邊應該也有人感興趣，我先跟計科院跟實驗室那邊打個招呼，大家一起來審。人到齊了我給你打電話。”
“行，那我先把論文發給你啊！”
“好！”
桌上，茶已經涼了，但袁教授沒顧得上喝一口。
……
江大，軟件實驗室。
陸昌斌這兩天忙得團團轉。
跟華為的合作可是個大事情，雖然是實驗室跟華為簽約，但實驗室畢竟不是一個主體，之前事急從權，上面給了實驗室充分的自主權，但接下來還要一堆的報告要補。
這也就是這些年國家一直號召企業應該多跟高校科系以及實驗室合作，教研一體化，讓實驗室能夠產出現實效益，在加上華為這次投資額很大，上面很重視，這才特批了讓實驗室能專事專辦自己決斷的特權。
但事情辦完後該走的程序，還是得走的，相關部門的指導意見還是一個都不能少。
這也是寧為壓根不願意參與其中的原因，瑣碎的事情太多了。
這種情況下他突然接到孔明德的電話，腦子裏還沒轉過彎了，只是覺得挺巧，數院的畢業論文正好跟實驗室老韓最近申請的課題研究撞上了。
但等他放下電話，突然感覺哪裏不對。
等等，昨天寧為在這裏要了老韓的開題報告看了看，今天孔明德就打電話來讓他找個人去幫著審核一篇相關的畢業論文？
不對啊？誰的畢業論文這麽有排面？還需要數院、計科院加實驗室的教授們一起去審？如此關鍵的信息孔明德竟然在電話裏沒說？
不能又是那個小家夥吧？
先是研究NS方程，搞出一個湍流算法，然後弄出一個EDA跟算法結合，這還是有脈絡可循的，但這又突然用畢業論文解決深度學習的隨機行走問題是什麽鬼？
數院的通才教育，教出了一個怪胎？
哪個方向都學一點，然後哪個方向都精通了？
應該不是寧為，雖然心裏這樣想著，但打電話給老韓後，又覺得這事情不該這麽巧。
幹脆又回了個電話給孔明德。
“老孔啊，你們數學哪個學生的畢業論文又炸了？你剛才說的畢論不會是寧為寫的吧？”
“是啊，我剛才沒告訴你嗎？”電話裏的語氣有些漫不經心，很敷衍。
“我……我們實驗室寧為是全能小王子啊？”
“呸，這是我們數院培養出來的，跟你們實驗室有個屁的關系，不說了，你讓通知人趕緊來，探討會半小時後開始。”
說完，對面根本不給陸昌斌反駁的機會直接掛了電話。
這邊，陸昌斌辦公室外，敲門聲響起。
“請進。”
“陸主任，你找我。”
“是啊，老韓，是這樣的，數院那邊有個孩子的畢業論文說是跟你現在研究的課題重合，所以想請你去一起參加個研討會，給點意見。”
陸昌斌沒忍心跟韓文清說得太清楚，也可能是昨天把眼前這教授的開題報告給寧為看過，讓他不太想多說什麽，反正韓文清過去後也就知道了。
“數院學生的畢業論文跟我的課題重合？”韓教授也懵了。
“是啊，說是證明了KLS因子在任意維度都是一個常數。”陸昌斌解釋道。
韓教授楞了楞，問道：“博士論文？”
“好像是本科生。”
“數院本科階段就開始研究這東西？”
“哎，這不好說啊，你也知道的，現在數院的學生連NS方程都敢研究，跟那個比起來，這種程度的難題算什麽，對吧？別問了，最多耽誤你點時間，去聽聽不就知道了？就在數院行政樓三樓會議室裏，趕緊啊，半小時後研討會就開始了。”
……
韓文清帶著滿腔疑惑趕到了數院行政樓。
等他找到研討會的會議室，裏面已經聚集了十多位教授，其中還有跟他挺熟的計科院那邊的王教授。
好吧，起碼有個伴了。
韓文清直接過去了打了聲招呼：“小王啊，今天這是啥情況？”
然後便開始迎接吐槽：“嘿，別提了，我也不知道啊，剛剛都還在討論著數院那個千年一遇的天才呢，人家刷論文在二區刷刷，那都是條件得天獨厚的寵兒了，得，這位直接沒事就刷頂刊。這還不到一年啊，兩篇《自然》、兩篇《科學》，就是玩個畢業論文都能鬧出動靜來。這不，聽說是解決了KSL猜想，這要是真的，又一篇頂刊了。”
韓文清算是聽明白了：“又是那個寧為？”
“是啊！不然還能是誰，這樣的天才數院要再多來幾個，那還得了？以後學校各種資源不是要給他們往死裏造啊！到時候咱們都打醬油就行了，跟在數院後面吃剩點他們不要的殘羹冷渣……”王教授感嘆著。
聽到這話，韓文清只覺得內心深處五味陳雜。
要不要這樣？
當初他不就是質疑了EDA項目很可能脫離現實，沒有實用價值嗎？
誰想到這家夥活生生的把EDA項目跟已經測試成功的湍流算法捆綁到了一起，還把華為給拉上了戰車。有這種對芯片需求量極高的企業加入其中，這EDA項目想不具備現實意義都難。
華為不可能花了大價錢，來讓這款EDA軟件擺看，更別提目前只能用這EDA軟件來構造帶有湍流算法的芯片，僅此一項就能預見起碼給這套EDA軟件爭取了五到十年的生存期。
有了這五到十年時間，極簡EDA大有可為。
他也私下裏試用過這產品，不得不承認，這款芯片設計軟件對於使用者的確是極為友好的，不需要花費太多時間去上手。
好吧，雖然沒找寧為談過，但他已經服了。
怎麽這家夥還沒完了？
還好，韓文清大概是最後到的，沒讓他在內心為難多久，孔明德便拿著U盤走了進來。
“大家都到了，話不多說，我把論文傳到了圖書館分配給數院的後臺服務器上，大家用自己的賬號就能把論文下載下來先大概看看，看完我們開始研究。對了，這篇論文還沒公開，還請大家不要外傳。”
很快，論文題目展示在眾人面前。
掠過標題跟寧為的名字，看到指導老師的名字時，好多人忍不住瞟了眼正襟危坐同樣再次認真覆讀論文的袁教授。
這尼瑪……
好吧，不管是什麽心態，大家都認真閱讀著，不管怎麽說，這也是解決了一個困擾了世界二十多年的數學難題，的確值得認真對待。
會議室內也徹底安靜下來。
這次叫來的教授們，都是研究相關領域的專家，自然不需要再去找資料了解這個命題，這樣讓他們看得更為投入，不少人研究進去之後，腦子裏大概浮現出同一句話……
“還能這樣的？”
起碼此時韓文清的腦子裏就一直回蕩著這句話，等他把整篇論文通讀完，結合他最近的研究，他突然有種感覺，自己差不多可以停止現在做的一切事情了。
而這又牽扯到另一個問題。
他帶的一個博士生，最近確定以這個方向做為畢業論文選題，這都已經幹了兩個多月了，結果這個方向的終極問題已經被寧為解決了。
這算誰的？
還好，這才浪費兩個月，要是時間更長點，他咋跟學生說？
不帶這麽玩的吧？
本站無廣告，永久域名（danmei.twking.cc）