就在我們一起尋找來時乘坐的那輛出租車的時候，艾瑪收到了伯明翰大學的人發來的郵件。一路上，她都在用卷軸電腦瀏覽那篇七百頁的論文。我從旁邊瞥了一眼，隻看到了整頁的公式。到了機場，艾瑪又在候機廳讀了一會兒，總算趕在登機的一小時前翻到了最後一頁。
她收起電腦，卻沒有抬起頭來。
“我大概知道莫妮卡為什麽會自殺了。”艾瑪說，“可能她覺得太諷刺了。”
我屏住呼吸，等待她說下去，艾瑪卻一時陷入了沉默。
“諷刺？”
“她寫這篇論文是想證明人工智能並不是萬能的，它們至少在理論上存在能力的極限，甚至可以說是缺陷。為了證明這一點，她構建了一套全新的離散範疇理論，遠比之前形式語義學界使用的數學工具更抽象，我可能需要一兩年的時間才能完全掌握這套理論。但語言學會的人卻隻是讓墓碑係統去檢測了這篇論文之後，就徹底否定了它。這真的太諷刺了。自己的多年心血不僅被否定了，否定自己的竟然還不是同行，而是很可能並不完美的人工智能，明明這篇文章就是想論證人工智能的缺陷……”
聽到這裏，我忽然有某種不祥的預感。
“莫妮卡的論文到底寫了什麽？”
“她想證明，在有限維Katchen-Sgouros完備空間中，存在一個語義向量集具有Mikolov良序性，卻不是Kobrin可測的。”艾瑪解釋道，“Mikolov良序性，通俗點來說，就意味著一句話是有意義的，並且強調的是在當前語境下有且僅有一種語義，不存在歧義。Kobrin測度是詞義消歧的一種數學表達，除此之外還有好幾種等價的表達方式，不過Kobrin測度隻適用於Katchen-Sgouros完備空間……”
說到這裏，她忽然停頓了片刻，像是想到了更簡單易懂的說明方式。
“如果莫妮卡的論文能成立，這將成為‘愛丁堡猜想’的一個弱證明。雖然Katchen-Sgouros完備空間隻是比較特殊的一類語義向量空間，但是，一旦在這類空間裏證明了這個結論，就有希望找到辦法推廣到所有的語義向量空間中去。換句話說，莫妮卡踏出了解決‘愛丁堡猜想’的第一步。當然，前提是這個證明能成立……”