2012年8月，日本的京都大学数学家望月新一发布了五百多页的论文，介绍了他的全面一般化泰希米勒理论，并声称用此理论可证明包括abc猜想在的几个著名猜想，只是这一晦涩难懂的理论并没有得到数学界的认可。

        他只是想给自己找乐，毕竟火星上的生活，实在是过于枯燥与乏味了。

        “庞，我们也给刘易斯他们回封邮件吧！”

        为此，沃特尼不得不合阿瑞斯计划指挥，给地球上的小朋友们科普了一节火星植学课程。

        ……

        很快，庞学林和沃特尼便拟定了一份新邮件，回复了回去。

        因此，这种将简单问题复杂化的举动，通常都是一个错误。

        有些时候，他也会给土壤添加一些新加工来的纯天然料。

        时间一天天过去，庞学林和沃特尼在火星上的生活开始变得枯燥且单调。

        与望月新一相反，张益唐和佩雷尔曼在论文的开始就给简洁的“概念验证”，而他们所发展的方法也能很快地用于相应领域，得到一些有意思的非平凡新结果，或是给一些已有的非平凡结论的新证明。

        数学家戈德菲尔德曾说过：“abc猜想是丢番图方程尚未解决的问题中最为重要的一个！“

        “刘易斯上校还有亲的队友们，大家好，很兴能够再次知你们的消息，我和庞在阿西达利亚平原过得很好，没有了你们，栖息舱的空间舒服多了。当初的事只是一场意外，我们运气不好才导致了如今的境。刘易斯上校的达的命令完全正确，这是为其他人生命安全负责的决定。愿你们所有人都能平安回家，期待返回地球后和你们喝一杯。庞学林，沃特尼。”

        庞学林火星救援世界已经过了三个多月，种植舱的土豆已经长到了二三十厘米，绿油油一片，再过半个月就能收获。

        庞学林微笑：“那当然！”

        庞学林则检查栖息舱各个系统的运行况，记录日志数据，将其发回地球，并且据专家委员会的建议对某些设备定期维护。

        庞学林相对而言活就没这么多了，每天完记录和维护，剩还有五六个小时可以自由安排，于是他给自己个新课题证明abc猜想。

        法国数学家lu  szpiro（主要研究领域为数论、算术代数几何和交换代数）在2007年时尝试攻克此猜想，但后被证明其中有误。

        庞学林自然没有想着一气证明abc猜想，如果单从难度上来说，这一猜想并不比bsd猜想简单多少。

        当他们将土豆的照片传回地球后，引发了巨大的轰动。

晴、贝克、格罗斯、弗里德里希都在我旁，他们很想念你们，只要你们有需要，赫尔墨斯号全成员将随时为你们提供帮助，希望我们有能帮到你们的地方。阿瑞斯计划指挥已经告诉我们，他们有了一套切实可行的营救方案，我相信你和庞一定能够凭借自己的智慧在火星生存来。等你们返回地球，我请你们喝酒。刘易斯及赫尔墨斯号全成员。“

        abc猜想是数论领域的重要猜想，由乔瑟夫奥斯达利（joseph  oesterlé）及大卫瑟（david  masser）在1985年提，因此又称为oesterlémasser猜想。

        照他导师陶哲轩的说法，望月新一的概念验证分实在太过复杂，论文的前三百页，几乎都是在建立一个全新的数学系，关键这一系只能在abc猜想等极少数领域得到应用。

        每天清晨，沃特尼都会种植舱，检测种植舱的空气成分，给土豆松松土，测试一土壤的湿度，然后决定要不要对增加土壤的量。

        庞学林读博期间曾经看过望月新一的论文，但没看懂。