舒尔茨目标明确，他最近几年的工作都是在为了彻底解决霍奇猜想努力,成果斐然,有望在未来真的完成这个目标。

可是她呢？

a这样的猜想无法让她起挑战之心,只要按部就班的进行,洛叶有信心彻底解决它，毕竟它还有德利涅教授和克里特教授保驾护航，就是唐纳森都是准备充分。

她想了想，找出来了拓扑学的相关知识看了看，亚历山大提出的邀请其实算是低维拓扑相关，维度和群相关，拓扑是几何学的分支。

最著名的拓扑问题就是欧拉七桥问题,它和平面几何立体几何不同的一点是,后两者的问题研究主要是点线面之间的位置关系和他们的度量性质,拓扑学对于研究对象的长短，大小，面积，体积等度量性质和数量关系都无关。

举例来说,在平面几何中,把两个平面几何挪移到同一个位置，如果这两个图形完全重叠，那这两个图形叫全等形，可是在拓扑学中，这两个图形的大小和形状都会发生改变，在拓扑学中,没有不能弯曲的东西。

在欧拉七桥问题当中，欧拉画的图形就不考虑它的打消，形状，仅仅考虑点线的位置。再说的明白一点，在拓扑学中，拓扑变换下，圆，正方形，三角形都有可能是等价图形。

拓扑学从某种角度上来看，是非常神奇的一门课。

洛叶看了几个拓扑相关的著名问题，燃起了对拓扑学的些许兴趣，和a猜想相比，这个三角形解剖猜想阵容就弱了许多，不过洛叶也不太在乎，在合上资料的时候随手给亚历山大发了一条短信。

“我答应了。”

收到了短信的亚历山大，不由的露出了一个比较细微的笑容。

因为答应了他的要求，洛叶留在斯坦福学校的时间不得不延长了一段时间，并且也跟着去旁听的几节课。

同时洛叶查看了高阶gan-gross-prasad猜想，这个猜想其实是一个高阶函数公式，这个公式其实不仅和霍奇猜想相关，还和黎曼猜想，bsd猜想有关，如果非要划分，那应该是一个代数数论问题，如果解决掉它，就可以把这三个千禧难题解决进度往前推进一大步——等式是连接了数论和几何的两个量，几何那边和代数几何中的霍奇猜想有关，数论那边和黎曼假设中的黎曼zeta函数有关，这个等式本身可以看作是在bsd猜想框架下的一些拓展。

单从这个角度就可以看出这个猜想的难度。

洛叶在看相关的资料的时候谁也没有告诉，在旁人看来，她就是在为了手上的两个课题而忙碌。

而这时，数学界发生了一件大事，来自于日本的数学家望月新一整发表了足足有五百多页的论文，宣布解决了高悬在数论领域27年的难题——abc猜想。

听到这个消息，所有相关领域的数学家全都轰动了。

abc猜想的重要性仅次于黎曼猜想，如果被解决了，那绝对是21世纪以来，最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究，同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。

几乎是在听到这个消息的时候，所有相关领域的数学家都去下载了他的论文，舒尔茨目前也在研究数论相关的猜想，自然也下载了下来，洛叶也很好奇，毕竟她现在也在默默研究相关的。

这个时候就要说明一下什么叫被证明——这个是要国际数学协会承认，才能叫被证明，个人宣称的证明某个猜想是不作数的，而望月新一此刻就是这种状态，他宣布自己证明了abc猜想，要等数学家去验证。

而等洛叶下载了那五百页的论文去看后，就不由的吃惊了起来。