在芯片设计的时候，孙伟他们曾经提出了一个新的接口方案，如果按照新的接口设计，从电气特性上来说，会有大概5的性能提升，不过王一男权衡利弊之后，决定还是采用兼容之前fa的接口方案。
现在这种兼容性就显现出巨大的优势了，孙伟首先将之前的两块fa芯片更换成新的定制芯片，启动哥德尔系统，简单测试之后，确认工作正常。整个硬件小组的人一起动手，将所有的fa芯片都更换成新的定制芯片。
如果采用新设计的接口，光新的接口卡调试和新机柜的需求，就要费老大劲了。
开机检查之后，李飞运行了一个简单的功能测试程序，每个芯片单独运行一个95覆盖脚本，这时候并行运算的巨大优势就开始显现了，64块芯片同时运行，三秒钟之后就得到了结果，还真的有一块芯片没有通过95的覆盖测试，你别说，在那一个巨大机柜里面，密密麻麻的板卡中找到这块有问题的芯片还真不是一件容易的事情。
王一男让李飞把其他的测试脚本都停掉，就在那块有问题的芯片上无限循环运行覆盖测试的脚本，两分钟以后，偌大的机柜里面，就剩下一个散热风扇还在疯狂的转个不停，“就是它了”，不等王一男说话，李飞就停掉了测试脚本，关机，孙伟连忙跑过去，使用备用芯片替换掉出问题的那块芯片。
这回没有出任何问题，覆盖测试和简单的功能测试很快就完成了，是时候让脱胎换骨的哥德尔展现它的洪荒之力了。在孙伟一脸的苦笑中，王一男拿出当年孙伟的那篇h265的论文，不知不觉，对这篇论文的缺陷分析，已经变成哥德尔系统的标准性能测试程序了，在使用新的定制芯片之前，fa版本的哥德尔系统分析这个案例的用时是25分34秒。
启动缺陷分析程序，王一男开始计时，也许是错觉吧，王一男觉得led灯闪烁的速度快了很多，十秒，二十秒，不对，还没到二十秒，十七秒刚过，“哔哔哔哔”，看到王一男按下启动按钮，李文静起身准备去倒杯水喝，结果第一步还没有迈出去，刺耳的蜂鸣声就响了起来。屏幕上哗啦哗啦的出现了一行行的字符。
“这么快，不是又是nofalut吧”，王一男吓了一跳，“不像啊，这输出的挺多的啊，让我看看”，
“去掉筛选环节，减少竞争锁，还有引入预处理单元”，“嗯，结果也没问题”。
一伙人面面相觑，“这就搞定了？”
简直就像用惯了小天才的人，突然拿到一台酷睿啊，好半天没人说话，“算完了？”，李文静弱弱的问，“好像是的”，
“多少时间？”，“差不多十七秒吧”。
终于，房间里一阵欢呼声响了起来，回过神来的大伙开始庆祝，整整两个数量级的性能提升啊，之前给116所飞控系统进行分析大概花费了将近80个小时的时间，如果是目前的哥德尔系统，只需要四十多分钟，六千万软妹币就到手，这也太吓人了。
“赶紧赶紧，新的晶格模型形式化早就做完了，之前每次用哥德尔系统进行分析，由于计算量太大，总是锁死在刚开始的时候，连进度都没法估计，赶紧用哥德尔2.0试试看”，李文静已经迫不及待了。
一般而言，低温超导属于固体物理的一个领域（有时候我会混用高温超导和低温超导，其实说的都是同一件事，说低温超导，是因为超导材料工作的最高温度至少也在液氮温区内，也就是零下200度左右，相对常温是非常低的温度了，那为什么说高温超导呢，因为科学家追求的目标就是更高温度的超导体，相对传统的零下270度左右的超导体，比如说水银，更高温度的超导简称高温超导就是物理学家追求的目标了）。
固体物理是相对于流体，等离子体而言的，只要不发生形变的材料都可以认为是固体物理的研究内容，而固体又可以分成晶体和非晶体两大类（当然也可以再加上两者之间的准晶体），简单来说，晶体就是固体内部原子周期性排列以及跟排列相容的空间取向是有序的。
这时候你就不得不佩服数学家的牛x之处了，在物理学家还没有形成晶体概念的时候，以法国数学家伽罗瓦（galois）为代表的数学家们，已经为描述晶体的周期性准备好了数学工具-群论，简单来说，群论就是研究一堆个体排列组合的数学，原子算个毛线啊，对于数学家来说，只是一个点，一个抽象的单元而已。
数学家们不知道啥叫晶体，不过费得洛夫说了，嗯，整个空间，所有可能的周期性结构，只可能有230种，1是啥，2是啥，3是啥。。。。于是，所有不相同的晶体结构，就只有230种了，神奇不？
初中物理学的内容告诉我们，在一块晶体，当然最好是导体了，的两端施加电压，自由电子就会从一端流向另外一端，这就是电流了，由于晶体里面还有原子啊，里面有原子核啊，有束缚态的电子啊等等，所以自由电子在流动的时候会产生碰撞，碰撞就会损失电子的能量并产生热量，电流也会有损失，这就是电阻了。
当然，实际情况比这复杂的多，我们在这里就不详细介绍了，毕竟这是科幻小说，不是大学物理课本。简单点说，晶体中的电子由于受到晶格的影响，能量既不像简单原子中具有分立的能级，也不像自由电子一样有连续的能量范围，而是在晶格限制中，呈现带状，简称能带。