数学界曾经流传一句话：爱因斯坦对物理学有多重要，格罗滕迪克对数学就有多重要。
在现代代数几何领域，格罗滕迪克就是当之无愧的教皇。
格罗滕迪克的数学向来以艰涩著称，因为他几乎不考虑具体的示例，都是从尽可能抽象的角度出发，思考支配某个数学问题背后的宏大数学结构。
远阿贝尔几何便是格罗滕迪克在他的遗作《纲领草案》中留下的宏伟框架，只可惜还没来得急往里面填充血肉，这位二十世纪最伟大的数学家便在离群索居中离开了人世。
望月新一发展了格罗滕迪克的远阿贝尔几何理论，并且在1996年证明了《纲领草案》中格罗滕迪克提出的一个远阿贝尔几何的猜想的特殊情况，从而蜚声国际数学界。
这也是他能被邀请参加1998年国际数学家大会的原因。
而在十几年后的2012年，望月新一又在远阿贝尔几何的基础上，发展出了一般化泰希米勒几何理论，来证明ABC猜想。
可惜这套理论正如其名，就像是用外星语言写就，高度抽象，根本难以入手。
再加上繁多的概念，芜杂的逻辑体系。
这导致多年来，数学界一直未能验证望月新一的理论。
即使后来德国学神彼得·舒尔茨和德国数论学家雅各布·斯迪克斯花了几个月时间简化了望月新一的论文，并且指出望月新一论文中存在漏洞。
但望月新一随即反驳，认为他们的简化存在问题，双方陷入口水战中，谁也没办法说服对方。
如果在现实世界，庞学林恐怕没心思花几年时间学习远阿贝尔几何去以及望月新一的一般化泰希米勒几何理论，然后去验证ABC猜想的证明正确与否。
毕竟做这种验证性的纯数研究是一件吃力不讨好的事，不管结果如何，验证者都得不到什么好处。
但在火星救援世界，他有的是时间和精力。
……
接下来里时间，庞学林全身心投入到远阿贝尔几何和一般化泰希米勒几何理论的相关研究中去。
这一理论抽象晦涩，理解起来很难，庞学林隐隐能感受到这一理论背后所隐藏着的宏大的数学结构。
因此，除了吃饭，睡觉，完成基本的日常任务，庞学林几乎无时无刻不在阅读、思考和研究。
就算与地球联系的时候，他除了发一些“嗯”、“哦”之类的字眼，回复变得越来越短，时间间隔也越来越长。
地球上的专家组很快发现了庞学林的异常，曾经数次提醒庞学林，并且让心理学家介入，可惜双方隔着数千万公里，庞学林压根没功夫搭理他们，他们也拿庞学林没什么办法。
庞学林变得越来越沉默，思考的时间也越来越多。
吃饭，日常工作，睡觉仿佛成了机械性的举动，剩下的时间，他除了阅读望月新一的相关著作，其余的都拿来思考。
他胡子拉碴，浑身酸臭，但恍若未觉。
除了每隔三个月收获一次土豆，并且重新种植下一批，以及对栖息舱做一些基本检查外，他把所有时间都投入到了研究中去。
他没日没夜地推演，将望月新一的著作嚼碎了理解，桌上的稿纸也一天天变厚，对远阿贝尔几何以及望月新一提出的一般化泰希米勒几何理论的理解也在逐步深入。
但不知为何，越是研究下去，庞学林越是被里面诸多的繁杂概念所困扰。
就像陶哲轩所说的那样，望月新一将远阿贝尔几何中的所提出的概念进一步复杂化了，却并没有提出一些触及数学本质的全新思考。
这让庞学林隐隐感觉到，望月新一恐怕走到了一条错误的路线上。
但有一点可以肯定，用远阿贝尔几何，确实能表现出加法结构和乘法结构的相似性，而ABC猜想的核心，便与这两大问题有关。
只是庞学林总觉得，以现有的远阿贝尔几何框架，恐怕很那解决这一问题。
必须在这一框架下增加一些全新的东西。
或许当初望月新一和庞学林是一样的想法，所以他在远阿贝尔几何的基础上，发展出了一般化泰希米勒理论。
遗憾的是，他所添加的内容，并不让人信服。
如果自己想要证明ABC猜想的话，恐怕也得和望月新一一样，得提出一套全新的理论体系才行。
但这个难度太大了，庞学林始终没什么头绪。
