費馬本身是解析幾何的發明者之一，概率論的主要創始人，在微積分上，他的貢獻僅次於牛頓和萊布尼茨。
這個猜想本身就是一個很有名的數學故事。
在費馬寫下這個著名的猜想時，“一個立方數是不能夠表示成兩個立方數之和的，四次方也同理，將一個高於2次冪的數分解為兩個同次冪的數之和都是不可能的。可寫成當整數n>2時，關於x，y，z的方程x^n+y^n=z^n沒有正整數解.。”
寫完這段話後，他的這張紙要用完了，就又寫到，“我有一個對這個命題十分美妙的證明，這裡空白太小，寫不下。”
他沒能寫下這個猜想的證明結果，後來歐拉在寫給哥德巴赫的信中證明了N=3，後來熱爾曼，狄利克雷，加布裡爾在那個猜想寫下後的兩百年後證明了五次冪和七次冪。
希爾伯特把費馬大定理比喻為會下蛋的金母雞。
直到1954年，穀山-誌村猜想建立了橢圓曲線和模形式之間的聯係，這是費馬大定理破解的重要一步，證明了這個猜想就可以證明費馬大定理成立，可是最終費馬大定理被徹底證明是在1995年，中間又經過了無數的無數的波折。
看完這本書後大概就能認識到數學界大部分的名人，中間還有哥德爾，伽羅瓦，圖靈等人當初試圖證明這個定理的部分思路，洛葉看的津津有味，尤其是那些最終證明失敗的思路，讓洛葉覺得十分有借鑒意義。
忽然有人輕聲道，“你覺得費馬當時是真的想到了證明方式了嗎？”
“還是真的是因為寫不下而放棄了？”
洛葉抬眼看去，一個身材高大的年輕男生手裡捧著一堆書，穿著簡單的T恤和牛仔褲，看起來和圖書館內的其他人並沒有什麼分彆，“洛 ，我是亞曆山大。”
“斯坦福研究生。”
能在這個區域碰到，而且能一眼認出來洛葉的，恐怕也隻有數學專業的了。其實如果洛葉有看數學相關的一些報道，應該能認出來亞曆山大，去年和她一起競爭Mon獎的最大對手，如果沒有洛葉，亞曆山大已經拿下了這個獎項。
當然，亞曆山大本身是很服氣這個獎項最終給了洛葉，尤其是在看到了洛葉才引爆了整個數學界的論文後，更認為這個獎項名至實歸。
不過他本身也是很想認識她的，隻是他一直沒有抽出時間去普林斯頓，沒有想到會在斯坦福看到洛葉，在認出她來的一刹那，他就決定來打招呼了。
“——我想他當時應該隻是有個大概的證明思路。”
對於同行，洛葉是不會過於高冷的。
尤其是是他拿出了自己研究的課題後，洛葉對他的態度更為和緩了一些。亞曆山大已經讀研究生要一年了，已經開始準備起自己的研究生畢業論文，他選定的課題是正特征三維正極小模型綱領——在對數典範奇點的極小模型綱領做出的研究。
並且對洛葉提出了橄欖枝——他還有一個剛剛有雛形的課題，五維和五維以上流型中三角形解剖猜想。
“你是群論方麵的專家，如果有興趣，我想請你負責群論相關的內容，我來負責幾何相關，我們合作來完成這個猜想。”
亞曆山大也是八五後的，在80後紛紛才開始展露崢嶸收割獎項的時候，他本來不用這麼著急的，可誰讓先出了一個舒爾茨，又又來了一個90後，讓所有85後的青年數學家都有了急迫感。
洛葉沒有答應也沒有拒絕，隻是道，“我考慮考慮。”
亞曆山大也沒有覺得意外，現在他已經知道洛葉來斯坦福是和他的一個師兄為了搞定ACC猜想，都是研究幾何相關的，他自然知道這個猜想的難度，洛葉不一定有時間。
晚上的時候，舒爾茨新郵件又來了。
他在接連發表了兩篇和霍奇猜想理論相關的內容後，他並沒有停下自己的腳步，又開始進一步的來研究。
而此時他被高階Gan-Gross-Prasad猜想困擾住了。
“……它讓我們的工作不得不陷入停滯期，我想我要重新開始繼續研究Weight-monodry猜想來轉化下思維，至少它隻是一個智力遊戲，而不必有複雜和簡單之間的變換。”
能讓舒爾茨都感覺到些許挫敗，不得不轉而研究和數論更為密切相關的猜想，足以可見這個猜想有多難了。
洛葉道，“——祝你好運。”
發完郵件後，洛葉又思考了下，在球體堆積的問題後，她已經沒有遇到過讓她覺得有趣的課題了，來斯坦福也是應德利涅教授所邀。
作者有話要說： 早安