英國科學家史蒂芬·霍金曾對當今社會做出了許多著名的警告。其中很著名的一條便是對人工智慧的。是的，人工智慧正在一步步打破我們對它的認知。1997年，國際象棋大師加里·卡斯帕羅夫輸給了“深藍”；五年後奧克斯運動家隊運用了程式挑選隊員，打敗了成本比自己高三倍的紐約洋基隊，併成了美國曆史上第一支二十連勝的棒球隊；2014年創投公司DKV任命演算法VITAL為董事會成員，並具有投票權；2016年Alpha Go又擊敗了韓國棋王李世石。這一個個觸目驚心的案例裡，無不體現了當今人工智慧的強大。
所以，我們應該害怕嗎？
這本書給我們了一個答案：不！
在電腦這個看上去完全自洽的系統裡，一定還有不完備的漏洞。
這話誰說的？哥德爾。
或許有人會說這哥德爾是誰？我告訴你吧，他是愛因斯坦的摯友，就是他提出了驚人的哥德爾不完備定律。
這個定律可以簡單地描述成這樣：“任何一個被證明自洽的系統裡一定含有不能被它自身所證明的命題。”也就是說這個系統是不完備的。
反正我讀這段文字時是汗毛倒豎。你可以嘗試將其延伸一下，就能推匯出一個結論，就是這世上沒有絕對的準確。所以類似“一定”、“不可能”之類的詞語便變得不嚴謹、不科學。
說到這哥德爾，有一件事倒是挺有趣的。因為他早年在奧地利的精彩表現，哥德爾被懷疑是猶太人，在奧地利街頭莫名其妙地捱了打。於是他便準備離開奧地利，去往美國。不幸的是，他在入美國國籍前仔細研究了一下美國憲法，發現了一個漏洞。於是憂心忡忡地打電話給了他的入籍見證人，博弈論創始人摩根斯坦。他說因為這一個漏洞，美國將變成一個獨裁專制的國家。而老摩根斯坦大驚失色，只能叮囑哥德爾見到法官時千萬別說這事。
次日一早，愛因斯坦、摩根斯坦和哥德爾一同駕車去新澤西州首府特倫頓的聯邦法院。一路上愛因斯坦與摩根斯坦輪流講笑話，試圖分散哥德爾的注意力。在面試中，法官被哥德爾請來的見證人震驚了，以至於讓他倆全程坐著。
法官問哥德爾：“你一直是德國人，對吧？”
哥德爾回答：“我是奧地利人。”
“不管怎麼說，奧地利也處於罪惡的專制獨裁統治下。不過你應該感到幸運，在這裡有美國憲法的保護，這種事情在你的新國家中永遠不會發生！”
接下來這話無疑讓愛因斯坦與摩根斯坦一路上的努力成了泡影。哥德爾大聲說：“恰恰相反，我知道怎樣可以讓這件事發生。我現在就可以證明給你看！”結果事實證明哥德爾說的對了。1972年美國“水門事件”便是如此。
扯遠了，說回這本書。這裡面還提到了一個挺有趣的命題，叫做：不存在對這句話的證明。我們先假設不存在任何證明可以證明這句話，那就是證明了這句話是正確的。但這個證明不存在；再假設存在這樣一個證明，可以證明它是正確的。那麼不存在對這句話的證明，兩者相矛盾。這些悖論便是AI的弱點。在處理某些特定的輸入值時，圖靈機會陷入矛盾狀態或進入死迴圈。人類只要利用這種缺陷，便可以輕鬆打敗AI。
下面來說說我的感悟。我在讀這本書前對人類抱著消極態度。認為人類不可能戰勝AI，但是這本書卻以人工智慧的邏輯推斷出人類的不可替代。實在令我佩服。其實未來人類與AI會形成一種共生關係，人類缺少理性，這點在AI上最為突出。AI不能透過腦電波產生一個理想隨機數，這點又在人類身上顯得極為突出。兩者共生才能達到文明發展的最優方案，人類脫離了智慧無法進步，反之AI脫離了人也無法進步。總之就一句話，人類懂的，機器也能懂，人不能懂的，機器也別想懂，這就是未來人類與AI的關係。
兒子寒假看了這本書，寫了這篇讀後感，昨天還在說要給兒子修改一下的，可今天看了竟然沒看懂。
