美國，劍橋市，阿雷斯頓社區。
這個社區離麻省理工跟哈佛大學都很近，環境安靜，學校不錯，還自帶公園。
不過張馨文選擇住在這裡，更看重的是跟劍橋或者波士頓的其他中產居住區域比起來，這裡的位置房價要更低一些，居住品質也不算差，算是性價比拉滿。而且社區裡很多都是麻省理工跟哈佛的教職工，住著也放心。
沒辦法，在美國大學教授這個職業雖然有一定的社會地位，但並不算高收入群體，尤其是還不太出名的時候。眾所周知這片國土是真的把物以類聚，人以群分玩到了極致。
中產跟貧民社區混雜在一堆，知識跟罪惡往往隻有一街之隔。甚至大家都已經對這些習以為常。
在這裡任何城市，哪怕是華盛頓這樣的首府又或者紐約這樣的世界金融中心，某些區域同樣會有更高的犯罪率跟社會問題。相對來說擁有麻省跟哈佛的劍橋市已經非常安全了。尤其是夜晚，社區非常安靜，甚至是靜謐。
中產社區基本上晚上沒有出行的習慣。街頭也沒有汽車的噪聲，更沒有來曆不明的人在街區莫名的狂歡。如果哪家人肆無忌憚的發出噪音，大概率會喜提911上門拜訪的套餐。這樣的淩晨時分，手機鈴聲往往會特彆刺耳。
張馨文就是被這刺耳的鈴聲吵醒，剛睜開眼，便聽到身邊女人的抱怨。
「誰啊？這個時候還打電話？說了多少次了，晚上睡覺就把手機靜音打開。」說完，身邊的女人已經打開燈，氣咻咻的爬了起來，抱著被子直接走出了房間。張馨文隻覺得一陣頭疼。
人到中年，夫妻矛盾似乎一下也多了起來，數學教授也未能免俗。
睡覺之前剛吵了一架，好不容易才哄著睡了，一通電話又要讓矛盾升級了。無奈的搖了搖頭，拿起手機，看到號碼，就很生氣。
如果是劍橋這邊同事的號碼也就算了，起碼證明了人家還在熬夜。但這是華夏的號碼。
不知道尊重一下時差嗎？劍橋EDT可是要比CST慢12個小時！現在劍橋已經是淩晨十二點五十，李立行是瘋了吧？
帶著怨氣接通了電話，不過他還沒來得及說話，對麵就搶著說了句：「張教授，快去看郵箱，喬喻證出來了！」腦子有點懵，張馨文下意識的問了句：「喬喻？他證出什麼了？」
「不是？還能是什麼？當然是我們現在遇到的問題！不說了，我還要通知羅納德！」「嘟嘟嘟..」
手機聽筒裡的忙音，讓張馨文愣了半晌。
不是…….....
就掛了？
他好像還打算罵兩句這個擾人清夢，還破壞夫妻感情的家夥，他怎麼就掛了？
等等……
喬喻把那個問題證明出來了？
大腦終於被完全激活，張馨文整個人突然一激靈，然後隨便找了件衣服披上，快步來到他的小書房，打開了筆記本電腦。飛快的登陸了郵箱。果然有一封李立行從華清發來的郵件，附件就一張很小的圖片。
張馨文疑惑的點開，極限簡潔的證明過程便強勢鑽進了他的腦海裡。
仔細的看完之後，張馨文感覺有些很不真實。困擾了他們大半年的問題，那個喬喻解決起來隻用了六行？
在心底感慨了不到兩秒，張馨文就拿起了筆，然後從桌上順手抽出一疊紙開始做起了推導。
比如第五行不變性的證明。
證明者在這裡確保了全局函數在變換群作用下的平均值是一個特征層。
這一點非常重要，因為它證明了所構建的特征層W實際上捕捉到了全局函數的主要特征，而不是隨群的變化而改變。證明的邏輯在於，通過變換群的平均作用，可以保證得到的結果仍然屬於特征層。
但喬喻的表達是：利用範疇化收縮原理，即可證明：vgEG，g—Φ（f）=Φ（f）。因此，中（f）是一個不變的函數，且可以被視為惠特克層的一個自同態。這明顯太過簡潔了。
利用範疇化收縮原理，這句話說起來簡單，證明起來可是個麻煩事。首先需要定義平均值：Ф（f）=1/1G1gEGΣg—f，然後驗證不變性：g—Ф（f）=g：（1/1GigEGΣg—f）..時間就在張馨文奮筆疾書中過去，不知不覺中用於演算的稿紙已經寫了整整三麵，然後得出了跟喬喻的證明過程一樣的答案。
「Yes！」張馨文忍不住激動的叫了一聲，惹來屋外一陣犬吠，他這才驚覺已經是淩晨時，頓時嚇得立刻閉緊了嘴巴。
還好屋裡屋外除了狗叫了兩聲外，沒有任何動靜。
張馨文放下心，但情緒依然激動。
任何一個數學家，思考了半年多的東西，突然被解決都很難不興奮。
興奮之後又是一陣後怕。
還好袁老做主把喬喻拉進了他們的課題組……...
否則的話，如果這家夥從另外的渠道打聽到他們的課題，然後順手給解決了怎麼辦？
現在這種情況起碼還能說之前他們的研究是有價值的，起碼幫喬喻梳理了對這個問題的脈絡。
這個問題解決了，他也終於可以開始下一步的課題攻關了！世界竟然如此美好。
麻薩諸塞州劍橋市距離加利福尼亞州伯克利市大概三千公裡的距離，這也是從東海岸到西海岸的距離。
對於許多天氣預報隻用一句話就能總結的小國家來說，大概無法理解為什麼相距如此遙遠，竟然還屬於同一個國度是何種體驗。答案大概是不算美好，尤其是一個國家並不使用同一個時區的時候。
同屬一個大家庭，卻有著三個小時的時差，這讓內部溝通都會變得很麻煩。尤其是對於大型公司跟需要經常交流聯係的學者們而言更是如此。接到某個重要的會議通知，然後把時間弄混的事情經常發生。
就在張馨文感覺慶幸跟振奮的時候，伯克利市的羅納德教授也已經完成了缺失步驟的補全工作。跟張馨文不同的是，此時羅納德是一邊跟李立行視頻，一邊完成的完整證明過程。
雖然劍橋市已經是淩晨一點半，但伯克利市此時隻有晚上十點半。所以羅納德能比張馨文更隨意的表達此時的情緒。
「知道嗎？李，當時你說團隊裡要加一個孩子的時候，我其實心裡是想直接拒絕的。這會讓學術研究變得不那麼純粹！如果不是那個喬找出了幾何朗蘭茲猜想證明漏洞的話，真的，我一定會拒絕的！
現在看來，這並不是一個正確的決定。還好當時我被你說服了。當然，並不是你說服了我，而是他用那完美的證明過程說服了我！知道嗎？我現在非常想知道他究竟是怎麼想到的！這個想法太漂亮了！」
羅納德對著鏡頭興奮的說道。
顯然這位教授在亢奮的時候，不太會注意掩飾自己的想法。
不過也無所謂了，當時李立行提出為課題組增加一個新鮮血液，而且還隻是一個十六歲少年的時候，羅納德的確對這個提議很不感冒。事實上，伯克利分校也會接受許多成績並不達標學生申請入讀，這讓羅納德很厭惡。
唯一幸運的是這些學生往往不會入讀數學係。原本羅納德認為喬喻大概也就屬於這種學生。
他覺得是有人希望能用他們的課題成果，來為這個華夏十六歲少年的未來鋪路。這種事情其實學術界很常見，讓他感覺氣憤的是，並沒有什麼資源源的互換...對方似乎真認為這麼一個十六歲的孩子能夠為他們的課題提供幫助。
當時他就提出過質疑。
直到李立行把喬喻做出的一些成就整理成一封郵件發給了他，並以自己的學術信譽作保，才讓他勉強答應了這件事情。允許喬喻參與到課題研究之中。不過雙方也有約定，如果喬喻在課題組始終沒有做出任何貢獻，那麼最後出成果的時候，他有權拒絕喬喻的在論文上署名。
但現在看來，那條約定已經作廢了。
喬喻已經對課題組做出了重要貢獻，哪怕之後喬喻什麼貢獻都沒有，也有那個資格在論文上署名。這個課題如果真能做出結果是有資格發表在頂刊上的。
基於頂級期刊對於學術要求的嚴謹性，或者說起碼是明麵上的嚴謹，作者們還要在附件中說明每個人在成果中的具體貢獻。
毫無疑問，這個論文中最為困難的定理之一被攻克，不止讓這個他曾經不太相信的十六歲少年有了在最終論文上署名的資格，甚至等到課題完成的那天，大家還要開始認真考慮，應該把喬喻的名字放在什麼位置。
從一個煩惱，跳躍到另一個煩惱。
這還是建立在喬喻從此不再關注這個課題的情況下。如果之後喬喻又有什麼重要貢獻，羅納德甚至覺得課題組要開始考慮是不是該把一作留給喬喻這個讓人尷尬的問題了。「我也不知道，不過我已經跟喬喻說了，大概七、八個小時之後，我們會召開一次組會，到時候就能聽他親口告訴你關於構造這一係列證明的靈感來源。」
「好吧，但為什麼不是現在？知道嗎？我有些興奮的睡不著了！你竟然讓我那麼早起床，這很殘忍！」
「羅納德，你要考慮到張教授在劍橋市，你們之間還有三個小時的時差。如果他錯過這次會議，大概會暴躁。當然如果你需要保證睡眠的話，也可以放到九個小時之後，華夏晚上十點半這個時間，我相信喬喻應該還沒睡覺。」
「哦，對了，該死的時差！知道嗎？當我第一次知道華夏橫跨了五個時區，卻在內部沒有時差的概念有多羨慕嗎？真的，這才像一個完整的國家！而不是該死的像這樣，不同州之間，竟然連時間都無法統一！」
這句話李立行沒接。
很多人都會嘲諷自己的國家，但無法接受旁人的嘲諷。沒辦法，人的本性就是這麼雙標。
「那麼就定在九個小時之後召開組會？」
「嗯，不用了，八個小時之後。我能起得來。對了，喬喻是真的隻有十六歲對嗎？」「當然。」
「那麼恭喜你，李教授，華夏出了一位真正的、毋庸置疑的數學天才！我簡直不敢想像等他三十歲的時候會有怎樣的成就。」「你恭喜我什麼？哎....」視頻裡，李立行搖了搖頭，歎息道：「不過有機會的話，你可以當麵恭喜田言真跟袁老。」
這年頭搶學生實在太拚了。
天知道田言真是怎麼那麼快就從CMO裡挖出了這麼個逆天的家夥。