怎么会？
数学基础任务怎么突然就完成了？
韩元有点懵，明明没有解决任何一个世界级数学难题来着，这个数学基础任务怎么就过了呢？
任务面板打开，韩元迅速找到已完成任务中的数学基础任务，浏览了一下，他看到了已完成后面的希尔伯特二十三问中第五问。
希尔伯特二十三问中第五问，这正是他刚刚解决掉的最后一个问题。
“系统，希尔伯特二十三问中第五问，不是已经被数学家解决掉了吗？”韩元在脑海中询问。
希尔伯特二十三问中第五问是证明连续群的解析性。
虽然这个问题的确是世界级的数学难题，但这个问题在1952年的时候就已经由格利森、蒙哥马利、齐宾三名数学家共同解决，得到了完全肯定的结果。
而这三名数学家也因为解决了这个问题拿到了米国的十大数学成就。
这个点他记得很是清楚。
“因宿主使用了全新的论证方法，以及使用的论证知识和已证明后的定理无法，所以可当做一项全新的解决方法，亦可用于完成任务。”
系统的提示声再度在脑海中响起。
韩元却陷入了沉默。
任务完成了，他却并没有太多的欣喜，反而有一种巨亏的想法。
从接到数学物理基础任务到现在，时间大概过去了七个多月接近八个月的样子，数学基础任务的期限是一年，现在还剩下四个多月。
“系统，数学基础任务提前完成了，那那些数学知识，我还能学习吗？”
沉默了一下，韩元在脑海中再度问道。
“数学知识已收回。”
听到系统的回复，韩元搜了一下脑海中的数学知识，发现已经没了后再度陷入了沉默。
艹了，这下真的是巨亏！
韩元看着空荡荡的大脑，只感觉到坑爹。
曾经有一份整个人类文明过去几千年已证实的一切数学知识摆在他面前，他却没有珍稀。等待失去后，才发现已然后悔。
淦！
第一次，韩元觉得任务完成的太快也不是什么好事。
......
确认数学知识已经全部消失后，韩元忍不住又叹了口气，动手将桌子上的稿纸整理了一下，然后一股脑的塞进了木箱中存放起来。
这些原本让他感到自豪的东西现在在他眼中就是坑爹的东西。
数学基础任务还剩下四个多月，这段时间足够他再学习不少的数学知识。
然而现在就这样没了，真是让人蛋疼。
.......
从坑爹的思绪中回过来，韩元打开了显示屏，查看溶侵液的侵蚀工作。
这两天的时间，溶侵液的注入采矿工作一直在由这些工业机器人进行，老天还是挺给面子的，连续三天都是大太阳，现在工作已经进行的差不多了。
看了眼溶侵液配套的设备反馈回来的信息数据，韩元简单的计算了一下，便知道了溶侵液针对铀矿的侵蚀已经差不多了。
两天的时间，这些工业机器人往地下灌了最少十万吨稀释后的溶侵液下去了。
当然，这些灌注下去的溶侵液不可能全部都能回收回来。
不过就算最后能回收上来的只是一半，甚至是三分之一，也足够他使用了。
至于那些掺杂了铀离子的溶侵液会不会污染地下水什么的，这个韩元并不用担心。
一是这里是模拟空间，里面除了他之外没有任何人。
二是他用来提炼铀的溶侵液在一定程度上是可以降解。
这种降解的意思是它会在侵蚀足够的时长后，里面的硅、二氧化硅、氧化铝等这些东西的浓度会达到饱和。
而饱和之后，里面的水分会逐渐蒸发或者被其他材料吸收掉，转变成浓稠的铀液，进而继续沉淀，在经过相对漫长的时间后，重新变成铀矿石，而且是高品质的那种。
毕竟溶侵液在侵蚀铀矿的过程中，会不断的吸收铀矿中的铀。
相比较天然形成的铀矿，即便是他脚下的这个，铀液的铀在同体积含量也要更多。
当然，没有任何一种东西是完美的，即便是这种溶侵液能降解，它依旧会对环境造成一定的影响，降解重新变回铀矿石也是需要时间的。
除此之外，在降解的过程中，还是有几率侵入地下水导致地下水受污染的。
但相对而言，这已经是一种比较环保的采矿方式了。
.......
确认溶侵液灌注的差不多后，韩元喊停了还在忙碌的x-1型工业机器人。
隆隆作响的抽水机停下了工作，十二台工业机器人集结起来。
韩元大手一挥，接下来你们都给我挖坑去！
老板一句话，下属零零七。
他一声令下，这些工业机器人再次拿起了自己的锄头和铁镐。
虽然地上已经有了三个大坑，但对于即将要抽取出来的溶侵液来说完全不够。
毕竟这些机器人忙碌两天多的时间，可是朝底下灌了最少十万吨稀释后的溶侵液的。
哪怕只有三分之一的量抽出来，也高达了三万多吨。
纯水的重量是一吨一立方米，而掺杂了各种矿物离子的溶侵液同体积下会比水重一点。
如果按照水的密度来算，三万吨水也有三万立方米了，得准备一个100*300*1的超级大水池才能放下。
这么大的水坑，除非是有挖机，否则一晚上的时间即便是十二台工业机器人不停歇的挖掘也弄不出来。
真要挖出来这么大的坑，韩元还得担心直接地陷了。
不过分批次进行处理就没什么问题了。
按照规划，韩元将需要的水坑数量和大小交给这些x-1工业机器人后便折返回去睡觉了。
这就是有智能工业机器人的好处了，放到以前，他得自己亲自动手。
现在，他可以剥削机器人。
......
一夜无梦，天蒙蒙亮的时候，韩元就从床上爬了起来，走到驾驶层的玻璃边往外一看，那些工业机器人已经按照他的命令将需要的坑都挖出来了。
不过仔细一看，他就发现这些坑里面全都沉积着不少的水。
看到这一幕，韩元嘴角抽了一下。
昨天让那些工业机器人挖的坑的确是挖出来了，但深夜居然下雨了，而且还下的很大，以至于挖出来的坑已经变成水塘了。
这还真没想到。
摇了摇头，看了眼窗外还在淅淅沥沥下着的小雨，韩元转身从冰箱里面去了点吃的。
热了一下后便带上了学习勋章。