数学界曾经流传一句话：爱因斯坦对物理学有多重要，格罗滕迪克对数学就有多重要。
在现代代数几何领域，格罗滕迪克就是当之无愧的教皇。
格罗滕迪克的数学向来以艰涩著称，因为他几乎不考虑具体的示例，都是从尽可能抽象的角度出发，思考支配某个数学问题背后的宏大数学结构。
远阿贝尔几何便是格罗滕迪克在他的遗作《纲领草案》中留下的宏伟框架，只可惜还没来得急往里面填充血肉，这位二十世纪最伟大的数学家便在离群索居中离开了人世。
望月新一发展了格罗滕迪克的远阿贝尔几何理论，并且在1996年证明了《纲领草案》中格罗滕迪克提出的一个远阿贝尔几何的猜想的特殊情况，从而蜚声国际数学界。
这也是他能被邀请参加1998年国际数学家大会的原因。
而在十几年后的2012年，望月新一又在远阿贝尔几何的基础上，发展出了一般化泰希米勒几何理论，来证明ABC猜想。
可惜这套理论正如其名，就像是用外星语言写就，高度抽象，根本难以入手。
再加上繁多的概念，芜杂的逻辑体系。
这导致多年来，数学界一直未能验证望月新一的理论。
即使后来德国学神彼得·舒尔茨和德国数论学家雅各布·斯迪克斯花了几个月时间简化了望月新一的论文，并且指出望月新一论文中存在漏洞。
但望月新一随即反驳，认为他们的简化存在问题，双方陷入口水战中，谁也没办法说服对方。
如果在现实世界，庞学林恐怕没心思花几年时间学习远阿贝尔几何去以及望月新一的一般化泰希米勒几何理论，然后去验证ABC猜想的证明正确与否。
毕竟做这种验证性的纯数研究是一件吃力不讨好的事，不管结果如何，验证者都得不到什么好处。
但在火星救援世界，他有的是时间和精力。
……
接下来里时间，庞学林全身心投入到远阿贝尔几何和一般化泰希米勒几何理论的相关研究中去。
这一理论抽象晦涩，理解起来很难，庞学林隐隐能感受到这一理论背后所隐藏着的宏大的数学结构。
因此，除了吃饭，睡觉，完成基本的日常任务，庞学林几乎无时无刻不在阅读、思考和研究。
就算与地球联系的时候，他除了发一些“嗯”、“哦”之类的字眼，回复变得越来越短，时间间隔也越来越长。