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