忽然有人轻声道，“你觉得费马当时是真的想到了证明方式了吗？”
“还是真的是因为写不下而放弃了？”
洛叶抬眼看去，一个身材高大的年轻男生手里捧着一堆书，穿着简单的T恤和牛仔裤，看起来和图书馆内的其他人并没有什么分别，“洛 ，我是亚历山大。”
“斯坦福研究生。”
能在这个区域碰到，而且能一眼认出来洛叶的，恐怕也只有数学专业的了。其实如果洛叶有看数学相关的一些报道，应该能认出来亚历山大，去年和她一起竞争Morgon奖的最大对手，如果没有洛叶，亚历山大已经拿下了这个奖项。
当然，亚历山大本身是很服气这个奖项最终给了洛叶，尤其是在看到了洛叶才引爆了整个数学界的论文后，更认为这个奖项名至实归。
不过他本身也是很想认识她的，只是他一直没有抽出时间去普林斯顿，没有想到会在斯坦福看到洛叶，在认出她来的一刹那，他就决定来打招呼了。
“——我想他当时应该只是有个大概的证明思路。”
对于同行，洛叶是不会过于高冷的。
尤其是是他拿出了自己研究的课题后，洛叶对他的态度更为和缓了一些。亚历山大已经读研究生要一年了，已经开始准备起自己的研究生毕业论文，他选定的课题是正特征三维正极小模型纲领——在对数典范奇点的极小模型纲领做出的研究。
并且对洛叶提出了橄榄枝——他还有一个刚刚有雏形的课题，五维和五维以上流型中三角形解剖猜想。
“你是群论方面的专家，如果有兴趣，我想请你负责群论相关的内容，我来负责几何相关，我们合作来完成这个猜想。”
亚历山大也是八五后的，在80后纷纷才开始展露峥嵘收割奖项的时候，他本来不用这么着急的，可谁让先出了一个舒尔茨，又又来了一个90后，让所有85后的青年数学家都有了急迫感。
洛叶没有答应也没有拒绝，只是道，“我考虑考虑。”
亚历山大也没有觉得意外，现在他已经知道洛叶来斯坦福是和他的一个师兄为了搞定ACC猜想，都是研究几何相关的，他自然知道这个猜想的难度，洛叶不一定有时间。
晚上的时候，舒尔茨新邮件又来了。
他在接连发表了两篇和霍奇猜想理论相关的内容后，他并没有停下自己的脚步，又开始进一步的来研究。
而此时他被高阶Gan-Gross-Prasad猜想困扰住了。
“……它让我们的工作不得不陷入停滞期，我想我要重新开始继续研究Weight-monodromy猜想来转化下思维，至少它只是一个智力游戏，而不必有复杂和简单之间的变换。”
能让舒尔茨都感觉到些许挫败，不得不转而研究和数论更为密切相关的猜想，足以可见这个猜想有多难了。
洛叶道，“——祝你好运。”
发完邮件后，洛叶又思考了下，在球体堆积的问题后，她已经没有遇到过让她觉得有趣的课题了，来斯坦福也是应德利涅教授所邀。
第203章
舒尔茨目标明确，他最近几年的工作都是在为了彻底解决霍奇猜想努力, 成果斐然, 有望在未来真的完成这个目标。
可是她呢？
ACC这样的猜想无法让她起挑战之心, 只要按部就班的进行, 洛叶有信心彻底解决它，毕竟它还有德利涅教授和克里特教授保驾护航，就是唐纳森都是准备充分。
她想了想，找出来了拓扑学的相关知识看了看，亚历山大提出的邀请其实算是低维拓扑相关，维度和群相关，拓扑是几何学的分支。
最著名的拓扑问题就是欧拉七桥问题, 它和平面几何立体几何不同的一点是, 后两者的问题研究主要是点线面之间的位置关系和他们的度量性质, 拓扑学对于研究对象的长短，大小，面积，体积等度量性质和数量关系都无关。
举例来说, 在平面几何中, 把两个平面几何挪移到同一个位置，如果这两个图形完全重叠，那这两个图形叫全等形，可是在拓扑学中，这两个图形的大小和形状都会发生改变，在拓扑学中, 没有不能弯曲的东西。
在欧拉七桥问题当中，欧拉画的图形就不考虑它的打消，形状，仅仅考虑点线的位置。再说的明白一点，在拓扑学中，拓扑变换下，圆，正方形，三角形都有可能是等价图形。
拓扑学从某种角度上来看，是非常神奇的一门课。
洛叶看了几个拓扑相关的著名问题，燃起了对拓扑学的些许兴趣，和ACC猜想相比，这个三角形解剖猜想阵容就弱了许多，不过洛叶也不太在乎，在合上资料的时候随手给亚历山大发了一条短信。
“我答应了。”
收到了短信的亚历山大，不由的露出了一个比较细微的笑容。
因为答应了他的要求，洛叶留在斯坦福学校的时间不得不延长了一段时间，并且也跟着去旁听的几节课。
同时洛叶查看了高阶Gan-Gross-Prasad猜想，这个猜想其实是一个高阶函数公式，这个公式其实不仅和霍奇猜想相关，还和黎曼猜想，BSD猜想有关，如果非要划分，那应该是一个代数数论问题，如果解决掉它，就可以把这三个千禧难题解决进度往前推进一大步——等式是连接了数论和几何的两个量，几何那边和代数几何中的霍奇猜想有关，数论那边和黎曼假设中的黎曼Zeta函数有关，这个等式本身可以看作是在BSD猜想框架下的一些拓展。
单从这个角度就可以看出这个猜想的难度。
洛叶在看相关的资料的时候谁也没有告诉，在旁人看来，她就是在为了手上的两个课题而忙碌。
而这时，数学界发生了一件大事，来自于日本的数学家望月新一整发表了足足有五百多页的论文，宣布解决了高悬在数论领域27年的难题——ABC猜想。
听到这个消息，所有相关领域的数学家全都轰动了。
ABC猜想的重要性仅次于黎曼猜想，如果被解决了，那绝对是21世纪以来，最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究，同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。
几乎是在听到这个消息的时候，所有相关领域的数学家都去下载了他的论文，舒尔茨目前也在研究数论相关的猜想，自然也下载了下来，洛叶也很好奇，毕竟她现在也在默默研究相关的。
这个时候就要说明一下什么叫被证明——这个是要国际数学协会承认，才能叫被证明，个人宣称的证明某个猜想是不作数的，而望月新一此刻就是这种状态，他宣布自己证明了ABC猜想，要等数学家去验证。
而等洛叶下载了那五百页的论文去看后，就不由的吃惊了起来。
——因为望月新一在这篇论文中所引用的数学体系根本不是现在公认的数学体系。
为了证明ABC猜想，望月新一重新构建了一套新的数学体系，用这套他自创的数学体系来证明了ABC猜想。
所以这篇论文读起来，简直像是天书——你没有理解这套数学体系，自然就不能说他的证明是对还是错，彻底理解一套数学体系有多难？看洛叶到这个世界已经五年了，才算把她所学的融会贯通。
一天后，舒尔茨给洛叶发了条信息，“我试图弄懂他的逻辑，但是我发现到了第十五页我已经完全迷茫了，我实在看不懂，你怎么样？”
同时国际数论大师也在自己的博客上写道，“望月新一构建了一个宏大的宇宙，可惜这个宇宙中只有他一个人。”
洛叶坦白道，“我就看了两页。”
非常诚实的说出了对它的看法，“我觉得他恐怕很难得到国际数学协会的认可。”
——理解一个新的数学体系实在是一件需要花费大量时间和精力的事，说到底洛叶的工作只是和数论稍微挂钩，根本工作并不相同，在意识到这论文阅读需要超出预计的时间精力后就果断放弃了。