倆人訂了6月30號早上的機票，這幾天斷斷續續地在收拾東西，去的地方比較遙遠，異國他鄉，能帶的東西不多。
不管怎麼精簡，至少都有三大個行李箱。
許青舟靠沙發上，瞅著熟悉的客廳，倒是突然有些感慨。
上輩子去美國留學，就一個行李箱，走的時候，出租屋乾淨得像是沒住過人一樣，這次就不同了，客廳的東西基本沒被動到，充滿生活氣息。
這間房許青舟和宋瑤續租了兩年。
房東賈阿姨一口答應，他們老兩口有自己的房子，兒子常年在美國工作，房子空著也是空著，重新找租客麻煩。況且，房子裡住著兩個大學霸，大家可都在誇她家那房子的風水好。
“兩個人和一個人終究不一樣了。”
許青舟歎息。
二喵甩著尾巴，在自動投喂機那邊把貓糧吃完，就慢吞吞地走過來，蹦到許青舟身上求抱。
許青舟勾了勾二喵的下巴，望著天花板思索接下來的安排。
雖然寵物出國的手續似乎比他們還麻煩點，但二喵肯定得帶著，老宋兩口子都忙，至於他家，老許不喜歡貓，認為二喵就是名副其實的廢物。
吃得精貴，哪像他們以前養的貓，人吃飯的時候隨便倒點就能養活，現在還得吃什麼貓糧，吃啥啥不行，乾啥似乎也啥不行。
有二喵在，這個“三口之家”才算完整，就他和宋瑤太孤獨了。
半響，二喵眯著眼，發出呼嚕呼嚕的聲音。
許青舟在沙發坐了會兒，讓二喵趴在沙發繼續睡覺，自己又坐回電腦前。
這半個月，他一直在根據阿蒂亞爵士證明引入Reich度量。
設存在一個稱為“Reich度量”，它定義在黎曼Zeta函數相關的複平麵或黎曼球麵上，是一個實值函數，衡量了流形上兩點之間的“距離”或“差異”。
接下來的步驟還算明確。
想辦法尋找到一個公式，將黎曼Zeta函數在某個特定區域內的非平凡零點與流形上某些特定點集的Reich度量值聯係起來。
再利用Reich度量的特殊性質，如複結構敏感性、正定性等，推導出與黎曼Zeta函數有界性相關的定理
構建一個數學模型來描述流形上的點集、Reich度量值與黎曼Zeta函數值之間的關係。
最後，證明黎曼猜想。
聽起來似乎很簡單，但其實每一步都相當艱難。
就宛若在修築大樓的過程中，甚至於連一個施工圖都沒有，隻告訴你一個邏輯——地基，主體框架，大廈成型。
其它東西全都要自己設計。
當然，許青舟也不是毫無收獲，就在去拜訪顧誌鐘教授他們之前，他已經完成了第二個步驟，推導出公式。
“說不定真有希望。”
許青舟說著，自己反倒是笑起來，要是真這麼簡單，也不至於一直懸而未決。
麵對一個很難的數學猜想，大家攻擊不進去，就會在它周圍繞來繞去，有時候繞來繞去就開了，但更多的可能還是需要暴力地攻擊進去。
他發現，民間數學家研究黎曼猜想的不多，還真就聚集在哥德巴赫猜想和費馬大定理周圍。
可能，黎曼猜想的解析表述太複雜了？
如果把它寫成誤差項的等價命題或者Mertens函數的等價命題，那研究的人估計就多了。
他對證明黎曼猜想不抱希望，單純覺得阿蒂亞爵士思路有可取之處，嘗試一遍，也好清楚問題在哪。
許青舟拋開雜七雜八的念想，繼續動筆。
“函數g(n，Pn，它依賴於零點的序號n和零點本身，並且與流形上的Reich度量有關。”
&n(nak(f(ρnkqdR(f(ρnk，Pnp”