第三十六章 ABC猜想
“伙计们，我知道這個消息挺让人意外，事实上你们不用有什么心理负担。我們大概在一個月前通過卫星照片发现了阿西达利亚平原营地的异常，然后经過一個月的努力，终于和庞以及沃特尼取得联系。在与地球的交流過程中，他们曾反复强调，這次事件只是意外，你们的做法沒有错，他们不怪你们。而且你们恐怕不知道吧，沃特尼和庞還在火星上种起了土豆，现在，他们是首次在外星球进行农业活动的人类，或者說，他们是人类殖民火星的先驱。”
“目前阿瑞斯计划指挥部已经制定了完善的营救计划，我們将会不惜一切代价去营救庞和沃特尼，所以請你们放心，用不了多久，你们就可以在地球上见到庞和沃特尼了。另外你们如果有什么想对庞和沃特尼說的，可以发往休斯敦，我将替你们转达！”
很快，弗裡德裡希、贝克、格罗斯他们也纷纷来到了重力舱。
“刘易斯上校呢？”
贝克问北川晴子道。
“我在這！”
不知何时，眼圈微红的刘易斯上校又回到了重力舱，她目光柔和地看着自己的队员们，說道：“伙计们，我們讨论一下，该怎么给庞和沃特尼写信吧！”
……
火星，阿西达裡亚平原，火星時間晚上九点半。
栖息舱内，庞学林躺在床头，悠闲地听着沃特尼从刘易斯上校留下的私人物品中找到的一张爵士乐CD。
沃特尼则坐在电脑前，和几光分之外的专家保障团队聊着天。
当然，大部分時間，他们聊的內容都是一些扯淡的废话。
自从和地球联系上之后，阿瑞斯计划指挥部的控制欲变得前所未有的强烈，大到庞学林和沃特尼在未来几年的整体规划，小到每一顿食物的营养搭配，他们都会出手干预。
比如，庞学林和沃特尼发现水循环系统的出水速度有了一定下降之后，认为水循环系统出现堵塞，他们准备自己动手维修，找到堵塞的管道，将其清理干净。
专家委员会经過十小时的讨论后，否决了庞学林和沃特尼的提议。
他们认为這种活只有专业人士能干，目前水循环系统還可以使用，沒必要冒着搞坏水循环系统的风险去修理它。
于是庞学林和沃特尼愉快地将他们的建议抛到脑后，花了一天時間将水循环系统拆开，找到堵塞点清理干净，然后重新组装回去，完全沒有任何問題。
当然，专家团队也不是沒有提出一些有效的建议。
比如对作物进行精细化管理，增加种植舱的二氧化碳含量，从而提升有机质的合成量。
又比如，利用氧合机将液氧储罐全部灌满，以防万一出现危机，氧气含量不够用等等。
這段時間，庞学林和沃特尼也轻松了下来，现在他们能做的都已经做得差不多，接下来只要耐心等待第一季土豆收获即可。
在专家团队的建议下，大部分時間，他们都会待在栖息舱内，减少EVA次数，从而降低二氧化碳吸收器的消耗。
原本为了生存两人每天忙個不停，现在一下子清闲下来，庞学林竟然感觉到有点不适应。
他一边听着音乐，一边思考着是不是该给自己找個合适的研究课题了。
正想着，电脑前的沃特尼突然叫了起来：“庞，快過来，刘易斯他们给我們写了一封电子邮件，刚刚由休斯敦转发過来！”
庞学林连忙从床上爬起来，来到沃特尼身后。
沃特尼打开电子邮件，读了起来。
“亲爱的庞，沃特尼，很高兴听到你们還活着的消息。真的，真的，我們每個人都非常高兴。我现在特别后悔，当初我不应该放弃你们的，我应当对你们的处境负全责。现在谢尔盖、北川晴子、贝克、格罗斯、弗裡德裡希都在我身旁，他们很想念你们，只要你们有需要，赫尔墨斯号全体成员将随时为你们提供帮助，希望我們有能帮到你们的地方。阿瑞斯计划指挥部已经告诉我們，他们有了一套切实可行的营救方案，我相信你和庞一定能够凭借自己的智慧在火星生存下来。等你们返回地球，我請你们喝酒。——刘易斯及赫尔墨斯号全体成员。“
“庞，我們也给刘易斯他们回封邮件吧！”
庞学林微笑道：“那当然！”
很快，庞学林和沃特尼便拟定了一份新邮件，回复了回去。
“刘易斯上校還有亲爱的队友们，大家好，很高兴能够再次知道你们的消息，我和庞在阿西达利亚平原過得很好，沒有了你们，栖息舱的空间舒服多了。当初的事只是一场意外，我們运气不好才导致了如今的处境。刘易斯上校的下达的命令完全正确，這是为其他人生命安全负责的决定。愿你们所有人都能平安回家，期待返回地球后和你们喝一杯。——庞学林，沃特尼。”
……
時間一天天過去，庞学林和沃特尼在火星上的生活开始变得枯燥且单调。
每天清晨，沃特尼都会进入种植舱，检测种植舱内的空气成分，给土豆松松土，测试一下土壤的湿度，然后决定要不要对增加土壤的含水量。
有些时候，他也会给土壤添加一些新加工出来的纯天然肥料。
庞学林则检查栖息舱内各個系统的运行情况，记录日志数据，将其发回地球，并且根据专家委员会的建议对某些设备做定期维护。
具体庞学林进入火星救援世界已经過了三個多月，种植舱内的土豆已经长到了二三十厘米高，绿油油一片，再過半個月就能收获。
当他们将土豆的照片传回地球后，引发了巨大的轰动。
为此，沃特尼不得不配合阿瑞斯计划指挥部，给地球上的小朋友们科普了一节火星植物学课程。
庞学林相对而言活就沒這么多了，每天做完记录和维护，剩下還有五六個小时可以自由安排，于是他给自己找了個新课题——证明ABC猜想。
ABC猜想是数论领域的重要猜想，由乔瑟夫·奥斯达利（JosephOesterlé）及大卫·马瑟（DavidMasser）在1985年提出，因此又称为Oesterlé–Masser猜想。
数学家戈德菲尔德曾說過：“ABC猜想是丢番图方程尚未解决的問題中最为重要的一個！”
法国数学家LucienSzpiro（主要研究领域为数论、算术代数几何和交换代数）在2007年时尝试攻克此猜想，但后被证明其中有误。
2012年8月，日本的京都大学数学家望月新一發佈了五百多页的论文，介绍了他的全面一般化泰希米勒理论，并声称用此理论可证明包括abc猜想在内的几個著名猜想，只是這一晦涩难懂的理论并沒有得到数学界的认可。
庞学林读博期间曾经看過望月新一的论文，但沒看懂。
按照他导师陶哲轩的說法，望月新一的概念驗證部分实在太過复杂，论文的前三百页，几乎都是在建立一個全新的数学体系，关键這一体系只能在ABC猜想等极少数领域得到应用。
与望月新一相反，张益唐和佩雷尔曼在论文的开始就给出简洁的“概念驗證”，而他们所发展的方法也能很快地用于相应领域，得到一些有意思的非平凡新结果，或是给出一些已有的非平凡结论的新证明。
因此，這种将简单問題复杂化的举动，通常都是一個错误。
庞学林自然沒有想着一口气证明ABC猜想，如果单从难度上来說，這一猜想并不比BSD猜想简单多少。
他只是想给自己找点乐子，毕竟火星上的生活，实在是過于枯燥与乏味了。
：https://www.bie5.cc。：https://m.bie5.cc