附近，两个日吞吐量可达百次的太空港口也在建设之中。
这两个太空港建成之后，不但将成为月球跟地球互通货物的纽带，更将成为通过月球发射太空飞船前往深空的基地。
月球的低引力相对于地球来说，发射深空探测飞船更有优势。
通过月球来发射这些太空船，成本更加低廉。
火星无人探测计划已经被提上日程。当然第一批次去火星进行无人探测飞船，同样由七月负责驾驶。
七月不但要担负起前往火星探测的任务，更肩负着在沿途铺设卫星，并建设中转站的任务。
这种情况下就真凸显出七月的作用了。
作为人类首个通用人工智能产品，借助强大的量子模拟计算机的计算能力，能够快速的根据遇到的不同情况，调整策略。
相对人类来说更精确的控制能力、实时分析能力跟决策能力，显然是这项任务最重要的部分。
尤其是沿途铺设各种卫星转接，能够保证飞船获得的信息能即时发回地球。
哪怕飞船在宇宙远航中遭受意外，完整的情况也能传回地球，为接下来的飞船建设积累更多的经验。
沿途的太空补给站建设则是为了未来有人深空探测打好基础。
毕竟从地月系统到火星又或者其他行星的距离太过遥远。
真正载人飞行探索的时候飞船如果出了故障，起码可以有个地方能够维持人类生命体征，并等待救援。
总之在这一点上乔喻并没有欺骗那些为了让七月能力更为强大，没日没夜研究数学理论的数学家们。
虽然乔喻也会让七月去干些乱七八糟的事情，但七月在深空探索中的突出作用，还是得到了所有人的认可。
与之相应的，不过短短十年时间，元数学已经发展成了一个相对独立的数学分支。
其细分领域之多甚至能跟传统数学本身媲美。
比如强调研究意识结构的元代数，细分领域就意识环论、同调逻辑表示论、自由模论，意图模的稳定性理论、等等
还有元几何中的意识趋向纤维丛论、意图模稳定论、曲率意识论、认知流形论、伦理联络论、
乔喻-陶空间解析还有跟元分析相关的认知微积分、决策方程树、认知DG范畴的模型结构、意识吸引子的微分同胚分类这些年，很多本科学人工智能的年轻人，头铁的扎进这个深坑，然后出不来了—
根本出不来了。
坐拥全世界最牛的那群导师，充足的实践机会，还能近距离接触人类有史以来最强大的人工智能系统，算力资源随便用—·
即便如此，从元数学专业正式招收研究生到现在已经整整七年了。
五十七位教授在前两年总计招收了两百一十二个研究生，目前只有两个人顺利博士毕业。
目前来看延毕率超过了百分之九十九。要知道元数学目前只开设