我有一個夢想,那就是要成為一個機器人,一個智能機器人;它能替人類完成所有的事情,也能體諒人的情感。
在我博士畢業的時候,一個親友對我說:你讀了那麽多的書,總該發明點什麽吧?我在自己的專業內,解決了幾道難題;可這真的算不得是什麽發明。
於是我又去鑽研了物理、天文、化學。可是,除了學得一堆符號外,別無所獲:一星半點的物質也沒能造出來。再去研究生物學,想看看物質究竟是怎麽長出來的;細胞、基因、核糖酸,還是隻有一堆名字;我還是造不出一個分子來。
我又去學了機械,想造出件工具來。這才明白,我根本就沒有造工具的工具:刀不夠利、針不夠細。隻有先造出塊芯片,既能存取、又可執行指令;可那麽多指令,我一個人怎麽寫得過來?隻得先造計算機了,可以自動編程的那種。這才發現,所謂的計算機,即使是量子級別的,也不能做邏輯推理。
符號邏輯我最擅長了,很早就按照數理邏輯的公理,寫出了自動推理的程序。當年一個兼職機構的負責人跟我聊起未來的打算,我說有三個目標:一是要解決幾個數學猜想,二是要造出自動機器人,三是要見識一下世界。最早實現的是第三個,我移民加拿大了,還經常去美國玩。第一個最近也完成了,該解決第二個了。
幾年前,發現有了個文章自動糾錯的應用程序,就買了來試驗。跟它的工作人員聯係過,發現是一個混混;現在它進化成了Grammarly,時不時地在郵箱裏跳出來,煩人要命,更加嗤之以鼻。我的算法要高明得多,可以監控互聯網上的所有信息,找出其邏輯關係。五毛們的胡攪蠻纏,在這麵照妖鏡下,隻能原形畢露,臉被打得啪啪啪。
眼下,加拿大的小學生都學起了編碼;隻為了讓電腦為人類操點勞,因為它幹活太快了。美國總統奧巴馬還試著編程呢!普通人何樂不為呢?人們能夠駕馭的,就隻是一堆符號。人類的最後發明,就是這台智能機器人。我解決數學難題的思路是有用的,可以算得上是一個發明。
最後才明白,物質造不出來:人生不帶來,死不帶走,誰都無法真正擁有。人能夠留下的,隻是一生的平凡事跡;然後是,下一世的不停輪回。