和克里特教授保驾护航，就是唐纳森都是准备充分。 她想了想，找出来了拓扑学的相关知识看了看，亚历山大提出的邀请其实算是低维拓扑相关，维度和群相关，拓扑是几何学的分支。 最著名的拓扑问题就是欧拉七桥问题, 它和平面几何立体几何不同的一点是, 后两者的问题研究主要是点线面之间的位置关系和他们的度量性质, 拓扑学对于研究对象的长短，大小，面积，体积等度量性质和数量关系都无关。 举例来说, 在平面几何中, 把两个平面几何挪移到同一个位置，如果这两个图形完全重叠，那这两个图形叫全等形，可是在拓扑学中，这两个图形的大小和形状都会发生改变，在拓扑学中, 没有不能弯曲的东西。 在欧拉七桥问题当中，欧拉画的图形就不考虑它的打消，形状，仅仅考虑点线的位置。再说的明白一点，在拓扑学中，拓扑变换下，圆，正方形，三角形都有可能是等价图形。 拓扑学从某种角度上来看，是非常神奇的一门课。 洛叶看了几个拓扑相关的著名问题，燃起了对拓扑学的些许兴趣，和acc猜想相比，这个三角形解剖猜想阵容就弱了许多，不过洛叶也不太在乎，在合上资料的时候随手给亚历山大发了一条短信。 “我答应了。” 收到了短信的亚历山大，不由的露出了一个比较细微的笑容。 因为答应了他的要求，洛叶留在斯坦福学校的时间不得不延长了一段时间，并且也跟着去旁听的几节课。 同时洛叶查看了高阶gan-gross-prasad猜想，这个猜想其实是一个高阶函数公式，这个公式其实不仅和霍奇猜想相关，还和黎曼猜想，bsd猜想有关，如果非要划分，那应该是一个代数数论问题，如果解决掉它，就可以把这三个千禧难题解决进度往前推进一大步——等式是连接了数论和几何的两个量，几何那边和代数几何中的霍奇猜想有关，数论那边和黎曼假设中的黎曼zeta函数有关，这个等式本身可以看作是在bsd猜想框架下的一些拓展。 单从这个角度就可以看出这个猜想的难度。 洛叶在看相关的资料的时候谁也没有告诉，在旁人看来，她就是在为了手上的两个课题而忙碌。 而这时，数学界发生了一件大事，来自于日本的数学家望月新一整发表了足足有五百多页的论文，宣布解决了高悬在数论领域27年的难题——abc猜想。 听到这个消息，所有相关领域的数学家全都轰动了。 abc猜想的重要性仅次于黎曼猜想，如果被解决了，那绝对是21世纪以来，最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究，同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。 几乎是在听到这个消息的时候，所有相关领域的数学家都去下载了他的论文，舒尔茨目前也在研究数论相关的猜想，自然也下载了下来，洛叶也很好奇，毕竟她现在也在默默研究相关的。 这个时候就要说明一下什么叫被证明——这个是要国际数学协会承认，才能叫被证明，个人宣称的证明某个猜想是不作数的，而望月新一此刻就是这种状态，他宣布自己证明了abc猜想，要等数学家去验证。 而等洛叶下载了那五百页的论文去看后，就不由的吃惊了起来。 ——因为望月新一在这篇论文中所引用的数学体系根本不是现在公认的数学体系。 为了证明abc猜想，望月新一重新构建了一套新的数学体系，用这套他自创的数学体系来证明了abc猜想。 所以这篇论文读起来，简直像是天书——你没有理解这套数学体系，自然就不能说他的证明是对还是错，彻底理解一套数学体系有多难？看洛叶到这Ｍ.ｄAmｉＮＧpＵmＰ.ｃｏm