兩人坐在沙發上，然後齊齊往後一躺。
“lingying.chen的電話關機了。”
“是的，我們解放了。”
當然，波塞西和盧瑟福的對話以及焦灼陳靈嬰並不知道，她還沉浸在黎曼猜想之中。
一個數學命題，它的成立需要證明，不成立同樣需要證明。
而想要證明黎曼猜想不存在，只需要找到一個反例，找到一個不在臨界線上的零點就可以了。
於是，一個人出手了，那個人叫做圖靈，被後世譽為“計算機與人工智慧之父”的圖靈。
在當時圖靈已經提出了後來以他名字命名的圖靈機的概念。所以他就自然而然地想到要去建造一臺機器來計算零點。
但是這一工作剛起步不久，Y國就捲入了戰爭（二），圖靈開始參與Y國情報部門破譯D軍密碼的工作，建造機器的計劃被擱置了下來。
在戰爭結束後，圖靈漸漸恢復了建造機器及計算零點的計劃。
值得一提的是，很多在自己最出名的領域做出偉大貢獻的科學家往往在其他領域同樣有著不小的成就，比如圖靈雖然是因為他在計算機及人工智慧領域的卓越貢獻而被人類知曉的，但他在傳統數學領域也有相當深厚的功力。
早在讀本科的時候，圖靈就曾獨立證明了機率論中著名的中心極限定理。在建造機器的同時，圖靈對計算零點的數學方法也進行了研究。
經過幾年的努力，到了二十世紀五十年代初，圖靈終於完成了他的機器，成功計算出了前1104 個零點。
不過圖靈試圖尋找黎曼猜想反例的故事並沒有一個美好的結局，因為所有這些零點全部位於臨界線上，黎曼猜想在他計算所及的範圍內巋然不動。
之後，圖靈的機器壞掉了，零點的計算不了了之。
與此同時，圖靈的個人生活也遭遇了極大的挫折，他於1952年被指控觸犯有當時屬於違法的TXL行為，受到強制藥物治療及緩刑的處罰。
兩年後圖靈被發現因氰化物中毒死於住所，多數人認為他是自殺。
陳靈嬰午飯只簡單吃了幾口，黎曼猜想不是一天就能夠證明完畢的，就算是成功了，後續要需要大量時間修改潤色，以及最重要的驗算。
不過陳靈嬰晚飯倒是吃的比較多。
飯後，陳靈嬰揹著書包帶著昭昭去樓下消失，夏天的夜晚普林斯頓的校園內會有很多人，散步的，還有舉辦夜間露天party的。
還要小心一點，不要打擾到正在做好事的小情侶們。
陳靈嬰挑了一條相對僻靜的路。
風微微撩起沒有梳起來的碎髮，陳靈嬰抬起眼，
“格羅滕迪克先生。”
“我感受到了一股巨大的力量，”格羅滕迪克皺著眉，“我本來不是很想出門的。”
陳靈嬰微怔，腳下的步子沒有變化，周邊偶爾有人走過，在他們看來只有陳靈嬰一個人，前面反揹著一個書包。
看不到書包裡的昭昭，也看不到漂浮在半空中的格羅滕迪克。
格羅滕迪克也不指望陳靈嬰能給自己一個答案，他悠哉悠哉地飄著，世間的名利和他已經沒有任何關係，除了借用可視紅線眼膜儀的陳靈嬰沒有別的人能夠看到他。
他是真正的隱士。
陳靈嬰沒說話，格羅滕迪克也沒說話，二人之間靜悄悄的。
前面不遠處是辦公樓，四樓的一間屋子燈亮著，
“您去見德利涅子爵了嗎？”
“沒有。”格羅滕迪克一攤手，“我和他對數學的看法，嗯，也就是你們認為的個人風格差的有點多，雖然他是我的學生，但是我們關係並沒有多好。”