第一部
基于受限定理的

1

我討厭在睡覺的時候被打擾，尤其是午睡。可是世事無常，總有些事讓我無法睡好覺。鈴聲大作，我被迫從突然記不得是什么的夢中醒來，陷入一片迷惘之中。

是顯像器的鈴聲。顯像與視頻通話、電話不同，增強現實技術帶給人強烈的真實感，使得顯像與面對面交談沒有任何區別，面部表情、細微動作以及服裝穿戴，都會被對方一覽無余。因此，不論售賣顯像器的公司怎樣強調顯像技術的方便性，使用者還是覺得顯像會帶來一種壓迫感。

雖然顯像技術一直很受情侶的歡迎，不過除此之外，非正式場合很少有人會使用顯像來通話。通常來說，只要聽到了顯像器的鈴聲，就意味著有重要的事情等待處理。

我穿好衣服，接通了顯像器。局長微胖的身影一下子從半空中顯現。任誰第一次見面時都不會想到，這個面容和藹的中年人竟會是警察局的最高領導。

“干什么？”我沒好氣地說道。在另一端，局長一定會看到我一臉不耐煩的表情，但是他應該早就習慣了。我與局長相識多年，對彼此的脾性都一清二楚。

“向你求助來了。”局長說，“有個案子需要你跑一趟現場。”

“不去，法定假日呢。”我說，“我一年到頭幫你干活，今天難得歇一歇。你找值班的人去。”

今天是二月十四日，機誕日，全世界都在歡慶的日子。一九四六年的二月十四日，世界上第一臺通用計算機ENIAC在美國賓夕法尼亞大學誕生，人類的歷史因此改變。機誕日是一年里最重要的節日，連放七天假，這時候讓我去加班，未免太過分了。

順便一提，聽說在幾十年前，這個日子被當成一個叫作情人節的節日。真不知道那時候的人在想什么。

“都執行其他任務去了，人手不夠，放假了本來人就少。”局長嚴肅道，“你去一趟吧，這次的案子還挺棘手，好像是謀殺案。”

他這句話看似對我表達出充分的信任，實則不然。我知道局長的真實想法。我是警局里為數不多的獨居者，既沒結婚，也不是和父母住在一起的本地人。其他警察都在跟家人一起過節，實在不好意思叫過來。

“交給系統嘛。”我說，“花了那么多錢買的，不用豈不是浪費了。”

幾個月前，我們總局引進了新一代的犯罪分析系統，以此來節省警力。雖說我一直對這類東西的可靠性抱有疑問，但是從結果來看，系統的準確率還不錯，超過了各個分局使用的上一代系統。

“系統無能為力。”局長搖頭，“至少不能主導案件的偵查，頂多起輔助作用。必須派一個人類警察過去。”

無能為力？我想起了一件事。

“難道是適用于受限定理的案子？”

“對。”

我頓時認識到了問題的嚴重性。

犯罪分析系統的原理其實很簡單。系統數據庫中存有人類歷史上所有已偵破犯罪案件的相關數據，利用相關算法，可以從這些數據中計算出案件信息和兇手特征之間的對應關系。以謀殺案為例，對于一般的案件，只需詳細地輸入犯罪現場的信息，包括現場留下的痕跡、尸體情況、案件相關人員的活動記錄等內容，系統就可以自動推斷出兇手的身體特征、性格特點、心理狀況，甚至預測其下一步的行為。

當然，系統得出的結論只是作為一個參考，最后做出判斷的還是人類，實際上還是需要警員去調查案件。但事實證明，系統給出的解答是很精準的，所以只要合理運用系統，就能節約資源并減少調查時間。

然而，有一類案件是系統（也包括其他智能推理機）無論如何也解決不了的，那就是適用于受限定理的案件。

受限定理，全稱為“智能機器應用限制定理”，由國家人工智能研究院的阮宏教授最先提出，并且給出了數學證明，因此也被稱為“阮氏受限定理”。這條定理明確了強人工智能應用的限制條件。以智能推理機的應用為例，凡是適用于受限定理的案件，都無法用智能推理機來解決。這類案件并不常見，但每一起都很麻煩。如果是謀殺案這樣性質惡劣的案件，就會變得非常棘手。

“好吧，”我知道自己非去不可了，一邊說話一邊整理裝備，“把案件的情況跟我說說。”

“我知道的也不多，具體情況需要你到現場了解。”局長說，“目前得到的信息是，遠山區那邊有一群科學家在制造一個機器，可是今天早上負責這個項目的首席科學家被殺了。我已經把所有信息都發到了你的執行終端，你自己看吧。”

“怎么說得像你早就知道我會去一樣。”我把執行終端戴在手上，“算了，不跟你計較，準備出發。”

“等一下，有件事我覺得有必要跟你說明。”局長突然說，“你對福爾摩斯了解多少？”

“福爾摩斯？”我愣了一下，“那個小說里的偵探？小時候看過書，不過都忘得差不多了。這跟案件有關嗎？”

“這跟那群科學家制造的機器有關。”局長說，“他們打算用人工智能技術復活福爾摩斯。”