≈bp;≈bp;≈bp;≈bp;“不對，事情沒這麽簡單”，王一男才不相信，老和尚慈眉善目的在這裏等半天，就是為了給自己講一個老掉牙的故事。

    ≈bp;≈bp;≈bp;≈bp;但是，王一男今天去紫金山都是臨時起意，更不要說來靈穀寺了，要是有人安排的話，這個人未免也太神通廣大了一些，或者在金陵每一個廟裏麵都安排這麽個老和尚？

    ≈bp;≈bp;≈bp;≈bp;王一男搖搖頭，趕跑了腦海裏這個不可思議的念頭，開玩笑，隻有瘋子才會做這種事情的。

    ≈bp;≈bp;≈bp;≈bp;給王一男講完這個買櫝還珠的故事之後，老和尚又盤腿坐在蒲團上，一言不發，一副得道高僧的樣子，王一男再問他什麽，卻怎麽都不說話了。

    ≈bp;≈bp;≈bp;≈bp;好吧，王一男恭恭敬敬的給老和尚鞠了一個躬，轉身向外走去，不管怎麽樣，這家夥提醒自己，最近是有點自我膨脹的厲害，還是挺有幫助的，任何時候都應該保持低調，悶聲發大財才是王一男一貫的處事風格啊。

    ≈bp;≈bp;≈bp;≈bp;走出靈穀寺山門的時候，暮色已深，習習山風吹過，似乎在提醒王一男，現在已經是深秋時節，收獲的季節就要到了。

    ≈bp;≈bp;≈bp;≈bp;“珍珠”，“箱子”，王一男一邊往外走，嘴裏一邊念念有詞。

    ≈bp;≈bp;≈bp;≈bp;與此同時，在歐羅巴核子研究所r，威騰沉思良久之後，還是在寄往瑞典的一封信中，寫下了王一男和李文靜的名字。

    ≈bp;≈bp;≈bp;≈bp;跟他一樣的，還有不列顛、大米國以及太陽國的好幾位物理學家、化學家，原來不知不覺，已經到了諾貝爾獎的提名季。

    ≈bp;≈bp;≈bp;≈bp;當然，王一男不會知道這一刻在藍星上發生的一切，在金陵的街道上，他像得了失心瘋一樣，不斷地重複著，“什麽是珍珠，什麽是箱子”。

    ≈bp;≈bp;≈bp;≈bp;在絕大多數人眼裏，特別是絕大多數數學家的眼裏，“g不可描述定理”是繼哥德爾不完備定理之後，公理邏輯領域的重大發現，其意義怎麽強調都不為過，是不折不扣的珍珠。

    ≈bp;≈bp;≈bp;≈bp;那些證明定理過程中使用的方法，還有很多隻是用來演算和建立定理用到的，並沒有在最後的論文出現的形式化方法，當然就是不折不扣的盒子了，證明完了可以隨手扔掉。

    ≈bp;≈bp;≈bp;≈bp;但是，王一男其實並不想證明什麽不可描述性，對於他來說，理論是不是完美是可選項，而不像格羅滕迪克一樣，是必要項。

    ≈bp;≈bp;≈bp;≈bp;“對於我來說，什麽是珍珠？”，王一男問自己，“那個該死的定理顯然不是，因為對我來說，除了換來點不屬於自己的虛名以外，一點價值都沒有”。

    ≈bp;≈bp;≈bp;≈bp;“那麽，這些形式化方法，還有數學工具是珍珠嗎？”，

    ≈bp;≈bp;≈bp;≈bp;“不對，不對，我被老和尚繞暈了”，王一男走在僻靜的林蔭小道上，隨手就給了自己清脆的一巴掌。

    ≈bp;≈bp;≈bp;≈bp;邊上一位帶著小朋友的媽媽趕緊把孩子拉到自己懷裏，“叔叔應該是腦子有毛病”，

    ≈bp;≈bp;≈bp;≈bp;“你當然不能學啊，打自己是很不好的行為”，

    ≈bp;≈bp;≈bp;≈bp;“不用去問他啦，肯定很痛的”。

    ≈bp;≈bp;≈bp;≈bp;王一男顧不上澄清，“我一點毛病都沒有！”

    ≈bp;≈bp;≈bp;≈bp;他在想，“對於我來說，現在的問題不是哪一個是珍珠，而是學到的所有東西，什麽對我是有價值的？”

    ≈bp;≈bp;≈bp;≈bp;“衡量是不是有價值的標準也很簡單，是不是對我要做的事情有幫助就行了”。

    ≈bp;≈bp;≈bp;≈bp;王一男越想越覺得清晰，好像抓住了什麽了不得的東西。

    ≈bp;≈bp;≈bp;≈bp;“不可描述定理對我肯定沒有，那就剩下這些數學工具，形式化方法等等了”，王一男想，

    ≈bp;≈bp;≈bp;≈bp;“這些東西對我有什麽用呢”，

    ≈bp;≈bp;≈bp;≈bp;“對現有的超導理論肯定是沒什麽用處了，但是未來，如果哥德爾係統或者下一代哥德爾係統發現了新的超導材料，有了這些形式化方法，以及數學工具”，

    ≈bp;≈bp;≈bp;≈bp;“就有可能更加容易的得出新的理論來對神經網絡的結果進行解釋，而不像以前那樣兩眼一抹黑，需要請教多位大師，依靠眾人的智慧才能找到人類可以理解的理論”，

    ≈bp;≈bp;≈bp;≈bp;“雖然複雜性到了一定程度，肯定會是不可描述的，但是以現有的神經網絡複雜程度來看，還是很有機會找到人類可以理解的理論解釋”。

    ≈bp;≈bp;≈bp;≈bp;“不是這個，不是這個”，雖然找到一個理想的用途，但是籠罩在王一男身上的那種挫敗感沒有一點減輕的跡象，

    ≈bp;≈bp;≈bp;≈bp;“不對，不對，我肯定忽略了什麽”，除了用來解釋未來的新結果以外，肯定還有些其他的用途，王一男苦苦的思索著。

    ≈bp;≈bp;≈bp;≈bp;不知不覺的，他從靈穀寺走到中山陵的大門口，又不知不覺的，走到金陵最繁華的鬧市中心，新街口。

    ≈bp;≈bp;≈bp;≈bp;金陵作為一座商業城市，而新街口又是這座城市的商業中心，即使不是周末，華燈初上的時候，仍然是人流如織，走在擁擠的人群中，不用戴上大帽子、還有墨鏡和圍巾，也沒有人知道，沒有人關心你是一個普通人呢，還是大明星。

    ≈bp;≈bp;≈bp;≈bp;順著人流，王一男在幾個商場之間逛來逛去，他本來也沒什麽明確的目的地，嘴裏念叨著誰都聽不懂的數學術語，時不時再看看櫥窗裏麵新潮的衣服、還有皮包啥的。

    ≈bp;≈bp;≈bp;≈bp;王一男感覺，有些了不得的東西，就在觸手可及的地方，可就是抓不著，這種感覺差點沒讓他發狂。

    ≈bp;≈bp;≈bp;≈bp;這時候，王一男的電話響了，是陳子豪打過來的，“老大，你什麽時候過來視察啊”，

    ≈bp;≈bp;≈bp;≈bp;“我們的原型係統開發的差不多了”，

    ≈bp;≈bp;≈bp;≈bp;“但是殺手應用還是很難找啊，人工智能倒是一個不錯的方向，人臉識別啊、圖像識別等等，但是對硬件上的限製還是蠻大的”，

    ≈bp;≈bp;≈bp;≈bp;“對，我們在嚐試一些號稱低成本的神經網絡芯片，不過測試的結果不怎麽靠譜”。

    ≈bp;≈bp;≈bp;≈bp;王一男答應陳子豪，“我這邊事情一忙完就過來，本周之內肯定跟大夥碰一碰”，

    ≈bp;≈bp;≈bp;≈bp;得到準信的陳子豪，心滿意足的掛掉電話，王一男去拿著電話，傻傻的站在人群中，好半天一動不動。

    ≈bp;≈bp;≈bp;≈bp;不巧邊上又是那位小朋友和她的媽媽，“媽咪快看，剛才打自己的叔叔一動不動，是不是被人用了定身法“，

    ≈bp;≈bp;≈bp;≈bp;“別胡說，隻有神話裏麵才有定身法”，

    ≈bp;≈bp;≈bp;≈bp;“哎呀，真不對，都一分鍾了，拿著電話動都不動”，這位媽媽也慌了，正準備打電話呢，

    ≈bp;≈bp;≈bp;≈bp;王一男總算活了過來，“啪”的一聲，他再次給了自己一個嘴巴，“媽咪，叔叔又打自己了，而且看起來很開心的樣子，我也想試試看”。

    ≈bp;≈bp;≈bp;≈bp;“我真蠢，我單知道山上沒有狼”，王一男衝出人群，嘴裏念念有詞的衝向酒店。

    ≈bp;≈bp;≈bp;≈bp;這一次，王一男真正明白了，自己忽略了一座什麽樣的金礦。

    ≈bp;≈bp;≈bp;≈bp;古有王陽明洞中悟道，出關之後便縱橫天下，無往不利，今有王一男，剛好也姓王，新街口悟道，在此之後，金陵多了一個新街口打耳光的傳說。

    ≈bp;≈bp;≈bp;≈bp;王一男想到了什麽，讓他這麽激動呢？

    ≈bp;≈bp;≈bp;≈bp;大家知道，現在實用化的人工智能應用，基本都是基於神經網絡的，而神經網絡應用，基本都是建立在專用的硬件之上的。

    ≈bp;≈bp;≈bp;≈bp;應用的過程是這樣的，首先，利用大規模的樣本，對神經網絡進行訓練，當然，訓練可以有很多種，分類、識別是其中最普遍，也最成熟的。

    ≈bp;≈bp;≈bp;≈bp;訓練完成之後，也就是說神經網絡基本穩定之後，再使用訓練完成的神經網絡來完成實際的任務，比如說識別一個具體的圖像、數字或者語音文字等等。

    ≈bp;≈bp;≈bp;≈bp;也就是說，訓練和應用都需要建立在專用的硬件上，主要是gpu、ai或者最新的人工智能芯片。

    ≈bp;≈bp;≈bp;≈bp;米哥的圍棋狗也是一樣，訓練所生成的神經網絡是人類所無法理解的，而格羅滕迪克發現的定理，進一步證明，這種神經網絡，複雜程度達到一定界限之後，是不能用有限的公理邏輯和形式化理論來描述。

    ≈bp;≈bp;≈bp;≈bp;但是，注意這個但是，理論證明有限步驟的描述是不可能的，並不代表對神經網絡的形式化就沒有價值了！

    ≈bp;≈bp;≈bp;≈bp;理論上完整的理解和描述是不可能的，並不意味著簡化的近似的描述就不可能了！

    ≈bp;≈bp;≈bp;≈bp;換句話來說，運用從格羅滕迪克那裏學到的數學工具，形式化方法，加上王一男自身的研究和理解，隻要有了關於神經網絡組成的基本原理，比如說是bp類型的，還是霍普菲爾德類型的，是基於退火的，還是基於深度學習的。

    ≈bp;≈bp;≈bp;≈bp;王一男就能找到一些通用的方法和技巧，將神經網絡分塊映射到一個有限狀態自動機上，使得整個有限狀態自動機和神經網絡的某一個分塊在一定的精度範圍是等價的。

    ≈bp;≈bp;≈bp;≈bp;也就是說，對於同樣的輸入，神經網絡跟等價的有限狀態自動機將得到基本一致的輸出。

    ≈bp;≈bp;≈bp;≈bp;友情提示，任何一個有限狀態自動機，都可以等價於一段程序代碼。

    ≈bp;≈bp;≈bp;≈bp;再明確一下王一男悟出的東西，他現在可以找到一係列普遍適用的數學工具和方法，將任何類型的訓練完成的神經網絡，映射到一個基本等價的有限狀態自動機，或者說，一段特定pu體係的程序代碼上。

    ≈bp;≈bp;≈bp;≈bp;換句話說，他隻要能拿到米國圍棋狗神經網絡的詳細結構，以及訓練完成之後大殺四方的最終狀態，再利用這一係列數學工具，形式化方法，配合手工，或者一部分自動化的程序，就能夠得到特定體係，比如說的一係列代碼片段，

    ≈bp;≈bp;≈bp;≈bp;這些代碼可能是混亂和無序的，但是跟原始的訓練完成的神經網絡將是基本功能等價的！

    ≈bp;≈bp;≈bp;≈bp;隻要對整個米哥圍棋狗的神經網絡進行了全麵的映射，最終得到的所有代碼整合在一起，就可以在普通的台式機，甚至筆記本上讓柯潔兩子！

    ≈bp;≈bp;≈bp;≈bp;“我靠，這回發了”，王一男在酒店電梯上，興奮地渾身發抖。（WWW.101novel.com）