而且歐葉的書面成績擺在這里，她又是主攻數論的計算姬，師從數論專家龔長偉非常合適。
9月，沈奇成為了普林斯頓大學數學系的博士生。
與此同時在中國，歐葉、周雨安兩人進入大四階段，他倆分別做準備工作，準備在明年1月前往哥倫比亞大學、普林斯頓大學報到。
等待歐葉的時間里，沈博士決定做一些有意義、有趣的學術研究。
這個有趣的想法來自一個意外的發現。
沈奇本來是要找一篇法爾廷斯發表于80年代初期的論文，在這篇論文中，法爾廷斯證明了一個定理，從而為他在1年后證明莫德爾猜想奠定基礎。
正是因為證明了莫德爾猜想，法爾廷斯在80年代紅極一時，獲得了菲爾茲獎。
法爾廷斯目前在普林斯頓工作，是《數學年刊》的主編。
沈奇尋找大牛法爾廷斯的老論文，是為了做一個有意義的研究，他需要引用法爾廷斯這篇論文作為素材。
在這本80年代初期出版的數學刊物中，沈奇發現了一個有趣的秘密，是另一篇論文。
這篇有趣論文的作者有兩人，艾倫-穆勒，以及托尼-曼寧。
托尼-曼寧是哪位大神，沈奇并不清楚，但他知道，艾倫-穆勒就是他的碩士生導師+博士生導師穆勒教授。
艾倫-穆勒、托尼-曼寧這兩位數學研究者在1982年聯合發表了這篇論文，關于巴拿赫空間的研究。
巴拿赫空間是一個熱門的研究方向，幾十年來一直都是。
在這篇巴拿赫空間的論文中，艾倫-穆勒、托尼-曼寧聲稱他倆證明了一個了不得的定理，并命名為“穆勒-曼寧定理”。
然而在沈奇的印象中，他從未聽過“穆勒-曼寧”相關的數學定理，這兩人的名字組合在一起，看上去更像是有機化學合成中的人名反應。
“穆勒-曼寧定理”是這么描述的：
令X是巴拿赫空間，X*是X的共軛空間，則下訴論斷等價：
（1）如果x*∈S（X*）在S（X）上達到它的范數，則x*是單位球B（X*）的ω*可凹點；
（2）X是強光滑空間；
（3）X*的每個ω*閉凸集是逼近緊的切比雪夫集。
“所以穆勒教授你和這位曼寧先生，單方面宣稱證明了這個定理？”沈奇非常好奇的問到。
確實很好奇啊，三十幾年過去了，IMU并未承認所謂的“穆勒-曼寧定理”。
什么個情況，全世界的數學家耗費三十幾年時間，到現在還沒驗證完成“穆勒-曼寧定理”的證明成果？
“這是我和曼寧早期的研究成果，當時我們覺得它一定正確，但現在我發現，其實漏洞百出。”穆勒教授不堪回首的說到，似乎年輕的時候做了一件愚蠢的事情。
沈奇發表了自己的觀點：“我認為，這個定理的描述沒有問題，當然了，沒被徹底證明之前，它只能算是個假設。如果讓我來完成證明，我想我有一種新的嘗試能彌補漏洞，將證明過程盡量做到嚴謹、完美，最終得到IMU的承認。”
穆勒說到：“那你試試吧，我會跟你一起重新開展證明工作，21世紀的證明工作。如果我們成功了，它將被改寫為‘穆勒-沈定理’。”
“請問曼寧先生呢？如果我取代了他的位置，他會不會有意見？或者改為MMS定理比較合適？”沈奇提出建議，尊重原創作者的學術地位。
“這個遭天殺的混蛋……他在十年前已經死了。”穆勒教授忽然咬牙切齒的說到，顯得悲傷，憋屈。
“愿曼寧先生在天堂安好。”沈奇表示遺憾，一位偉大的數學家不幸死于十年前。
“天堂？這個混蛋肯定下了地獄！沒有MMS定理，只有穆勒-沈定理，讓我們開始這項跨越世紀的工程吧，沈奇博士。”