4000萬人民幣么？
    好像挺多的，但寧為并沒有什么感覺。
    不對，并沒有這么多，扣完稅大概只剩兩千多萬了，其實(shí)也不算很多。
    飄了……
    其實(shí)寧為的心神卻沒完全放在錢的問題上，考慮著EDA項(xiàng)目終于找到歸宿，他想起了這個(gè)項(xiàng)目剛立項(xiàng)時(shí)跟余興偉一起立下的宏愿，等到他們證明這款EDA軟件有現(xiàn)實(shí)意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。
    現(xiàn)在他馬上要離開項(xiàng)目組了，再不提這個(gè)要求，大概沒機(jī)會了。
    一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現(xiàn)在還能讓他再回到咱們項(xiàng)目組嗎？”
    “老韓？哦，到不是能不能的問題，主要是他現(xiàn)在自己申請了一個(gè)項(xiàng)目，正在忙著，估計(jì)沒有時(shí)間來這邊。”陸昌斌答道。
    “哦？韓教授申請了個(gè)什么項(xiàng)目？能說來聽聽嗎？”寧為挺好奇的問道。
    雖然當(dāng)時(shí)這位韓教授挺不給他面子，但寧為卻對這位教授觀感其實(shí)還不錯(cuò)，也的確挺好奇這位教授選了個(gè)什么項(xiàng)目。毣趣閱
    “你對老韓的項(xiàng)目感興趣？你等等啊，我找一下他的開題報(bào)告。”說完，陸昌斌站起身，來到身后的文件柜，開始尋找。
    很快韓教授的開題報(bào)告被陸昌斌找了出來，遞給了寧為。
    寧為很仔細(xì)的看了一遍，果然很務(wù)實(shí)。
    韓教授的開題是一個(gè)關(guān)于縮短隨機(jī)行走算法時(shí)間的課題，跟人工智能的方向也有聯(lián)系，比如這類算法就涉及到機(jī)器學(xué)習(xí)模型中的采樣速度問題。
    但很有意思的是，這個(gè)命題恰好跟一個(gè)困擾了數(shù)學(xué)界多年的一個(gè)幾何問題重疊。
    這個(gè)幾何問題用日常語言簡單描述就是如果有一個(gè)西瓜，用什么方法能把它平均一分為二，且還能讓它更長時(shí)間的保持新鮮度？
    要讓果肉盡可能長時(shí)間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當(dāng)然是可以實(shí)現(xiàn)的。
    但這又可以引申出一個(gè)更高級的問題，那就是三維的這一結(jié)果在高維空間是否也能成立。
    用具體的數(shù)學(xué)語言描述就是，一個(gè)任意維度的凸體，如果用低一維的平面去平分，那么是否存在一個(gè)常數(shù)c，讓凸體至少存在一個(gè)切面的面積大于c。
    這就是在普通人群中并不算太著名但卻極具實(shí)用價(jià)值的KLS猜想問題。
    生活中的三維空間這個(gè)命題其實(shí)很好理解。
    因?yàn)闊o論西瓜長成什么樣，總不可能在每個(gè)角度都長得如同細(xì)條。如果是長形的西瓜，豎直一刀切下去，切面就會較小，當(dāng)然也可以用水平角度來切開它，這樣切面就會大上許多。
    可如果放到更高維度，就不是這么簡單了。
    但大家都很清楚，數(shù)學(xué)家天生就不是能讓人省心的主，對于一個(gè)問題，他們總能從各種奇怪的角度來解讀。于是數(shù)學(xué)界又提出了一個(gè)命題，為什么切開的西瓜要是平面？
    能不能找到用來平分這個(gè)西瓜的最小曲面面積是多少？
    這就是KLS猜想最為關(guān)注的問題。
    隨著數(shù)學(xué)家進(jìn)一步抽象，KLS猜想可以理解為這個(gè)西瓜在高維空間中的形狀就是一個(gè)封裝著氣體的容器，找到最佳切面就是尋找到這個(gè)容器的瓶頸。想象一個(gè)，如果西瓜變成一個(gè)啞鈴形狀的容器，里面有一個(gè)氣體分子在其中隨機(jī)運(yùn)動，那么啞鈴中間連接部分越細(xì)，分子就越難跑到另一側(cè)。
    所以現(xiàn)在韓教授真正要解決的問題就是，找出在高維空間中這個(gè)凸的容器最細(xì)的地方到底能有多細(xì)。
    說的更簡單更粗暴就是要證明是否存在這么一個(gè)常數(shù)c，在任意維度這個(gè)常數(shù)c都是固定數(shù)值，如果有那么就說明這個(gè)西瓜在高維空間不可能像一個(gè)啞鈴那樣，兩邊大，中間連接部分可以非常細(xì)。因?yàn)檫@個(gè)常數(shù)c決定了其形態(tài)不可能有那么細(xì)的連接部分。
    而如果無法證明這一點(diǎn)，那么一切就皆有可能，氣體分子可能會在高維空間下長時(shí)間在容器的一側(cè)運(yùn)動，很難到另一側(cè)去
    所以解決了這個(gè)問題，就能對現(xiàn)有的計(jì)算機(jī)隨機(jī)行走時(shí)間相應(yīng)優(yōu)化。
    如果放到數(shù)學(xué)上，這個(gè)命題如果得到解決，就能加速了對近似凸體高維空間下的體積研究。
    但事實(shí)上這雖然是個(gè)幾何問題，可之前關(guān)于這個(gè)問題研究的突破，都是計(jì)算機(jī)界的科學(xué)家們做出的貢獻(xiàn)。
    早在九年前，就有一位計(jì)算機(jī)學(xué)家在研究這個(gè)問題時(shí)利用隨機(jī)定位技術(shù)，來降低這個(gè)問題的維度上界，但效果并不明顯。
    到了六年前華盛頓大學(xué)的兩位博士改進(jìn)了前人的隨機(jī)定位技術(shù)，進(jìn)一步將KLS因子，也就是用于描述瓶頸是否存在的因子，降低到了維度的四次根。
    如果他們能將唯獨(dú)的冪指數(shù)降低到幾乎為0，那么這個(gè)數(shù)的0次冪總是等于1，也就證明了KLS因子是一個(gè)與維度無關(guān)的常數(shù)，從而徹底終結(jié)這個(gè)問題，這兩位也的確嘗試過，但最終沒能成功，其證明過程被證明是錯(cuò)誤的，所以只是給后人留下了一些可供借鑒的想法。
    現(xiàn)在韓教授申請的課題就是解決這個(gè)問題。
    對于其他人來說這只是一份普普通通的開題報(bào)告，但在寧為看過之后，突然腦子里靈光一閃，因?yàn)樗l(fā)現(xiàn)這個(gè)問題完全可以用他最近剛剛梳理過一遍的統(tǒng)計(jì)學(xué)知識來解決。
    是的，不需要用代數(shù)幾何、也不需要太高深的計(jì)算機(jī)技術(shù)，只需要用到統(tǒng)計(jì)學(xué)的內(nèi)容，就能解決這道難題。而如果解決掉這個(gè)問題，他的統(tǒng)計(jì)學(xué)畢業(yè)論文也能完成了，同時(shí)老韓大概近期也就無事可做了，正好能遂了他的心意重新加入EDA項(xiàng)目組。
    是的，這一刻寧為只覺得這個(gè)世界有些事情太巧了。
    遍尋了好久的畢業(yè)論文命題，竟然因?yàn)橹案嗯d偉一次隨口的約定，然后要來了一個(gè)開題報(bào)告就解決了。
    不說別的，如果他此時(shí)大腦內(nèi)的構(gòu)思經(jīng)得起驗(yàn)證，數(shù)學(xué)界又的確還沒解決這個(gè)猜想的話，那么這篇論文別說SCI一區(qū)了，再發(fā)個(gè)頂刊似乎問題也不大。
    更重要的是，實(shí)驗(yàn)室好像又能多個(gè)成果了。
    寧為下意識的看了看韓教授申請的經(jīng)費(fèi)，三十萬。
    “額，陸教授，我突然想到點(diǎn)急事，先回寢室了。其他事情就按照您考慮的辦吧，我都沒問題。”寧為說道，順手將韓教授的開題報(bào)告放回到陸昌斌的桌上。
    “啊？急事？”陸昌斌有些疑惑，這小家伙剛剛還在不緊不慢的看著老韓的報(bào)告，怎么突然就有急事了？
    “對呀，很急。”寧為道。
    “行，那你趕緊去吧。”陸昌斌連忙道。
    “那陸教授再見。”
    ……
    寧為匆匆趕回寢室，寢室里三個(gè)人也正在桌前看書的看書，寫論文的寫論文。
    沒辦法，985大學(xué)畢業(yè)這最后一關(guān)真不是那么好過的，尤其是對于本來便對數(shù)學(xué)不太感興趣的學(xué)渣來說，寫論文有時(shí)候真需要一個(gè)公式一個(gè)公式的去查，一頁書一頁書的翻，更可氣的是還經(jīng)常找不到要用的知識點(diǎn)。
    好在幾個(gè)人心里都有點(diǎn)數(shù)，沒讓寧為指導(dǎo)什么，自己不思考，答辯那關(guān)過不了，更惡心。
    跟室友們打了聲招呼，寧為喚醒了電腦。
    這些天在寢室里，三月這只虛擬小奶貓已經(jīng)成功獲得了寢室里幾個(gè)人的喜愛，尤其是這只奶貓急眼時(shí)，瞪著眼睛唬人的模樣，特別受歡迎。
    不過跟余興偉一樣，另外三個(gè)人沒誰把三月當(dāng)成一個(gè)智能展示的程序看待，只是將它當(dāng)成寧為在實(shí)驗(yàn)室里一個(gè)人住無聊時(shí)，開發(fā)的一個(gè)寵物小程序。
    徐瑞軒還提過把程序拷貝到他電腦上，給許墨一個(gè)驚喜，但直接被寧為拒絕后，便也絕了這心思。
    寧為偶爾會對著三月說話，也被三人當(dāng)做是學(xué)神的一種派遣。
    畢竟能力出眾的家伙，有點(diǎn)怪癖多少是能被理解的。
    比如寧為他不止有逗虛擬貓的怪癖，還有藏拙的怪癖，而且一藏就是三年。
    這是三個(gè)人在寧為住在實(shí)驗(yàn)室時(shí)每天晚上一起夜談會時(shí)候探討出的結(jié)論。
    畢竟他們無法接受寧為突然開竅的事實(shí)，最合理的解釋就是這三年里，寧為一直用他高智商的頭腦，跟極具洞察力且包含關(guān)愛的目光，默默注視著三個(gè)智障，并努力的將其智商壓制到能完美融入他們。
    直到大四，大家就要分開，加上免推生遭遇不公的刺激，終于讓這孩子爆發(fā)了……
    這樣一來，一切都能有一個(gè)完美的解釋。
    ……
    寧為可半點(diǎn)不關(guān)心寢室里三個(gè)人是怎么看他的。
    反正大家都熟透了。
    此時(shí)他已經(jīng)將三月的程序暫時(shí)退出，然后開始在圖書館的檢索系統(tǒng)里查找關(guān)于關(guān)于KLS猜想的內(nèi)容。
    很快他便在NeurIPS2016會議報(bào)告中找到了韓教授開題報(bào)告中提到過的那篇論文，通過這篇論文他大概了解了前人解決這個(gè)問題的思路，然后開始跟腦海的解決方法對比。
    經(jīng)過大腦的仔細(xì)分析后，寧為首先開始編程，他需要驗(yàn)證自己的想法是否正確。
    計(jì)算機(jī)的深度學(xué)習(xí)，如果從統(tǒng)計(jì)學(xué)角度，基本上可以看做是遞歸的廣義線性模型。
    簡單來說，寧為大腦里引申出的思路就是通過采用遞歸法來降低KLS因子上界，經(jīng)過反復(fù)迭代之后，將KLS猜想問題再次拉回到d0的上界，從而解決這個(gè)難題。
    現(xiàn)在寧為已經(jīng)不再滿足于大腦里有想法就直接把論文寫出來，而是要先自己動手來嘗試著解決問題之后，在來撰寫論文。
    “咦？寧為你又干嘛呢？”徐瑞軒起身倒水，正好看到了寧為敲打的內(nèi)容，隨口問了句。
    “剛剛確定了畢論的選題，先來做個(gè)小實(shí)驗(yàn)。”寧為頭也不回的答道。
    這種狀態(tài)大家都已經(jīng)習(xí)慣了，當(dāng)寧為專注于某件事的時(shí)候，經(jīng)常會目中無人。
    “呼……原來牛人寫論文之前都要先編程驗(yàn)證的，愛了愛了……”徐瑞軒感嘆了句，然后徑直回到自己的位置上。
    “我去，這么囂張的嗎？讓我來看看……”
    一句話吸引了另外兩人來圍觀，看過之后，又是兩聲“愛了愛了”，然后回到自己的位置。
    沒辦法，看不太懂，但不感嘆兩句又會顯得自己不太聰明的樣子。
    當(dāng)然，這點(diǎn)小干擾，根本不會影響到寧為什么。
    用了一下午時(shí)間他便大概驗(yàn)證了自己的思路的確是正確的，用這種方法的確能證明KLS因子是一個(gè)跟維度無關(guān)的常數(shù)。也就是說，不管升級到哪個(gè)維度，的確存在一個(gè)常數(shù)，讓凸體至少存在一個(gè)切面的面積大于這個(gè)常數(shù)。
    然后便是論文了。
    經(jīng)過了親自動手驗(yàn)證之后，論文寫起來更加行云流水。
    拜托劉聰帶了晚飯，花費(fèi)了大概五個(gè)小時(shí)，寧為便搞定了這篇他花費(fèi)一周時(shí)間去學(xué)習(xí)，又從韓教授課題那里獲得了靈感的畢業(yè)論文——《利用遞歸法證明KLS因子是一個(gè)與維度無關(guān)的常數(shù)》。
    題目簡單粗暴，但寧為覺得極具美感。
    畢竟這個(gè)結(jié)果足以證明在高維空間，凸形物體不可能有啞鈴那樣的結(jié)構(gòu)。所以在n維凸體中隨機(jī)行走，走遍整個(gè)圖形的速度比之前所有人預(yù)想得更快。
    寧為覺得當(dāng)韓教授看到他這篇論文，應(yīng)該是一定會很欣慰的，所以寧為對自己這篇論文挺滿意。
    但是很可惜，這是他的畢業(yè)論文，得先發(fā)給他的畢業(yè)論文導(dǎo)師。
    抱著這個(gè)想法，寧為將論文再次檢查了一遍，修改了幾個(gè)錯(cuò)別字后，將論文保存好，然后通過郵箱直接發(fā)給了袁教授。
    隨后重新運(yùn)行了三月。
    周末，晚上不斷電，可以把三月丟在這里，讓它繼續(xù)思考自己感興趣的東西，雖然小家伙現(xiàn)在思維模式肯定還很簡單。
    寧為也已經(jīng)想好了，等畢業(yè)后去了京城，就給三月安排一個(gè)專門的房間再配上一臺工作站，這樣能讓它的學(xué)習(xí)能力更強(qiáng)，更好調(diào)教。如果學(xué)校安排的寢室不方便，那他就在學(xué)校里租一套房。
    反正他現(xiàn)在已經(jīng)是有錢人了……
    到是不在乎這點(diǎn)開銷。
    寢室里搞了一天論文的三個(gè)人都已經(jīng)睡了，寧為也不好發(fā)出聲音，便用鼠標(biāo)逗了逗這小家伙，雖然筆記本也關(guān)了聲音，聽不到反饋，但看著這小家伙在屏幕跳來跳去，也挺有意思。
    直到幾分鐘后三月已經(jīng)懶得再理會在它眼前晃來晃去的鼠標(biāo)，愣愣的趴在屏幕前，寧為這才滿意的丟下鼠標(biāo)，然后脫去外衣，直接爬上床。
    嗯，不錯(cuò)，這是已經(jīng)進(jìn)化到能感知重復(fù)動作會帶來疲憊感的生物本能嗎？
    ……
    網(wǎng)頁版章節(jié)內(nèi)容慢，請下載愛閱小說app閱讀最新內(nèi)容
    “沈兄！”
    “嗯！”
    沈長青走在路上，有遇到相熟的人，彼此都會打個(gè)招呼，或是點(diǎn)頭。
    但不管是誰。
    每個(gè)人臉上都沒有多余的表情，仿佛對什么都很是淡漠。
    對此。
    沈長青已是習(xí)以為常。
    因?yàn)檫@里是鎮(zhèn)魔司，乃是維護(hù)大秦穩(wěn)定的一個(gè)機(jī)構(gòu)，主要的職責(zé)就是斬殺妖魔詭怪，當(dāng)然也有一些別的副業(yè)。
    可以說。
    鎮(zhèn)魔司中，每一個(gè)人手上都沾染了許多的鮮血。
    當(dāng)一個(gè)人見慣了生死，那么對很多事情，都會變得淡漠。
    剛開始來到這個(gè)世界的時(shí)候，沈長青有些不適應(yīng)，可久而久之也就習(xí)慣了。
    鎮(zhèn)魔司很大。
    能夠留在鎮(zhèn)魔司的人，都是實(shí)力強(qiáng)橫的高手，或者是有成為高手潛質(zhì)的人。
    沈長青屬于后者。
    其中鎮(zhèn)魔司一共分為兩個(gè)職業(yè)，一為鎮(zhèn)守使，一為除魔使。
    任何一人進(jìn)入鎮(zhèn)魔司，都是從最低層次的除魔使開始，
    網(wǎng)站即將關(guān)閉，下載愛閱app免費(fèi)看最新內(nèi)容
    然后一步步晉升，最終有望成為鎮(zhèn)守使。
    沈長青的前身，就是鎮(zhèn)魔司中的一個(gè)見習(xí)除魔使，也是除魔使中最低級的那種。
    擁有前身的記憶。
    他對于鎮(zhèn)魔司的環(huán)境，也是非常的熟悉。
    沒有用太長時(shí)間，沈長青就在一處閣樓面前停下。
    跟鎮(zhèn)魔司其他充滿肅殺的地方不同，此處閣樓好像是鶴立雞群一般，在滿是血腥的鎮(zhèn)魔司中，呈現(xiàn)出不一樣的寧靜。
    此時(shí)閣樓大門敞開，偶爾有人進(jìn)出。
    沈長青僅僅是遲疑了一下，就跨步走了進(jìn)去。
    進(jìn)入閣樓。
    環(huán)境便是徒然一變。
    一陣墨香夾雜著微弱的血腥味道撲面而來，讓他眉頭本能的一皺，但又很快舒展。
    鎮(zhèn)魔司每個(gè)人身上那種血腥的味道，幾乎是沒有辦法清洗干凈。