“不對，事情沒這麼簡單”，王一男才不相信，老和尚慈眉善目的在這裡等半天，就是為了給自己講一個老掉牙的故事。
但是，王一男今天去紫金山都是臨時起意，更不要說來靈谷寺了，要是有人安排的話，這個人未免也太神通廣大了一些，或者在金陵每一個廟裡面都安排這麼個老和尚？
王一男搖搖頭，趕跑了腦海裡這個不可思議的念頭，開玩笑，只有瘋子才會做這種事情的。
給王一男講完這個買櫝還珠的故事之後，老和尚又盤腿坐在蒲團上，一言不發，一副得道高僧的樣子，王一男再問他什麼，卻怎麼都不說話了。
好吧，王一男恭恭敬敬的給老和尚鞠了一個躬，轉身向外走去，不管怎麼樣，這傢伙提醒自己，最近是有點自我膨脹的厲害，還是挺有幫助的，任何時候都應該保持低調，悶聲發大財才是王一男一貫的處事風格啊。
【鑑於大環境如此，本站可能隨時關閉，請大家儘快移步至永久運營的換源App，huanyuanapp.org 】
走出靈谷寺山門的時候，暮色已深，習習山風吹過，似乎在提醒王一男，現在已經是深秋時節，收穫的季節就要到了。
“珍珠”，“箱子”，王一男一邊往外走，嘴裡一邊唸唸有詞。
與此同時，在歐羅巴核子研究所CERN，威騰沉思良久之後，還是在寄往瑞典的一封信中，寫下了王一男和李文靜的名字。
跟他一樣的，還有不列顛、大米國以及太陽國的好幾位物理學家、化學家，原來不知不覺，已經到了諾貝爾獎的提名季。
當然，王一男不會知道這一刻在藍星上發生的一切，在金陵的街道上，他像得了失心瘋一樣，不斷地重複著，“什麼是珍珠，什麼是箱子”。
在絕大多數人眼裡，特別是絕大多數數學家的眼裡，“GW不可描述定理”是繼哥德爾不完備定理之後，公理邏輯領域的重大發現，其意義怎麼強調都不為過，是不折不扣的珍珠。
那些證明定理過程中使用的方法，還有很多只是用來演算和建立定理用到的，並沒有在最後的論文出現的形式化方法，當然就是不折不扣的盒子了，證明完了可以隨手扔掉。
但是，王一男其實並不想證明什麼不可描述性，對於他來說，理論是不是完美是可選項，而不像格羅滕迪克一樣，是必要項。
“對於我來說，什麼是珍珠？”，王一男問自己，“那個該死的定理顯然不是，因為對我來說，除了換來點不屬於自己的虛名以外，一點價值都沒有”。
“那麼，這些形式化方法，還有數學工具是珍珠嗎？”，
“不對，不對，我被老和尚繞暈了”，王一男走在僻靜的林蔭小道上，隨手就給了自己清脆的一巴掌。
邊上一位帶著小朋友的媽媽趕緊把孩子拉到自己懷裡，“叔叔應該是腦子有毛病”，
“你當然不能學啊，打自己是很不好的行為”，
“不用去問他啦，肯定很痛的”。
王一男顧不上澄清，“我一點毛病都沒有！”
他在想，“對於我來說，現在的問題不是哪一個是珍珠，而是學到的所有東西，什麼對我是有價值的？”
“衡量是不是有價值的標準也很簡單，是不是對我要做的事情有幫助就行了”。
王一男越想越覺得清晰，好像抓住了什麼了不得的東西。
“不可描述定理對我肯定沒有，那就剩下這些數學工具，形式化方法等等了”，王一男想，
“這些東西對我有什麼用呢”，
“對現有的超導理論肯定是沒什麼用處了，但是未來，如果哥德爾系統或者下一代哥德爾系統發現了新的超導材料，有了這些形式化方法，以及數學工具”，
“就有可能更加容易的得出新的理論來對神經網絡的結果進行解釋，而不像以前那樣兩眼一抹黑，需要請教多位大師，依靠眾人的智慧才能找到人類可以理解的理論”，
“雖然複雜性到了一定程度，肯定會是不可描述的，但是以現有的神經網絡復雜程度來看，還是很有機會找到人類可以理解的理論解釋”。
“不是這個，不是這個”，雖然找到一個理想的用途，但是籠罩在王一男身上的那種挫敗感沒有一點減輕的跡象，
“不對，不對，我肯定忽略了什麼”，除了用來解釋未來的新結果以外，肯定還有些其他的用途，王一男苦苦的思索著。
不知不覺的，他從靈谷寺走到中山陵的大門口，又不知不覺的，走到金陵最繁華的鬧市中心，新街口。
金陵作為一座商業城市，而新街口又是這座城市的商業中心，即使不是週末，華燈初上的時候，仍然是人流如織，走在擁擠的人群中，不用戴上大帽子、還有墨鏡和圍巾，也沒有人知道，沒有人關心你是一個普通人呢，還是大明星。
順著人流，王一男在幾個商場之間逛來逛去，他本來也沒什麼明確的目的地，嘴裡唸叨著誰都聽不懂的數學術語，時不時再看看櫥窗裡面新潮的衣服、還有皮包啥的。
王一男感覺，有些了不得的東西，就在觸手可及的地方，可就是抓不著，這種感覺差點沒讓他發狂。
這時候，王一男的電話響了，是陳子豪打過來的，“老大，你什麼時候過來視察啊”，
“我們的原型系統開發的差不多了”，
“但是殺手應用還是很難找啊，人工智慧倒是一個不錯的方向，人臉識別啊、圖像識別等等，但是對硬體上的限制還是蠻大的”，
“對，我們在嘗試一些號稱低成本的神經網絡晶片，不過測試的結果不怎麼靠譜”。
王一男答應陳子豪，“我這邊事情一忙完就過來，本週之內肯定跟大夥碰一碰”，
得到準信的陳子豪，心滿意足的掛掉電話，王一男去拿著電話，傻傻的站在人群中，好半天一動不動。
不巧邊上又是那位小朋友和她的媽媽，“媽咪快看，剛才打自己的叔叔一動不動，是不是被人用了定身法“，
“別胡說，只有神話裡面才有定身法”，
“哎呀，真不對，都一分鐘了，拿著電話動都不動”，這位媽媽也慌了，正準備打電話呢，
王一男總算活了過來，“啪”的一聲，他再次給了自己一個嘴巴，“媽咪，叔叔又打自己了，而且看起來很開心的樣子，我也想試試看”。
“我真蠢，我單知道山上沒有狼”，王一男衝出人群，嘴裡唸唸有詞的衝向酒店。
這一次，王一男真正明白了，自己忽略了一座什麼樣的金礦。
古有王陽明洞中悟道，出關之後便縱橫天下，無往不利，今有王一男，剛好也姓王，新街口悟道，在此之後，金陵多了一個新街口打耳光的傳說。
王一男想到了什麼，讓他這麼激動呢？
大家知道，現在實用化的人工智慧應用，基本都是基於神經網絡的，而神經網絡應用，基本都是建立在專用的硬體之上的。
應用的過程是這樣的，首先，利用大規模的樣本，對神經網絡進行訓練，當然，訓練可以有很多種，分類、識別是其中最普遍，也最成熟的。
訓練完成之後，也就是說神經網絡基本穩定之後，再使用訓練完成的神經網絡來完成實際的任務，比如說識別一個具體的影象、數字或者語音文字等等。
也就是說，訓練和應用都需要建立在專用的硬體上，主要是GPU、ASIC或者最新的人工智慧晶片。
米哥的圍棋狗也是一樣，訓練所生成的神經網絡是人類所無法理解的，而格羅滕迪克發現的定理，進一步證明，這種神經網絡，復雜程度達到一定界限之後，是不能用有限的公理邏輯和形式化理論來描述。
但是，注意這個但是，理論證明有限步驟的描述是不可能的，並不代表對神經網絡的形式化就沒有價值了！
理論上完整的理解和描述是不可能的，並不意味著簡化的近似的描述就不可能了！
換句話來說，運用從格羅滕迪克那裡學到的數學工具，形式化方法，加上王一男自身的研究和理解，只要有了關於神經網絡組成的基本原理，比如說是BP型別的，還是霍普菲爾德型別的，是基於退火的，還是基於深度學習的。
王一男就能找到一些通用的方法和技巧，將神經網絡分塊對映到一個有限狀態自動機上，使得整個有限狀態自動機和神經網絡的某一個分塊在一定的精度範圍是等價的。
也就是說，對於同樣的輸入，神經網絡跟等價的有限狀態自動機將得到基本一致的輸出。
友情提示，任何一個有限狀態自動機，都可以等價於一段程序代碼。
再明確一下王一男悟出的東西，他現在可以找到一系列普遍適用的數學工具和方法，將任何型別的訓練完成的神經網絡，對映到一個基本等價的有限狀態自動機，或者說，一段特定CPU體系的程序代碼上。
換句話說，他只要能拿到米國圍棋狗神經網絡的詳細結構，以及訓練完成之後大殺四方的最終狀態，再利用這一系列數學工具，形式化方法，配合手工，或者一部分自動化的程式，就能夠得到特定體系，比如說X86的一系列程式碼片段，
這些程式碼可能是混亂和無序的，但是跟原始的訓練完成的神經網絡將是基本功能等價的！
只要對整個米哥圍棋狗的神經網絡進行了全面的對映，最終得到的所有X86程式碼整合在一起，就可以在普通的桌上型電腦，甚至筆記本上讓柯潔兩子！
“我靠，這回發了”，王一男在酒店電梯上，興奮地渾身發抖。（未完待續）