怎么会？

数学基础任务怎么突然就完成了？

韩元有点懵，明明没有解决任何一个世界级数学难题来着，这个数学基础任务怎么就过了呢？

任务面板打开，韩元迅速找到已完成任务中的数学基础任务，浏览了一下，他看到了已完成后面的希尔伯特二十三问中第五问。

希尔伯特二十三问中第五问，这正是他刚刚解决掉的最后一个问题。

“系统，希尔伯特二十三问中第五问，不是已经被数学家解决掉了吗？”韩元在脑海中询问。

希尔伯特二十三问中第五问是证明连续群的解析性。

虽然这个问题的确是世界级的数学难题，但这个问题在1952年的时候就已经由格利森、蒙哥马利、齐宾三名数学家共同解决，得到了完全肯定的结果。

而这三名数学家也因为解决了这个问题拿到了米国的十大数学成就。

这个点他记得很是清楚。

“因宿主使用了全新的论证方法，以及使用的论证知识和已证明后的定理无法，所以可当做一项全新的解决方法，亦可用于完成任务。”

系统的提示声再度在脑海中响起。

韩元却陷入了沉默。

任务完成了，他却并没有太多的欣喜，反而有一种巨亏的想法。

从接到数学物理基础任务到现在，时间大概过去了七个多月接近八个月的样子，数学基础任务的期限是一年，现在还剩下四个多月。

“系统，数学基础任务提前完成了，那那些数学知识，我还能学习吗？”

沉默了一下，韩元在脑海中再度问道。

“数学知识已收回。”

听到系统的回复，韩元搜了一下脑海中的数学知识，发现已经没了后再度陷入了沉默。

艹了，这下真的是巨亏！

韩元看着空荡荡的大脑，只感觉到坑爹。

曾经有一份整个人类文明过去几千年已证实的一切数学知识摆在他面前，他却没有珍稀。等待失去后，才发现已然后悔。

淦！

第一次，韩元觉得任务完成的太快也不是什么好事。

......

确认数学知识已经全部消失后，韩元忍不住又叹了口气，动手将桌子上的稿纸整理了一下，然后一股脑的塞进了木箱中存放起来。

这些原本让他感到自豪的东西现在在他眼中就是坑爹的东西。

数学基础任务还剩下四个多月，这段时间足够他再学习不少的数学知识。

然而现在就这样没了，真是让人蛋疼。

.......

从坑爹的思绪中回过来，韩元打开了显示屏，查看溶侵液的侵蚀工作。

这两天的时间，溶侵液的注入采矿工作一直在由这些工业机器人进行，老天还是挺给面子的，连续三天都是大太阳，现在工作已经进行的差不多了。

看了眼溶侵液配套的设备反馈回来的信息数据，韩元简单的计算了一下，便知道了溶侵液针对铀矿的侵蚀已经差不多了。

两天的时间，这些工业机器人往地下灌了最少十万吨稀释后的溶侵液下去了。

当然，这些灌注下去的溶侵液不可能全部都能回收回来。

不过就算最后能回收上来的只是一半，甚至是三分之一，也足够他使用了。

至于那些掺杂了铀离子的溶侵液会不会污染地下水什么的，这个韩元并不用担心。

一是这里是模拟空间，里面除了他之外没有任何人。

二是他用来提炼铀的溶侵液在一定