具体庞学林进入火星救援世界已经过了三个多月，种植舱内的土豆已经长到了二三十厘米高，绿油油一片，再过半个月就能收获。
当他们将土豆的照片传回地球后，引发了巨大的轰动。
为此，沃特尼不得不配合阿瑞斯计划指挥部，给地球上的小朋友们科普了一节火星植物学课程。
庞学林相对而言活就没这么多了，每天做完记录和维护，剩下还有五六个小时可以自由安排，于是他给自己找了个新课题——证明abc猜想。
abc猜想是数论领域的重要猜想，由乔瑟夫·奥斯达利（joseph oesterlé）及大卫·马瑟（david masser）在1985年提出，因此又称为oesterlé–masser猜想。
数学家戈德菲尔德曾说过：“abc猜想是丢番图方程尚未解决的问题中最为重要的一个！”
法国数学家lucien szpiro（主要研究领域为数论、算术代数几何和交换代数）在2007年时尝试攻克此猜想，但后被证明其中有误。
2012年8月，日本的京都大学数学家望月新一发布了五百多页的论文，介绍了他的全面一般化泰希米勒理论，并声称用此理论可证明包括abc猜想在内的几个着名猜想，只是这一晦涩难懂的理论并没有得到数学界的认可。
庞学林读博期间曾经看过望月新一的论文，但没看懂。
按照他导师陶哲轩的说法，望月新一的概念验证部分实在太过复杂，论文的前三百页，几乎都是在建立一个全新的数学体系，关键这一体系只能在abc猜想等极少数领域得到应用。
与望月新一相反，张益唐和佩雷尔曼在论文的开始就给出简洁的“概念验证”，而他们所发展的方法也能很快地用于相应领域，得到一些有意思的非平凡新结果，或是给出一些已有的非平凡结论的新证明。
因此，这种将简单问题复杂化的举动，通常都是一个错误。
庞学林自然没有想着一口气证明abc猜想，如果单从难度上来说，这一猜想并不比bsd猜想简单多少。
他只是想给自己找点乐子，毕竟火星上的生活，实在是过于枯燥与乏味了。
***作者有话说***
有点卡文，来晚了
喜欢学霸的科幻世界请大家收藏：(m.yunxuangezw.com)学霸的科幻世界云轩阁更新速度全网最快。