不必說，在互相介紹後，就拿出了自己準備好的材料。——關於如何攻克a猜想的幾個方案。唐納森是89年的，比洛葉還要大四歲，可是論起來名氣洛葉已經勝過他太多，兩個人合作發表論文，如果不拿出真本事來，到時候論文上洛葉的名字肯定要在他之前的。所以他做的準備特別充分，證明自己有和洛葉合作的實力。a這樣的猜想並不是一朝一夕可以完成的，洛葉也不可能一直待在斯坦福，他們只能在洛葉在這裡的幾天內，討論出階段性的成果。斯坦福大學的圖書館容量不比普林斯頓來的差，而且也有他們學校獨有的孤本，除了和唐納森討論a猜想，洛葉就喜歡來他們圖書館借閱材料。“高斯的代數基本定理，斯圖默根的個數問題，阿貝爾不可能性定理，卡斯迪朗問題，馬爾法蒂問題……”洛葉饒有興趣的看著書架上的書籍名字，怎麼說呢，普林斯頓的人文學術氣息特別濃厚，他們的圖書館收藏的書籍，期刊等也全都屬於那種嚴肅型別的，而斯坦福大學的圖書館似乎要活潑一點，在數學區居然還有趣味數學這樣的書收藏。現在她手邊就有一本在《趣說費馬大定理》。費馬大定理是業餘數學家之王皮埃爾?德?費馬在三百多年寫的一個著名數學猜想。費馬本身是解析幾何的發明者之一，機率論的主要創始人，在微積分上，他的貢獻僅次於牛頓和萊布尼茨。這個猜想本身就是一個很有名的數學故事。在費馬寫下這個著名的猜想時，“一個立方數是不能夠表示成兩個立方數之和的，四次方也同理，將一個高於2次冪的數分解為兩個同次冪的數之和都是不可能的。可寫成當整數n&gt2時，關於x，y，z的方程xn+yn=zn沒有正整數解。”寫完這段話後，他的這張紙要用完了，就又寫到，“我有一個對這個命題十分美妙的證明，這裡空白太小，寫不下。”他沒能寫下這個猜想的證明結果，後來尤拉在寫給哥德巴赫的信中證明了n=3，後來熱爾曼，狄利克雷，加布里爾在那個猜想寫下後的兩百年後證明了五次冪和七次冪。希爾伯特把費馬大定理比喻為會下蛋的金母雞。直到1954年，谷山-志村猜想建立了橢圓曲線和模形式之間的聯絡，這是費馬大定理破解的重要一步，證明了這個猜想就可以證明費馬大定理成立，可是最終費馬大定理被徹底證明是在1995年，中間又經過了無數的無數的波折。看完這本書後大概就能認識到數學界大部分的名人，中間還有哥德爾，伽羅瓦，圖靈等人當初試圖證明這個定理的部分思路，洛葉看的津津有味，尤其是那些最終證明失敗的思路，讓洛葉覺得十分有借鑑意義。