203

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

可是她呢？

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

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

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

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

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

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

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

“我答应了。”

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

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

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

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

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

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

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

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

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

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

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

——因为望月新一在这篇论文中所引用的数学体系根本不是现在公认的数学体系。

为了证明ABC猜想，望月新一重新构建了一套新的数学体系，用这套他自创的数学体系来证明了ABC猜想。

所以这篇论文读起来，简直像是天书——你没有理解这套数学体系，自然就不能说他的证明是对还是错，彻底理解一套数学体系有多难？看洛叶到这个世界已经五年了，才算把她所学的融会贯通。

一天后，舒尔茨给洛叶发了条信息，“我试图弄懂他的逻辑，但是我发现到了第十五页我已经完全迷茫了，我实在看不懂，你怎么样？”

同时国际数论大师也在自己的博客上写道，“望月新一构建了一个宏大的宇宙，可惜这个宇宙中只有他一个人。”

洛叶坦白道，“我就看了两页。”

非常诚实的说出了对它的看法，“我觉得他恐怕很难得到国际数学协会的认可。”

——理解一个新的数学体系实在是一件需要花费大量时间和精力的事，说到底洛叶的工作只是和数论稍微挂钩，根本工作并不相同，在意识到这论文阅读需要超出预计的时间精力后就果断放弃了。

而没想到舒尔茨居然正也只看到了十五页，那可以想象，其他人也不可能看完了。

舒尔茨的回答也很直白，“我已经问过法尔廷斯教授，他只看到了二十页。”

法尔廷斯可是数学界最顶尖的数学大师了，国际数学协会想要验证望月新一的证明，肯定绕不开法尔廷斯，现在法尔廷斯都放弃了，想要得到认证就很难了。

现在只有两个办法，要么望月新一接受“众人皆醉，唯他独醒”这样近似于安慰的心理暗示，要么就要把他的数学体系解释清楚。

而事实也确实和洛叶说的那样，望月新一的论文就像是一颗巨大的石头落在了湖水当中，理应引起的涟漪全都消失了，就这么沉入了湖水当中，数学界一片沉默——看不懂既然无从评论。

望月新一显然不服气自己筹备了十年的论文落到这样的结果，他在自己的博客上公然写道，“要理解我的论文，你们应该停止用那套习惯并且想当然的思维方式。”

这大概就是对整个数学界的挑衅和蔑视，认为读不懂是整个数学界的问题，不是他的问题。

这样狂傲的态度惹来了许多人不满，不过ABC猜想确实是数学界的庞然大物，谁都没有办法等闲视之。

没过多久，洛叶就得到了一个新的消息，关于ABC猜想的证明会在即将开始的牛津大学会议上展开讨论，这个会议由克雷数学研究所赞助，许多数学家都会去，想要看看能不能在会议上出结果。

而这个时候望月新一的狂傲再次展露了出来，他拒绝出席这次会议，只答应会解答相关疑问。

舒尔茨不满道，“他未免太傲慢了。”

他一边叫嚣整个数学界不理解他的理论，一方面连会议都不愿意出席。

洛叶道，“能为了一个证明就构架出一个新的数学体系，这本来就是一种傲慢。”