庞学林连忙从床上爬起来,来到沃特尼身后。
沃特尼打开电子邮件,读了起来。
“亲爱的庞,沃特尼,很高兴听到你们还活着的消息。真的,真的,我们每个人都非常高兴。我现在特别后悔,当初我不应该放弃你们的,我应当对你们的处境负全责。现在谢尔盖、北川晴子、贝克、格罗斯、弗里德里希都在我身旁,他们很想念你们,只要你们有需要,赫尔墨斯号全体成员将随时为你们提供帮助,希望我们有能帮到你们的地方。阿瑞斯计划指挥部已经告诉我们,他们有了一套切实可行的营救方案,我相信你和庞一定能够凭借自己的智慧在火星生存下来。等你们返回地球,我请你们喝酒。——刘易斯及赫尔墨斯号全体成员。“
“庞,我们也给刘易斯他们回封邮件吧!”
庞学林微笑道:“那当然!”
很快,庞学林和沃特尼便拟定了一份新邮件,回复了回去。
“刘易斯上校还有亲爱的队友们,大家好,很高兴能够再次知道你们的消息,我和庞在阿西达利亚平原过得很好,没有了你们,栖息舱的空间舒服多了。当初的事只是一场意外,我们运气不好才导致了如今的处境。刘易斯上校的下达的命令完全正确,这是为其他人生命安全负责的决定。愿你们所有人都能平安回家,期待返回地球后和你们喝一杯。——庞学林,沃特尼。”
……
时间一天天过去,庞学林和沃特尼在火星上的生活开始变得枯燥且单调。
每天清晨,沃特尼都会进入种植舱,检测种植舱内的空气成分,给土豆松松土,测试一下土壤的湿度,然后决定要不要对增加土壤的含水量。
有些时候,他也会给土壤添加一些新加工出来的纯天然肥料。
庞学林则检查栖息舱内各个系统的运行情况,记录日志数据,将其发回地球,并且根据专家委员会的建议对某些设备做定期维护。
具体庞学林进入火星救援世界已经过了三个多月,种植舱内的土豆已经长到了二三十厘米高,绿油油一片,再过半个月就能收获。
当他们将土豆的照片传回地球后,引发了巨大的轰动。
为此,沃特尼不得不配合阿瑞斯计划指挥部,给地球上的小朋友们科普了一节火星植物学课程。
庞学林相对而言活就没这么多了,每天做完记录和维护,剩下还有五六个小时可以自由安排,于是他给自己找了个新课题——证明ABC猜想。
ABC猜想是数论领域的重要猜想,由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,因此又称为Oesterlé–Masser猜想。
数学家戈德菲尔德曾说过:“ABC猜想是丢番图方程尚未解决的问题中最为重要的一个!”
法国数学家Lu Szpiro(主要研究领域为数论、算术代数几何和交换代数)在2007年时尝试攻克此猜想,但后被证明其中有误。
2012年8月,日本的京都大学数学家望月新一发布了五百多页的论文,介绍了他的全面一般化泰希米勒理论,并声称用此理论可证明包括abc猜想在内的几个著名猜想,只是这一晦涩难懂的理论并没有得到数学界的认可。
庞学林读博期间曾经看过望月新一的论文,但没看懂。
按照他导师陶哲轩的说法,望月新一的概念验证部分实在太过复杂,论文的前三百页,几乎都是在建立一个全新的数学体系,关键这一体系只能在ABC猜想等极少数领域得到应用。
与望月新一相反,张益唐和佩雷尔曼在论文的开始就给出简洁的“概念验证”,而他们所发展的方法也能很快地用于相应领域,得到一些有意思的非平凡新结果,或是给出一些已有的非平凡结论的新证明。
因此,这种将简单问题复杂化的举动,通常都是一个错误。
庞学林自然没有想着一口气证明ABC猜想,如果单从难度上来说,这一猜想并不比BSD猜想简单多少。
他只是想给自己找点乐子,毕竟火星上的生活,实在是过于枯燥与乏味了。