第(1/3)頁(yè)

    魯東義的干脆有些出乎寧為的意料，他本以為還要多說(shuō)兩句的，好在師兄似乎看出了他的疑惑，在他轉(zhuǎn)身前，感慨了一句：“照你說(shuō)的，如果有一天，咱們的成就真能達(dá)到見(jiàn)到愛(ài)因斯坦得先給我們遞煙，碰到牛頓他得先來(lái)敬酒的高度，的確挺值得期待的。”

    寧為腳步頓了頓，品位了一番這追求，除了稍微有些不太吉利外，沒(méi)啥毛病。當(dāng)即頭也不回的答道：“只要我們有自信，一定可以的！”

    “哦，對(duì)了，后天就是國(guó)慶七天假了，做事情還是有張有弛比較好，我建議你可以好好的出去玩幾天，等假放完之后我會(huì)每天監(jiān)督你工作狀態(tài)的。”魯東義又說(shuō)了句。

    寧為隨便揮了揮手代表他知道了，然后果斷的回到了自己的辦公室。

    人在陷入對(duì)未來(lái)的思考時(shí)，屁話通常會(huì)很多，即便是高智商也難以免俗，比如魯東義。

    心情自然是更好了，寧為想通了許多東西豁然開(kāi)朗之后，已經(jīng)明白他想做的事情光靠他一個(gè)人肯定不夠，哪怕是加上余興偉也不夠，必須有一群人能夠跟他有相同的理念，然后一起為這個(gè)目標(biāo)而奮斗。

    魯東義無(wú)疑從任何方面來(lái)看都是極為合適的。自身智力條件就不用說(shuō)了，本身還是燕北大學(xué)的副教授，且在國(guó)內(nèi)數(shù)學(xué)界尤其是學(xué)生中間本身就具備極大影響力，以后振臂一呼，肯定能拉來(lái)不少感興趣的學(xué)生，在加上本身就有授課經(jīng)驗(yàn)，簡(jiǎn)直完美！

    把魯東義綁上了戰(zhàn)車還是得做出點(diǎn)東西，來(lái)鼓勵(lì)大家的。

    坐到自己的辦公桌前，得意了一會(huì)后，寧為才發(fā)現(xiàn)辦公室里明顯被收拾過(guò)，他早上翻亂的東西都已經(jīng)被擺的整整齊齊，窗臺(tái)上的花瓶里也插上兩朵新鮮的桂花，正散發(fā)著怡人的花香。

    顯然這是江同學(xué)專門(mén)來(lái)收拾過(guò)，寧為閉上眼睛，狠狠的嗅了嗅房間內(nèi)的香氣，這才打開(kāi)了自己的筆記本，開(kāi)始繼續(xù)思考如何搭建他的理論框架。其實(shí)在參加stoc大會(huì)之后，寧為便對(duì)基礎(chǔ)的人工智能搭建過(guò)一個(gè)基礎(chǔ)框架，并將之用到了三月的主程序構(gòu)建，所以他現(xiàn)在需要考慮的是更加抽象的問(wèn)題，機(jī)器的意識(shí)建模。

    說(shuō)的更清晰些，就是通過(guò)數(shù)學(xué)模型來(lái)描述物理狀態(tài)的整個(gè)信息系統(tǒng)。如果需要這一理論成立，那么大概就可以理解為相適應(yīng)的算法將是機(jī)器的意識(shí)。

    要從理論上解決這個(gè)問(wèn)題，最困難的步驟就是要解決一個(gè)哲學(xué)上的命題，非還原主義。具體到他現(xiàn)在所考慮的人工智能領(lǐng)域，大概描述就是要證明這個(gè)世界類人高級(jí)智能活動(dòng)過(guò)程能否全部或絕大部分還原為計(jì)算過(guò)程。

    如果可以，需要給出具體推導(dǎo)過(guò)程；即便不是所有人類智能活動(dòng)過(guò)程都還原為計(jì)算過(guò)程，理論上也要給出盡可能多的高級(jí)智能夠還原為基本計(jì)算過(guò)程的原理，因?yàn)檫@是強(qiáng)人工智能數(shù)學(xué)理論中最重要的部分。當(dāng)然，如果可以還要嘗試論證被摒棄的那一部分是無(wú)用智能……

    比如對(duì)于人類來(lái)說(shuō)，其實(shí)并不需要給為你輔助的智能設(shè)備添加審美功能。畢竟不能說(shuō)以后某位長(zhǎng)得過(guò)于抽象的客戶買(mǎi)了一部最新的智能手機(jī)，智能手機(jī)還能因?yàn)閿z像頭感知到主人長(zhǎng)得太丑而長(zhǎng)期以低效的模式提供智能服務(wù)，這就是屬于給自己找麻煩的高級(jí)智能還原。

    這是寧為正在做的東西。

    他需要將一系列人類需要的智能反應(yīng)過(guò)程，轉(zhuǎn)化為計(jì)算過(guò)程提供出有力的理論證明，并結(jié)合大數(shù)據(jù)證明機(jī)器可以擁有主動(dòng)學(xué)習(xí)能力，并為實(shí)現(xiàn)更精確的計(jì)算機(jī)視覺(jué)、聽(tīng)覺(jué)甚至觸覺(jué)提供一個(gè)更簡(jiǎn)單更精準(zhǔn)的理論指導(dǎo)。

    說(shuō)起來(lái)簡(jiǎn)單，但真的做起來(lái)卻是極為復(fù)雜的過(guò)程。在制作數(shù)學(xué)模型的時(shí)候需要充分考慮到其可擴(kuò)展性，包括每個(gè)計(jì)算單元、每個(gè)算符，想要實(shí)現(xiàn)一個(gè)很簡(jiǎn)單的能力可能都需要多級(jí)程序語(yǔ)言調(diào)用的多級(jí)編譯或解釋系統(tǒng)。這一點(diǎn)是從構(gòu)建三月主體程序得到的經(jīng)驗(yàn)。

    以三月為例，現(xiàn)在三月就具備了一定的程序感知能力，跟對(duì)基本語(yǔ)義的識(shí)別能力，這些都是建立在主動(dòng)學(xué)習(xí)基礎(chǔ)之上的。但實(shí)際上就目前的三月來(lái)說(shuō)，相對(duì)于她審核那些可公式化的數(shù)學(xué)稿件，在識(shí)別人類基礎(chǔ)語(yǔ)義這塊消耗的算力要更多。

    想要讓機(jī)器如同人類一樣去識(shí)別語(yǔ)言語(yǔ)義，尤其是識(shí)別一些不同環(huán)境下能表現(xiàn)豐富情緒的語(yǔ)義，往往還需要機(jī)器對(duì)情緒的洞察力。

    而這一切都是人工智能理論構(gòu)架的基礎(chǔ)，其難度自然是極大的，寧為能做的便是將所有的問(wèn)題分解成一個(gè)個(gè)小問(wèn)題，然后一個(gè)個(gè)解決，最終形成整套大理論。

    比如他已經(jīng)解決了其中最簡(jiǎn)單的大數(shù)據(jù)壓縮難題。通過(guò)強(qiáng)壓縮手段可以讓人工智能程序在最短時(shí)間內(nèi)獲得最多的數(shù)據(jù)來(lái)鍛煉其本身的分析判斷能力?，F(xiàn)在寧為正在做的則是人類理解語(yǔ)義、情緒的計(jì)算還原過(guò)程。

    這塊做完了，他的拔尖青年項(xiàng)目也能順利完成，順便在拿個(gè)圖靈獎(jiǎng)大概問(wèn)題不大。這塊的難度雖然極大，超乎想象的大，但有三月作為參照物，卻讓難度直線下跌了不少，最關(guān)鍵的點(diǎn)在于整個(gè)學(xué)習(xí)過(guò)程的計(jì)算模式還原。

    大概瀏覽了之前已經(jīng)完成的內(nèi)容，寧為快速的開(kāi)始在程序中構(gòu)建大腦中確定的行為模式模型。

    “定義7，數(shù)據(jù)對(duì)象o是一個(gè)有指定類t的變量v，v∈v ? pv ? u，其由類型約束μv（t）限制以便將此一般類t通過(guò)子域裁剪t″轉(zhuǎn)化為一給定問(wèn)題的特定類t′。
    第(1/3)頁(yè)