按照爱因斯坦的相对论,时间的流速跟个体的焦躁程度成反比,也就是说,越焦躁的时候,就会觉得时间过得越慢,当然,我是开玩笑的。
不过确实,时间有时候就会过得格外的慢,特别是当一堆人眼巴巴的期待着某个结果,某个时刻到来的时候,从哥德尔系统开始训练钇铜氧化物的空间结构开始,120小时的时间是那么漫长,最后几个小时的时候,王一男和李文静就像热锅上的蚂蚁一样,围着哥德尔转来转去。
整个房间的空气中弥漫着仿佛要烧焦一样的气味,孙伟受不了这种窒息一样的空气,早早的逃到外面。
LED的闪烁在某一刻突然开始加快,所有人的眼睛都亮了。大家都有经验,这种闪烁频率的变化已经成为哥德尔输出结果前的标配,果然,一分钟不到,“哔哔哔哔”的蜂鸣声响了起来。
房间里立马一阵兵荒马乱,王一男冲到终端前面。芯片升级之后哥德尔系统还做了其他改进,在人机界面上也有了巨大的进步,它现在能够以图像的方式输出自己的结果了,在高分辨率的大型显示屏上,一个复杂的晶体构型在不断的旋转着。
“让我看看,一个铜原子,不对,整个晶格的构型好复杂,十七个铜原子,十个氧原子,还有钇原子。。。“,王一男傻眼了,这个结构怎么弄啊,李文静注意到后面哥德尔系统所预测的临界温度,她发出一声尖叫,140K,也就是零下133摄氏度左右,这已经远远超过了目前世界上其他实验室所获得的结果。
现在的问题是,这么复杂的晶格构型,怎么在实验室做出来呢,采用传统的焙烧方法,就是跟普通陶瓷烧制很类似的办法,要想获得足够数量,还要满足哥德尔系统理论构型的结晶体,这跟买福利彩票的概率也差不多了。
“这是什么”,王一男注意到哥德尔系统的输出,最后还有一部分不同寻常。
“本次计算有效时间10小时32分钟,无效时间110小时,对无效计算时间的分析如下”,
“1.形式化冗余,对同一目标的多次重复计算,造成无效计算时间24小时,目前已自动调整消除冗余”
“2.自相矛盾的形式化,造成多个计算单元不得不采用表决的方式解决冲突,浪费时间30小时,建议明确其中正确或者错误的部分“,
”3.未考虑最终构型的对称特性,此处可以减少一半的计算时间”。
“。。。”
王一男哭笑不得,早干嘛去了,不过话说回来,要是在进行计算之前哥德尔系统就能提出改进方案,估计王一男会把机器拆开,看看里面是不是躲了一个外星人吧。
李文静也过来看到了哥德尔系统的改进意见,她是个急性子,立刻拉着赵克勤,开始对形式化系统进行改进。
王一男则开始思考下一步该往哪一个方向投入力量。
首先,如果按照哥德尔系统的提示,对形式化以及训练过程进行改进,将训练时间缩短到10小时,就可以尝试其他稀土金属了,比如说钡或者钛,铋、锶等等。
第二,在10小时基础上增加一个数量级,也不过就是100小时左右,这样的话,在构型里面再增加一种元素也是可行的,比如说钇钡铜氧,钙锶铜氧的化合物等等。
第三,就是制备的问题了,光有理论是远远不够的,而且,你这个理论还没办法往外说,直接写篇论文,说咱有一个非常牛X的人工智能,它预言这种构型的钇铜氧化物临界温度可以达到140K?别逗了。
晃晃脑袋,王一男决定还是暂时不考虑制备的问题,换个脑筋看看吧,除了超导理论以外,哥德尔系统还有哪些活要干的?
1.哥百万,这个小Case了,升级后的哥百万,每天花几秒钟计算时间就足够钱中华他们在国际市场上呼风唤雨了。
2.哥大夫,数据采集和修正还在持续进行,出去看病的事情,还是稍微缓缓吧。
3.分子机器,最新的分子电梯还在训练中,使用哥德尔系统2.0之后,应该也会有比较大的进展。
等等,一道闪电划过王一男的脑海,分子机器,使用金属离子作为黏合剂,使用光照反应或者电化学反应对各种原子进行组装。同样是对原子进行空间构型,为什么不用分子机器的技术来构造超导晶体呢?
王一男越想越觉得靠谱,铜原子在粘合离子的帮助下,跟钇原子或者钡原子以及氧原子形成分子锁链,经过一定程序的多次催化粘合,就有可能形成满足条件的超导晶格。也就是说,可以使用分子编织的技术代替烘培,在基本的氧化物基础上逐步增加分子锁链,从而获得符合要求的超导材料。
“文静”,王一男叫了一声,没有人答应,他看了一下,李文静正跟赵克勤他们在热烈的讨论哥德尔提出的改进意见,王一男暂时打消了跟李文静商量的念头,等他们把形式化以及训练过程的改进赶紧弄完吧。