上洛叶的名字肯定要在他之前的。
所以他做的准备特别充分，证明自己有和洛叶合作的实力。
ACC这样的猜想并不是一朝一夕可以完成的，洛叶也不可能一直待在斯坦福，他们只能在洛叶在这里的几天内，讨论出阶段性的成果。
斯坦福大学的图书馆容量不比普林斯顿来的差，而且也有他们学校独有的孤本，除了和唐纳森讨论ACC猜想，洛叶就喜欢来他们图书馆借阅材料。
“高斯的代数基本定理，斯图默根的个数问题，阿贝尔不可能性定理，卡斯迪朗问题，马尔法蒂问题……”
洛叶饶有兴趣的看着书架上的书籍名字，怎么说呢，普林斯顿的人文学术气息特别浓厚，他们的图书馆收藏的书籍，期刊等也全都属于那种严肃类型的，而斯坦福大学的图书馆似乎要活泼一点，在数学区居然还有趣味数学这样的书收藏。
现在她手边就有一本在《趣说费马大定理》。
费马大定理是业余数学家之王皮埃尔·德·费马在三百多年写的一个著名数学猜想。
费马本身是解析几何的发明者之一，概率论的主要创始人，在微积分上，他的贡献仅次于牛顿和莱布尼茨。
这个猜想本身就是一个很有名的数学故事。
在费马写下这个著名的猜想时，“一个立方数是不能够表示成两个立方数之和的，四次方也同理，将一个高于2次幂的数分解为两个同次幂的数之和都是不可能的。可写成当整数n>2时，关于x，y，z的方程x^n+y^n=z^n没有正整数解.。”
写完这段话后，他的这张纸要用完了，就又写到，“我有一个对这个命题十分美妙的证明，这里空白太小，写不下。”
他没能写下这个猜想的证明结果，后来欧拉在写给哥德巴赫的信中证明了N=3，后来热尔曼，狄利克雷，加布里尔在那个猜想写下后的两百年后证明了五次幂和七次幂。
希尔伯特把费马大定理比喻为会下蛋的金母鸡。
直到1954年，谷山-志村猜想建立了椭圆曲线和模形式之间的联系，这是费马大定理破解的重要一步，证明了这个猜想就可以证明费马大定理成立，可是最终费马大定理被彻底证明是在1995年，中间又经过了无数的无数的波折。
看完这本书后大概就能认识到数学界大部分的名人，中间还有哥德尔，伽罗瓦，图灵等人当初试图证明这个定理的部分思路，洛叶看的津津有味，尤其是那些最终证明失败的思路，让洛叶觉得十分有借鉴意义。
忽然有人轻声道，“你觉得费马当时是真的想到了证明方式了吗？”
“还是真的是因为写不下而放弃了？”
洛叶抬眼看去，一个身材高大的年轻男生手里捧着一堆书，穿着简单的T恤和牛仔裤，看起来和图书馆内的其他人并没有什么分别，“洛 ，我是亚历山大。”
“斯坦福研究生。”
能在这个区域碰到，而且能一眼认出来洛叶的，恐怕也只有数学专业的了。其实如果洛叶有看数学相关的一些报道，应该能认出来亚历山大，去年和她一起竞争Mon奖的最大对手，如果没有洛叶，亚历山大已经拿下了这个奖项。
当然，亚历山大本身是很服气这个奖项最终给了洛叶，尤其是在看到了洛叶才引爆了整个数学界的论文后，更认为这个奖项名至实归。
不过他本身也是很想认识她的，只是他一直没有抽出时间去普林斯顿，没有想到会在斯坦福看到洛叶，在认出她来的一刹那，他就决定来打招呼了。
“——我想他当时应该只是有个大概的证明思路。”
对于同行，洛叶是不会过于高冷的。
尤其是是他拿出了自己研究的课题后，洛叶对他的态度更为和缓了一些。亚历山大已经读研究生要一年了，已经开始准