第182章 告訴我這是什麼！
「老師，你看看這個。」
接過負責數學英才班范教授遞來的論文。
王院士一邊看著一邊笑道：
「聽說上屆英才班，你們好像招了一個不得了的學生。
才一年的時間，就打算申請結業了。」
范教授聞言點了點頭。
「這就是她提交的本科畢業論文。」
「嗯？」
好像感覺自己眼花了一樣，王院士取下臉上的眼鏡擦了擦又看向論文的標題。
「Non-deterministic Polynomial。
多項式複雜程度的非確定性問題研究？」
「你確定沒有拿錯論文？」
「沒有，只是我對神經網絡算法中的非線性動力學研究不深。
有點看不懂她的推理過程。」
沒有在理會范教授的言論，王院士下意識取出紙筆開始驗算起來。
只是算到一半的時候，看到對方在連接權值上的引用時忽然眉頭一皺。
「可塑性用進廢退原則，DYSTAL動態穩定聯想算法？
這是她開創的數學工具？」
「不是，這是華清大學神經工程實驗室和社會資本成立的一個醫療設備公司的研究成果。
他們通過對腦神經上的研究，根據神經的物理連接，建立的數學模型。
屬於模擬算法上的一種。」
范教授的話讓王院長遲疑了起來。
自己將論文翻到了最後一頁，一看之下忍不住倒吸了一口涼氣。
ᴛᴡ看書📕sʜᴜ.ᴛᴡ
范教授見狀有些尷尬的撓了撓頭。
「是有點拉馬努金的風格，最後的論證公式有些複雜，不過結果還是挺讓人意外的。
她得出了一個解。
可以將所有NP問題均可通過多項式歸約轉化為NPC問題。」
「這是複雜的事麼？簡直丑的沒邊了！」
坐在椅子上的王院士對著范教授翻了一個白眼。
「如果這個公式被認證了。
作為數學史上最醜陋的數學公式就要換人了，這不是扯淡麼？」
有些失望的將論文放下，王院士看著范教授無奈搖了搖頭。
「在基礎數學的研究上，所有的計算與論證必須有著堅定的邏輯計算基礎。
以人類腦神經連接的物理過程模擬出的數學算法，來論證千禧難題。
這樣的論證過程沒有意義的。
別動不動就想搞個大新聞。
特別是面對這些孩子。
她們思維上的天馬行空，更應該強調他們在數學基礎上的認知！」
好像知道王院士會有這樣的反應。
范教授起身走到王院士的辦公桌旁，在他的電腦里輸入了一個網址。
皺著眉頭看著范教授的操作，等范教授打開網頁後，出現在頁面上的是一個簡潔的對話框。
范教授扭頭登錄了自己的郵箱，將郵箱內的一份圖標上傳了上去。
「如圖所示。」
「在上述坐標體系中的矢量表達上，∂ρ/∂t + ∇·(ρv) = 0 ∂(ρv)/∂t + ∇·(ρv⃗v) = -∇p + μ∇²v 。
其中p是流體密度，t是時間，v是流體的速度。。。。
問：流體在我們時空的尺度上是否連續？」」
坐在椅子上王院士，等看清范教授輸入的內容後，對范教授的行為有點摸不著頭腦。
「咋？
你還想百度出一個納維-斯托克斯方程解出來？」
范教授聞言對著王院士詭異一笑。
「如果真的出來了呢？」
隨著范教授的回車鍵按下，王教授剛想開口問些什麼，就看見對話框中，出現了一連串的回覆詞條。
「在上述的問題的拆解計算中因為歐拉方程多了一個二階導數項。
因此，在一些特定條件下，小愛很難求出方程的精確解。
只能根據量級分析，可以為你在確定解的特性上，獲得方程的近似解：
「流體在我們時空的尺度上並不連續。」
看著對話框內一連串的回覆，一旁的王院士猛的站了下來，下意識掏出了手機看了看上面的時間，又摸了摸自己的額頭。
2015年5月。
自己沒有記錯時間，也沒有發燒出現幻覺。
反應過來後，他有些顫抖的扶著王教授的胳膊。
「這是什麼。。。
告訴我這是什麼！」
「她已經對N-P問題進行了信息方面的應用。
前後用了一年半的時間和一個學院內信息系統專業的學生搭組，在基於分布式虛擬系統的計算雲台上，搞出了這個：
一個基於神經算法，搭載了NP智能的人工智慧。」
雖然自己的心裡已經有了答案。
但心中的話從范教授的口子說出來，還是讓王院士有些不敢置信。
「這不可能，這不可能！」
看著自己的老師也是一臉茫然的表情。
范教授也是無奈苦笑了一聲。
「當初看到這個公式的時候，我也覺得不可能。
甚至我以為她只是在計算機應用數學上有著比較深入的認知，從而開發出了這麼一個圖靈測試比較完美的人工智慧。
但是這個人工智慧的性能簡直不可思議。
它能夠將所有NP問題均通過時間多項式，歸約轉化為NPC問題，進而轉換成了滿足性的邏輯運算問題。
一切涉及NP問題在這個「它」面前，都變成了單純的計算量的累加。」
范教授的話讓王院士下意識扭頭看著辦公桌上那個令人看一眼就感覺到噁心的數學公式。
「所以這是真的？她真的解開了NP問題？
並且已經在計算機領域，進行了另類驗證？」
「目前看起來是的。」
「她人在哪？」
「就在我的辦公室里。」
「聯繫保衛局和學院內基礎數學系的所有院士和信息與計算科學系的黃院長他們都請過來，組織現場答辯。」
說著王院士捏著范教授的肩膀，嘴角都無意識的咧到了後牙槽。
「好，好！
你找了一個好學生，給你師父我長臉了，回頭通知一下你的師兄弟們。
告訴他們，你們要多了一個小師妹了！」
「啊？」
「啊什麼啊？還不快去組織叫人！」
「老師，你不能這樣呀！
我都和她說好了，要收她作為我的研究生，根據強基計劃3+X」彈性學制，博士也在我名下讀。」
「走什麼走！」
王院士聞言兩眼瞪的老大，有些不懷好意的盯著范教授。
「老子告訴你，這個學生你如果將他放走了，我扭頭將你逐出師門！
還愣著幹嘛？
還不快將你未來的小師妹請過來！」
接過負責數學英才班范教授遞來的論文。
王院士一邊看著一邊笑道：
「聽說上屆英才班，你們好像招了一個不得了的學生。
才一年的時間，就打算申請結業了。」
范教授聞言點了點頭。
「這就是她提交的本科畢業論文。」
「嗯？」
好像感覺自己眼花了一樣，王院士取下臉上的眼鏡擦了擦又看向論文的標題。
「Non-deterministic Polynomial。
多項式複雜程度的非確定性問題研究？」
「你確定沒有拿錯論文？」
「沒有，只是我對神經網絡算法中的非線性動力學研究不深。
有點看不懂她的推理過程。」
沒有在理會范教授的言論，王院士下意識取出紙筆開始驗算起來。
只是算到一半的時候，看到對方在連接權值上的引用時忽然眉頭一皺。
「可塑性用進廢退原則，DYSTAL動態穩定聯想算法？
這是她開創的數學工具？」
「不是，這是華清大學神經工程實驗室和社會資本成立的一個醫療設備公司的研究成果。
他們通過對腦神經上的研究，根據神經的物理連接，建立的數學模型。
屬於模擬算法上的一種。」
范教授的話讓王院長遲疑了起來。
自己將論文翻到了最後一頁，一看之下忍不住倒吸了一口涼氣。
ᴛᴡ看書📕sʜᴜ.ᴛᴡ
范教授見狀有些尷尬的撓了撓頭。
「是有點拉馬努金的風格，最後的論證公式有些複雜，不過結果還是挺讓人意外的。
她得出了一個解。
可以將所有NP問題均可通過多項式歸約轉化為NPC問題。」
「這是複雜的事麼？簡直丑的沒邊了！」
坐在椅子上的王院士對著范教授翻了一個白眼。
「如果這個公式被認證了。
作為數學史上最醜陋的數學公式就要換人了，這不是扯淡麼？」
有些失望的將論文放下，王院士看著范教授無奈搖了搖頭。
「在基礎數學的研究上，所有的計算與論證必須有著堅定的邏輯計算基礎。
以人類腦神經連接的物理過程模擬出的數學算法，來論證千禧難題。
這樣的論證過程沒有意義的。
別動不動就想搞個大新聞。
特別是面對這些孩子。
她們思維上的天馬行空，更應該強調他們在數學基礎上的認知！」
好像知道王院士會有這樣的反應。
范教授起身走到王院士的辦公桌旁，在他的電腦里輸入了一個網址。
皺著眉頭看著范教授的操作，等范教授打開網頁後，出現在頁面上的是一個簡潔的對話框。
范教授扭頭登錄了自己的郵箱，將郵箱內的一份圖標上傳了上去。
「如圖所示。」
「在上述坐標體系中的矢量表達上，∂ρ/∂t + ∇·(ρv) = 0 ∂(ρv)/∂t + ∇·(ρv⃗v) = -∇p + μ∇²v 。
其中p是流體密度，t是時間，v是流體的速度。。。。
問：流體在我們時空的尺度上是否連續？」」
坐在椅子上王院士，等看清范教授輸入的內容後，對范教授的行為有點摸不著頭腦。
「咋？
你還想百度出一個納維-斯托克斯方程解出來？」
范教授聞言對著王院士詭異一笑。
「如果真的出來了呢？」
隨著范教授的回車鍵按下，王教授剛想開口問些什麼，就看見對話框中，出現了一連串的回覆詞條。
「在上述的問題的拆解計算中因為歐拉方程多了一個二階導數項。
因此，在一些特定條件下，小愛很難求出方程的精確解。
只能根據量級分析，可以為你在確定解的特性上，獲得方程的近似解：
「流體在我們時空的尺度上並不連續。」
看著對話框內一連串的回覆，一旁的王院士猛的站了下來，下意識掏出了手機看了看上面的時間，又摸了摸自己的額頭。
2015年5月。
自己沒有記錯時間，也沒有發燒出現幻覺。
反應過來後，他有些顫抖的扶著王教授的胳膊。
「這是什麼。。。
告訴我這是什麼！」
「她已經對N-P問題進行了信息方面的應用。
前後用了一年半的時間和一個學院內信息系統專業的學生搭組，在基於分布式虛擬系統的計算雲台上，搞出了這個：
一個基於神經算法，搭載了NP智能的人工智慧。」
雖然自己的心裡已經有了答案。
但心中的話從范教授的口子說出來，還是讓王院士有些不敢置信。
「這不可能，這不可能！」
看著自己的老師也是一臉茫然的表情。
范教授也是無奈苦笑了一聲。
「當初看到這個公式的時候，我也覺得不可能。
甚至我以為她只是在計算機應用數學上有著比較深入的認知，從而開發出了這麼一個圖靈測試比較完美的人工智慧。
但是這個人工智慧的性能簡直不可思議。
它能夠將所有NP問題均通過時間多項式，歸約轉化為NPC問題，進而轉換成了滿足性的邏輯運算問題。
一切涉及NP問題在這個「它」面前，都變成了單純的計算量的累加。」
范教授的話讓王院士下意識扭頭看著辦公桌上那個令人看一眼就感覺到噁心的數學公式。
「所以這是真的？她真的解開了NP問題？
並且已經在計算機領域，進行了另類驗證？」
「目前看起來是的。」
「她人在哪？」
「就在我的辦公室里。」
「聯繫保衛局和學院內基礎數學系的所有院士和信息與計算科學系的黃院長他們都請過來，組織現場答辯。」
說著王院士捏著范教授的肩膀，嘴角都無意識的咧到了後牙槽。
「好，好！
你找了一個好學生，給你師父我長臉了，回頭通知一下你的師兄弟們。
告訴他們，你們要多了一個小師妹了！」
「啊？」
「啊什麼啊？還不快去組織叫人！」
「老師，你不能這樣呀！
我都和她說好了，要收她作為我的研究生，根據強基計劃3+X」彈性學制，博士也在我名下讀。」
「走什麼走！」
王院士聞言兩眼瞪的老大，有些不懷好意的盯著范教授。
「老子告訴你，這個學生你如果將他放走了，我扭頭將你逐出師門！
還愣著幹嘛？
還不快將你未來的小師妹請過來！」