實歸。

    不過他本身也是很想認識她的，只是他一直沒有抽出時間去普林斯頓，沒有想到會在斯坦福看到洛葉，在認出她來的一剎那，他就決定來打招呼了。

    “——我想他當時應(yīng)該只是有個大概的證明思路?！?/br>
    對于同行，洛葉是不會過于高冷的。

    尤其是是他拿出了自己研究的課題后，洛葉對他的態(tài)度更為和緩了一些。亞歷山大已經(jīng)讀研究生要一年了，已經(jīng)開始準備起自己的研究生畢業(yè)論文，他選定的課題是正特征三維正極小模型綱領(lǐng)——在對數(shù)典范奇點的極小模型綱領(lǐng)做出的研究。

    并且對洛葉提出了橄欖枝——他還有一個剛剛有雛形的課題，五維和五維以上流型中三角形解剖猜想。

    “你是群論方面的專家，如果有興趣，我想請你負責(zé)群論相關(guān)的內(nèi)容，我來負責(zé)幾何相關(guān)，我們合作來完成這個猜想?！?/br>
    亞歷山大也是八五后的，在80后紛紛才開始展露崢嶸收割獎項的時候，他本來不用這么著急的，可誰讓先出了一個舒爾茨，又又來了一個90后，讓所有85后的青年數(shù)學(xué)家都有了急迫感。

    洛葉沒有答應(yīng)也沒有拒絕，只是道，“我考慮考慮?！?/br>
    亞歷山大也沒有覺得意外，現(xiàn)在他已經(jīng)知道洛葉來斯坦福是和他的一個師兄為了搞定ACC猜想，都是研究幾何相關(guān)的，他自然知道這個猜想的難度，洛葉不一定有時間。

    晚上的時候，舒爾茨新郵件又來了。

    他在接連發(fā)表了兩篇和霍奇猜想理論相關(guān)的內(nèi)容后，他并沒有停下自己的腳步，又開始進一步的來研究。

    而此時他被高階Gan-Gross-Prasad猜想困擾住了。

    “……它讓我們的工作不得不陷入停滯期，我想我要重新開始繼續(xù)研究Weight-monodromy猜想來轉(zhuǎn)化下思維，至少它只是一個智力游戲，而不必有復(fù)雜和簡單之間的變換?！?/br>
    能讓舒爾茨都感覺到些許挫敗，不得不轉(zhuǎn)而研究和數(shù)論更為密切相關(guān)的猜想，足以可見這個猜想有多難了。

    洛葉道，“——祝你好運。”

    發(fā)完郵件后，洛葉又思考了下，在球體堆積的問題后，她已經(jīng)沒有遇到過讓她覺得有趣的課題了，來斯坦福也是應(yīng)德利涅教授所邀。

    作者有話要說：　　早安

    ☆、203

    舒爾茨目標明確，他最近幾年的工作都是在為了徹底解決霍奇猜想努力, 成果斐然, 有望在未來真的完成這個目標。

    可是她呢？

    ACC這樣的猜想無法讓她起挑戰(zhàn)之心, 只要按部就班的進行, 洛葉有信心徹底解決它，畢竟它還有德利涅教授和克里特教授保駕護航，就是唐納森都是準備充分。

    她想了想，找出來了拓撲學(xué)的相關(guān)知識看了看，亞歷山大提出的邀請其實算是低維拓撲相關(guān)，維度和群相關(guān)，拓撲是幾何學(xué)的分支。

    最著名的拓撲問題就是歐拉七橋問題, 它和平面幾何立體幾何不同的一點是, 后兩者的問題研究主要是點線面之間的位置關(guān)系和他們的度量性質(zhì), 拓撲學(xué)對于研究對象的長短，大小，面積，體積等度量性質(zhì)和數(shù)量關(guān)系都無關(guān)。

    舉例來說, 在平面幾何中, 把兩個平面幾何挪移到同一個位置，如果這兩個圖形完全重疊，那這兩個圖形叫全等形，可是在拓撲學(xué)中，這兩個圖形的大小和形狀都會發(fā)生改變，在拓撲學(xué)中, 沒有不能彎曲的東西。

    在歐拉七橋問題當中，歐拉畫的圖形就不考慮它的打消，形狀，僅僅考慮點線的位置。再說的明白一點，在拓撲學(xué)中，拓撲變換下，圓，正方形，三角形都有可能是等價圖形。

    拓撲學(xué)從某種角度上來看，是非常神奇的一門課。

    洛葉看了幾個拓撲相關(guān)的著名問題，燃起了對拓撲學(xué)的些許興趣，和ACC猜想相比，這個三角形解剖猜想陣容就弱了許多，不過洛葉也不太在乎，在合上資料的時候隨手給亞歷山大發(fā)了一條短信。

    “我答應(yīng)了?！?/br>
    收到了短信的亞歷山大，不由的露出了一個比較細微的笑容。

    因為答應(yīng)了他的要求，洛葉留在斯坦福學(xué)校的時間不得不延長了一段時間，并且也跟著去旁聽的幾節(jié)課。

    同時洛葉查看了高階Gan-Gross-Prasad猜想，這個猜想其實是一個高階函數(shù)公式，這個公式其實不僅和霍奇猜想相關(guān)，還和黎曼猜想，BSD猜想有關(guān)，如果非要劃分，那應(yīng)該是一個代數(shù)數(shù)論問題，如果解決掉它，就可以把這三個千禧難題解決進度往前推進一大步——等式是連接了數(shù)論和幾何的兩個量，幾何那邊和代數(shù)幾何中的霍奇猜想有關(guān)，數(shù)論那邊和黎曼假設(shè)中的黎曼Zeta函數(shù)有關(guān)，這個等式本身可以看作是在BSD猜想框架下的一些拓展。

    單從這個角度就可以看出這個猜想的難度。

    洛葉在看相關(guān)的資料的時候誰也沒有告訴，在旁人看來，她就是在為了手上的兩個課題而忙碌。

    而這時，數(shù)學(xué)界發(fā)生了一件大事，來自于日本的數(shù)學(xué)家望月新一整發(fā)表了足足有五百多頁的論文，宣布解決了高懸在數(shù)論領(lǐng)域27年的難題——ABC猜想。

    聽到這個消息，所有相關(guān)領(lǐng)域的數(shù)學(xué)家全都轟動了。

    ABC猜想的重要性僅次于黎曼猜想，如果被解決了，那絕對是21世紀以來，最為偉大的數(shù)學(xué)成就之一——因為它會徹底革新對整數(shù)方程的研究，同時通過延伸可以解決一百多個數(shù)論領(lǐng)域中最為重要的公開問題。

    幾乎是在聽到這個消息的時候，所有相關(guān)領(lǐng)域的數(shù)學(xué)家都去下載了他的論文，舒爾茨目前也在研究數(shù)論相關(guān)的猜想，自然也下載了下來，洛葉也很好奇，畢竟她現(xiàn)在也在默默研究相關(guān)的。

    這個時候就要說明一下什么叫被證明——這個是要國際數(shù)學(xué)協(xié)會承認，才能叫被證明，個人宣稱的證明某個猜想是不作數(shù)的，而望月新一此刻就是這種狀態(tài)，他宣布自己證明了ABC猜想，要等數(shù)學(xué)家去驗證。

    而等洛葉下載了那五百頁的論文去看后，就不由的吃驚了起來。

    ——因為望月新一在這篇論文中所引用的數(shù)學(xué)體系根本不是現(xiàn)在公認的數(shù)學(xué)體系。

    為了證明ABC猜想，望月新一重新構(gòu)建了一套新的數(shù)學(xué)體系，用這套他自創(chuàng)的數(shù)學(xué)體系來證明了ABC猜想。

    所以這篇論文讀起來，簡直像是天書——你沒有理解這套數(shù)學(xué)體系，自然就不能說他的證明是對還是錯，徹底理解一套數(shù)學(xué)體系有多難？看洛葉到這個世界已經(jīng)五年了，才算把她所學(xué)的融會貫通。

    一天后，舒爾茨給洛葉發(fā)了條信息，“我試圖弄懂他的邏輯，但是我發(fā)現(xiàn)到了第十五頁我已