作者：一桶布丁
“我買了個超算中心，不過要等十五天後才能正式移交，餘哥先去熟悉情況，以後他就被安排在那邊了。”寧爲答道。
“買了個超算中心？”魯東義凝視着寧爲，突然想到了帶這個小師弟去買房時，小師弟很謙虛的告訴他湍流算法上市了，實驗室先期獎勵了他一筆錢，買套房子還是夠的……
大概明白這是後期專利授權費開始發威了，然後魯東義深刻體會到了有錢任性的感覺，也大概明白寧爲爲什麼能對很多事情都不太在乎的樣子。
“花了多少錢？”魯東義愣過之後，開口問道。
“我負責掏1.9個億，其他不用管。不過買下來後可能還要花點錢升升級什麼的。”寧爲答道，有些事情畢竟是瞞不過身邊人的。
“呵……意思是回頭我有什麼需要計算的，不用去學校的計算平臺排隊了？”緩過神來的魯東義說了句。
“那還用說，必須的，回頭讓餘哥給魯師兄開個永久賬號。”寧爲立刻拍着胸脯道。
魯東義搖了搖頭，轉移了話題：“雖然說放棄了去國外留學的機會，但我建議你還是要跟學界主流保持溝通，這樣隨時都能知道一些學界最新的研究進展，更重要的是交流往往是靈感最重要的來源之一。”
寧爲想了想，然後答道：“可是難道您沒發現數學發展已經停滯許多年了？自從龐加萊猜想被證明後，也有幾年了，似乎已經有很長時間沒聽說主流數學界有什麼驚人的大進步了吧。不然我不過是證明個KLS猜想，怎麼可能鬧出那麼大動靜？”
“嗯……”
魯東義默然，2022年的菲爾茲獎最終頒發給了五位數學家，但所有獲獎者大概沒有一個人是開創性或者能在數學史上留下濃重一筆的成就。
比如其中一位袋鼠國的數學教授，獲獎理由是綜合分析數論，齊次動力系統，拓撲學和表示理論，解決了算術對象分佈等方面的一些問題。
怎麼說呢，這也就是寧爲冒起的時機的確是太巧了，一連串華麗麗的成就都出在世界數學家大會召開年，而大會上的報告名單早就在前一年就確定好了，寧爲壓根就沒納入候選人之中，不然以寧爲的成就這一屆菲爾茲獎不頒發給他一個的確是說不過去的。
四年一度的世界數學家大會是七月舉辦，寧爲關於NS方程三維特定條件下通用解的論文因爲一堆爛事折騰到三月底纔在自然上發表，證明KLS猜想更是已經到了五月底，雖然主流數學界已經關注到寧爲，但最終寧爲還是跟本屆世界數學家大會失之交臂。
所以對於寧爲那番話，魯東義還真說不上來什麼反對意見。
“看，你也認同我的看法對吧？現在我們只計算二區以上的期刊，都會發現每天都可能出現好幾千條新增的數學定理，但是其中百分之九十可能都會在若干年後被掃進歷史的垃圾桶。從屔財档矫飞財翟俚礁绮拢粋�連環命題每年能水出多少論文來？有時候我就在想啊，如果哪天哥猜被證僞了，全世界數學期刊需要刪除的相關論文如果全部用A4白紙打印出來，大概能在赤道上繞地球兩圈。”寧爲感嘆道。
“這話你可千萬別在田導面前亂說，他要聽了得吐血。”魯東義沒好氣的說了句。
寧爲沒理魯東義這番話，繼續說道“所以嘛，我一直認爲接下來數學應用最好的方向就是爲當今的人工智能發展方向設計出理論指導。只要我們能研究出一套完整的理論，能夠全方位的對人工智能領域各種算法給神經網絡提供理論基礎跟技術革新，一、兩個菲爾茲獎算什麼啊？不是小師弟我吹牛逼，如果真成功了，咱們給IMU輪值主席打個電話，讓他把下屆大會安排到咱們研究院召開，他連個屁都不敢放！”
“不止如此，咱們如果真能做到這一點，就在直接在華夏開兩款期刊，兩期刊都是針對這一領域的，一個數學期刊，一個計算機期刊。作爲開創者，以後想要根據我們的理論研究這個方向的數學家、計算機學家，首選肯定是我們的期刊。您想想，藉着現在人工智能蓬勃的市場需求，未來有多少人會義無反顧的投身於建設我們的理論跟算法？要不了幾年，只要是人工智能領域，我們就擁有了絕對的發言權！”
“想想看吧，人家還在尋找下一個藍海市場的時候，我們是在創造一個藍海！誰想交流都繞不開我們的理論基礎，繞不開以我們理論爲指導開發出的各種基礎智能算法，未來的智能手機、PC設備、可穿戴電子設備、自動駕駛汽車、智能家居、乃至於基礎的工業機器人，建立在智能基礎上的工業母機、基礎軟件等等，等等，都依託於我們構建的理論跟算法。”
“到了那一天什麼菲爾茲、諾貝爾、圖靈獎，不在是我們求着別人頒發給我們，而是他們求着我們派人去拿獎！因爲我們不去，就顯得他們那些破獎不夠正式。甚至我們還可以開創新的獎項，比如寧魯智能獎！四年頒發一次，獎勵給全世界對人工智能領域推動最大的科研工作者！獎金比諾貝爾更高，榮譽也比諾貝爾大，畢竟咱們的技術關係到未來人類生活的方方面面，更受普通人的重視！”
“更進一步說，到了那個時候，曾經的屠龍者就算變成了惡龍，誰也奈何不了我們！咱們自己人就算了，外人誰敢BB，就學那位盧卡森·弗蘭德的招兒，直接讓他閉嘴！這麼想想師兄是否感覺有那麼點小激動？”
寧爲一通長篇大論，讓魯東義徹底目瞪口呆。
盧卡森·弗蘭德對小師弟的打擊到底有多大，竟然就已經開始思考屠龍者要化身惡龍去欺負人了？當然這還在其次，最可怕的還是寧爲想的很深遠，如果這些都是寧爲的真實想法，真的實現了，這番描述也不一定太誇張，因爲這一切是曾經發生過的。
不管是軟件還是硬件，西方都已經靠各種知識產權跟專利保護規則，將基礎技術保護得嚴嚴實實。這些規則也是跨國科技公司敢於下血本去投入研發保持技術領先的基礎，如果寧爲真能專門爲人工智能設計出一整套全新的理論，並衍生出相應的算法並獲得成功，指引了未來強人工智能的發展方向，那對整個世界的影響力還真可能無限放大。
問題大概只在於所想能不能成功。魯東義不知道的是，寧爲此時當真是信心膨脹。
當然，寧爲的信心也不是憑空而生的。自從昨天在聽江同學彈琴時頓悟，寫出那個不等式之後，他已經將之前做過的種種都聯繫起來。
從研究NS方程開始，他最大的收穫並不是關於NS方程一定條件通解那篇論文，更不是寧爲空間在業界的影響，而是湍流算法的橫空出世，其算法本身就隱藏着軟件智能化的思想。
在到他接受採訪時，對人工智能領域產生反應，蹦出開發一款EDA軟件的念頭，並開始付諸實施，更是在這個方向上前進了一大步，雖然現在他的EDA軟件還沒有映入世界主流芯片設計師的眼簾，但在未來絕對是一大助力。
緊跟着是在SODA大會上，再次被觸動，從而有了三月的誕生，到了燕北大學之後，在三月的影響下，他又選擇了大數據跟人工智能基礎理論這個研究方向……
說白了，寧爲發現他的大腦在一步步引導他朝着人工智能領域深入發展的，然後便演變成了現在這種情況。寧爲也差不多想明白了，強人工智能領域有了重大突破，其意義絕對不止是民用上的各種應用革新那麼簡單，最重要的還是在科研領域，如果三月的能力可以複製一部分，就相當於多了無數可以日夜不休協助進行高頻計算的助手。
這是經過測試的，比如協助譚教授的碳納米材料項目試驗。
寧爲自信爆棚的根本原因則在於，他是有具體對象來研究的，通過對三月能力的深入挖掘，能對他研究的理論進行補充跟驗證，這是目前世界上任何一家智能實驗室都無法擁有的優勢，更是所有理論數學家不可能觸碰到的優勢。
等他把歸納出的五個基本理論問題都解決完成的時候，就是三月能正式跟全世界見面的時候。真到了那個時候，不管他轉向任何一個研究方向，都能事半功倍，而且大概率不會陷入缺錢進行研發的窘境。
所以寧爲此時信心滿滿，所以躊躇滿志，所以敢於跟魯東義說出這番話，換來師兄的滿腦子困惑。
“寧爲啊，你的想法我覺得挺好的，不過你現在跟我說這些，到底是？”
“我表達的還不夠明顯嗎？當然是勸魯師兄你把現在那些亂七八糟的開題都丟到一邊，來跟我一起爲咱們的事業奠基啊。你看哈，我這邊還有好幾個分支理論需要研究，需要人輔助，需要跟人討論縷清思路，未來更需要培養一批這個領域的研究生、博士生，總不能靠我一個人吧？”
“所以啊，我是這麼想的。咱們兩個先負責理論研究，餘興偉負責消化我們的理論，開發出相適應的算法。等我們又有了成果，就能去找更多的人加入進來。到時候你負責給新加入的講解咱們初期探討的思路，傳授課程，然後我們繼續往最終的方向推進。等到最後我們開發出一整套自洽且被證實可用的理論之後，咱們這個項目也差不多能從數學研究院獨立出來，專門搞一個國際人工智能研究院，魯師兄，你覺得如何？”
寧爲很乾脆挑明瞭自己的想法。
魯東義有些懵，原來寧爲繞了這麼一大圈竟然是想挖他，讓他轉換研究方向，放棄對PDE的研究投入人工智能數學理論構建的新領域，他下意識的看了眼桌面上自己的命題，跟剛剛思考的大概切入方向，陷入沉思。
不得不說，寧爲的這番話是很有蠱惑力的。
開創一個全新的領域，做強人工智能的奠基者，想想的確讓他有些激動，當然選擇也不是全無風險，畢竟人工智能對他而言是一個全新的領域，需要放棄現階段很可能出成果的研究內容去重新學習一個全新的領域，而且不知道未來是否真能成功，然而……
“魯師兄啊，我一直覺得呢，做科研咱們不能一直躺在舒適區，就好像田導讓我繼續研究NS方程，我也知道這個風向繼續下去，的確最有可能出成果，但我還是果斷放棄了。爲什麼？因爲不值得啊，不趁着精力最旺盛的時候拼一把，以後肯定後悔！還有啊，再有兩屆菲爾茲獎你就超過四十歲了吧？”
聽了這話，魯東義抬頭，認真的看了寧爲一眼，說道：“小師弟啊……”
“嗯？”
“你真厲害，今天這番話說得我如果不加入你，恐怕接下來根本沒心思研究自己的項目了。”
說着，魯東義乾脆拿起自己面前已經寫了許多內容的稿紙直接撕掉，然後平靜的繼續道：“好了，我從現在開始會仔細研究你之前的論文，有什麼問題咱們隨時碰頭交流。”
------------
189 做人做事都要公平
魯東義的乾脆有些出乎寧爲的意料，他本以爲還要多說兩句的，好在師兄似乎看出了他的疑惑，在他轉身前，感慨了一句：“照你說的，如果有一天，咱們的成就真能達到見到愛因斯坦得先給我們遞煙，碰到牛頓他得先來敬酒的高度，的確挺值得期待的。”
寧爲腳步頓了頓，品位了一番這追求，除了稍微有些不太吉利外，沒啥毛病。當即頭也不回的答道：“只要我們有自信，一定可以的！”
“哦，對了，後天就是國慶七天假了，做事情還是有張有弛比較好，我建議你可以好好的出去玩幾天，等假放完之後我會每天監督你工作狀態的。”魯東義又說了句。
寧爲隨便揮了揮手代表他知道了，然後果斷的回到了自己的辦公室。
人在陷入對未來的思考時，屁話通常會很多，即便是高智商也難以免俗，比如魯東義。
心情自然是更好了，寧爲想通了許多東西豁然開朗之後，已經明白他想做的事情光靠他一個人肯定不夠，哪怕是加上餘興偉也不夠，必須有一羣人能夠跟他有相同的理念，然後一起爲這個目標而奮鬥。
魯東義無疑從任何方面來看都是極爲合適的。自身智力條件就不用說了，本身還是燕北大學的副教授，且在國內數學界尤其是學生中間本身就具備極大影響力，以後振臂一呼，肯定能拉來不少感興趣的學生，在加上本身就有授課經驗，簡直完美！
把魯東義綁上了戰車還是得做出點東西，來鼓勵大家的。
坐到自己的辦公桌前，得意了一會後，寧爲才發現辦公室裏明顯被收拾過，他早上翻亂的東西都已經被擺的整整齊齊，窗臺上的花瓶裏也插上兩朵新鮮的桂花，正散發着怡人的花香。
顯然這是江同學專門來收拾過，寧爲閉上眼睛，狠狠的嗅了嗅房間內的香氣，這纔打開了自己的筆記本，開始繼續思考如何搭建他的理論框架。其實在參加stoc大會之後，寧爲便對基礎的人工智能搭建過一個基礎框架，並將之用到了三月的主程序構建，所以他現在需要考慮的是更加抽象的問題，機器的意識建模。
說的更清晰些，就是通過數學模型來描述物理狀態的整個信息系統。如果需要這一理論成立，那麼大概就可以理解爲相適應的算法將是機器的意識。
要從理論上解決這個問題，最困難的步驟就是要解決一個哲學上的命題，非還原主義。具體到他現在所考慮的人工智能領域，大概描述就是要證明這個世界類人高級智能活動過程能否全部或絕大部分還原爲計算過程。
如果可以，需要給出具體推導過程；即便不是所有人類智能活動過程都還原爲計算過程，理論上也要給出儘可能多的高級智能夠還原爲基本計算過程的原理，因爲這是強人工智能數學理論中最重要的部分。當然，如果可以還要嘗試論證被摒棄的那一部分是無用智能……
比如對於人類來說，其實並不需要給爲你輔助的智能設備添加審美功能。畢竟不能說以後某位長得過於抽象的客戶買了一部最新的智能手機，智能手機還能因爲攝像頭感知到主人長得太醜而長期以低效的模式提供智能服務，這就是屬於給自己找麻煩的高級智能還原。
這是寧爲正在做的東西。
他需要將一系列人類需要的智能反應過程，轉化爲計算過程提供出有力的理論證明，並結合大數據證明機器可以擁有主動學習能力，併爲實現更精確的計算機視覺、聽覺甚至觸覺提供一個更簡單更精準的理論指導。
說起來簡單，但真的做起來卻是極爲複雜的過程。在製作數學模型的時候需要充分考慮到其可擴展性，包括每個計算單元、每個算符，想要實現一個很簡單的能力可能都需要多級程序語言調用的多級編譯或解釋系統。這一點是從構建三月主體程序得到的經驗。
以三月爲例，現在三月就具備了一定的程序感知能力，跟對基本語義的識別能力，這些都是建立在主動學習基礎之上的。但實際上就目前的三月來說，相對於她審覈那些可公式化的數學稿件，在識別人類基礎語義這塊消耗的算力要更多。
想要讓機器如同人類一樣去識別語言語義，尤其是識別一些不同環境下能表現豐富情緒的語義，往往還需要機器對情緒的洞察力。
而這一切都是人工智能理論構架的基礎，其難度自然是極大的，寧爲能做的便是將所有的問題分解成一個個小問題，然後一個個解決，最終形成整套大理論。
比如他已經解決了其中最簡單的大數據壓縮難題。通過強壓縮手段可以讓人工智能程序在最短時間內獲得最多的數據來鍛鍊其本身的分析判斷能力。現在寧爲正在做的則是人類理解語義、情緒的計算還原過程。
這塊做完了，他的拔尖青年項目也能順利完成，順便在拿個圖靈獎大概問題不大。這塊的難度雖然極大，超乎想象的大，但有三月作爲參照物，卻讓難度直線下跌了不少，最關鍵的點在於整個學習過程的計算模式還原。
大概瀏覽了之前已經完成的內容，寧爲快速的開始在程序中構建大腦中確定的行爲模式模型。
“定義7，數據對象o是一個有指定類t的變量v，v∈v ? pv ? u，其由類型約束μv（t）限制以便將此一般類t通過子域裁剪t″轉化爲一給定問題的特定類t′。
“即o ?”
……
“嗨，你回來了？”當辦公室門推開，江同學走進辦公室時，寧爲恰好通過列出的定義，完成了論文中一個定理的證明。
“是啊，今天出門忙了一天，累死了。”寧爲心滿意足的推開了面前的筆記本，看了眼時間，正好晚上九點半。
“忙什麼去了？”江同學坐在鋼琴前順口問了句。
“去買了些二手電腦設備。”寧爲想了想，答道。
“哦！”江同學點了點頭，然後推開了琴蓋。
“那個，花了差不多兩個億吧。”寧爲又說道，有些事還是得讓這女孩知道的，他沒興趣像電視劇情節裏一樣，隱瞞自己身價，然後惹出些人間輕喜劇。
兩人已經確定在一起了，有些事情就沒必要藏着掖着。主要是寧爲覺得以後他賺得肯定要比幾個億多。
女孩手頓了頓，側着臉有些疑惑的看向坐在對面的寧爲：“兩個億是指人民幣？”
“嗯吶，前些天我的專利授權到賬了，考慮到要讓三月發揮更大的性能，今天就去買了個超算中心。記得我跟你說過吧，湍流算法我授權出去了，然後每個季度都能分點錢。”寧爲點了點頭，解釋道。
“哦！”江晨霜嘟着嘴點了點頭，問了句：“那你這應該算是提前財務自由了吧？”
寧爲想了想，好像的確如此，便點了點頭說道：“如果不亂來的話，差不多夠了。不過也得看怎麼花。比如買個超算中心就花了1.9億，要維護這個超算中心每個月花費也不少，大概問了下，所有優惠都算上，一個月下來大概也要大幾十萬吧。”
“那你可得繼續努力。如果你以後想建個大實驗室可能更花錢。”江晨霜點了點頭，說了句，然後雙手很自然的搭在了電鋼琴上。
任由琴聲在房間內流淌，寧爲立刻閉嘴不言，欣賞着女孩彈琴的姿勢，就好像在維也納金色大廳裏欣賞鋼琴獨奏。當然，如果把電鋼琴換成更大氣的鋼琴就更完美了。
一個小時很快過去，當江晨霜如同往常一樣合上琴蓋時，寧爲也從位置上站了起來：“走吧，我送你回寢室。”
孩點了點頭，然後如同往常一樣，被寧爲攥着走出了辦公室。
“魯教授那邊還亮着燈呢，還在忙啊？”
“最近一段時間魯師兄都會比較忙，沒辦法，功課落後太多了，他得趕緊趕上來。”寧爲驕傲的說道。
讓一位數學家放棄自己原本研究的東西換到一個全新的方向來，可不是一件簡單的事情，但他做到了，當然有理由驕傲，這起碼代表着魯師兄對他的認可。
“魯師兄還要做功課？”江晨霜疑惑的問了句。
“嘿嘿，換了研究方向，前期當然要做足功課。這就跟你們學習數學一個道理，比如開始學習洛必達法則，就要不斷做題聯繫，把這個數學工具哂檬炀氁粯印！�
寧爲解釋了句，隨後說道：“別理魯師兄了，後天就是國慶節了，我準備給自己放幾天假，你有沒有特別想去的地方？我們可以出去玩一圈。”
“國慶人很多的，還是不要出去湊熱鬧了吧？而且你也說了以後超算中心很花錢的，假日出門人多還很貴，不如呆在學校裏。”女孩搖了搖頭說道。
“錢其實問題不大的。你不能小看我的吸金能力，不過你要嫌人多的話，咱們就定一個京城遊玩計劃唄，說起來我來京城這麼長時間了，還真沒出去逛過，你得陪我。”寧爲要求道。
“哦，那我們就出去玩三天，剩下四天時間我複習功課準備期中考試，你就忙你的研究好不好嘛？”女孩側過頭，軟軟的祈求道。
聽了這話寧爲有些氣悶，問道：“期中考試有那麼重要嗎？”
江晨霜想了想，然後點了點頭，老實的答道：“如果不及格就不好了，這學期開的公司財務學跟銀行貨幣學好多概念我還要多看看書才能理解，而且今年還是高數b跟線代最後一學期課程，如果不過關，就真得重修了。”
“不是，你憑什麼覺得你的高數b跟線代會重修？晨霜同學，你是不是有點太不把你男朋友放在眼裏了？以後你每天晚上給我送飯後，我幫你補習一小時這兩門課。”寧爲說道。
經濟學的東西寧爲不太懂，但是要說道高數跟線代，他是真的精神了。
“那這樣不會耽誤你做研究的嗎？”江晨霜嘟着嘴說道。
“半小時讓你做題，找出你的問題在哪，半小時給你講解，能耽誤什麼？放心好了，給你輔導的時間對我來說就是休息下腦子。對了，我上次讓朋友幫你整理的資料，你都發給你妹妹了嗎？”寧爲又追問了句。
“發了……”
“嗯，那就行，那你告訴你妹妹，那些資料都是她姐夫準備的嗎？”
“啊……”江晨霜有些懵，然後老老實實的搖了搖頭。
“所以你說的是一個朋友？”寧爲又不樂意了，側頭瞪了眼身邊的女孩問道。
江晨霜微不可查的點了點頭，小聲爭辯了句：“她在讀高三呢，哪好跟她說這些。”
“這有什麼不好說的？你談戀愛又不是她談戀愛。”
寧爲嘟囔了句，想了想，他從兜裏摸出一張銀行卡遞了過去：“這事我不跟你計較了，你把這張卡拿着，你每天要給我送晚飯，以後我的飯錢就從這張卡里出。裏面沒什麼錢，這事我讀博士後學校要求辦的卡，裏面是我讀博的補貼，以後當助教的補貼也會打到這張卡里，每個月加起來好像能有五千來塊吧，反正不多，你隨便用。密碼是我的生日，回頭我微信上發給你。”
“這不好吧？”
“有什麼不好的？都說了裏面就是工資。我的東西愛給誰給誰，不想給誰別人也不能惦記。咋滴，再說昨天你把我的初吻無情奪走，難道你還打算以後不負責任了？”寧爲厲聲質問道。
“啊？！”江同學詫異的看着寧爲整個人又愣住了，大概沒想到有人竟然能死不要臉到這種程度。
看着女孩傻呆呆的樣子，加上兩人正好走到兩個路燈中間的陰暗處，寧爲沒忍住再次抱住了女孩，然後頭俯了下去……
怎麼說呢，昨天被奪走了初吻，今天當然要再奪回來，任何時候公平兩個字都很重要。
------------