干冰，学名固态二氧化碳，将二氧化碳在6250.5498千帕压力下液化，再在低压下迅速凝固的到的固体。其温度在零下78度左右，常用于清洗，制冷，当然，我们最常看到的用途，是舞台上云雾缭绕的效果，那些烟雾基本上都是干冰的杰作。
干冰生产不需要更多的原料，空气即可，价格低廉，很多时候，每公斤10块软妹币就可搞定，实属居家旅行，杀人放火之必备。干冰加上丙酮，是制造零下75度以上低温的低成本方案。
简单来说，如果说在液氮温区能实现超导，就像买彩票中了五百万一样，那在干冰丙酮温区实现超导，就跟买彩票中了累计了十年没人中过的六合彩没什么两样。
整个下午接下来的时间，王一男跟李文静只做了一件事情，就是去掉对哥德尔系统的种种限制，不管白猫黑猫，抓到老鼠就是好猫。不管用钡还是钛，钙还是锶，反正让哥德尔系统用自己的能想到的元素去构造晶格的三维结构，目标只有一个，尽可能高的临界温度。
忙乎到晚上十一点，总算差不多了，王一男在终端上启动了哥德尔系统的训练程序，在led闪烁中，哥德尔系统估计了训练所需要的时间，十四个小时，“还好还好”，王一男长出一口气，“明天咱们来见证奇迹吧”。
美美的睡了一觉之后，王一男中午来到公司，今天也是容与公司放假后第一天上班的日子，王一男特地在超市买了一叠红包，每个红包里面放上一张崭新的mao爷爷，从前台到保安，王一男整个公司转了一圈，每人一个红包，顺便拜个年，恭喜大家都发财。当然啦，你说普通员工怎么才能发财呢，当然是需要公司大赚特赚啦，所以，王一男其实是恭喜自己发大财。
中午时分，在公司吃过午饭，去年年底的时候，王一男专门从邓若烟那里挖来一个第四顺位的厨师还有他的两个助手，反正在邓若烟的会所出不了头，还不如来我这里拿高薪呢，所以容与公司现在的伙食好的不行，晚上经常有员工主动加班，就为了能多吃一顿公司食堂。
眼看着训练时间差不多了，一帮人守在终端前面，王一男心说，难道这回真的会中六合彩吗，在胸口画了个十字，好吧，科学的事情，好像西方的上帝稍微灵光一点？那就上帝保佑吧，这点小事就不麻烦菩萨了。你看，华国人的信仰，就是这么简单实用，而且粗暴有力。
随着led闪烁节奏的加快，所有人都屏住了呼吸，“哔哔哔哔”的蜂鸣声响了起来，王一男看见屏幕上出现一个三维的复杂氧化物晶格结构，不断的旋转着，王一男扭过头，没敢去看下面那行估计临界温度的小字。“文静，你来念一下，哥德尔系统估计的临界温度是多少？”
李文静凑了过来，“还能多少，我就不信真能到。。。”，“啊”，李文静一句话刚说了一半，就发出一声尖叫，把王一男吓了一跳。
王一男心说不会真中了六合彩吧，他凑过头去，看见一行小字，“估计临界温度：220k”，一阵幸福的眩晕瞬间击中了王一男，他看了看赵克勤和孙伟，当然还有两只科研狗，董志和罗小音，努力让自己镇静下来，晃了晃脑袋，王一男说，“还是理论模拟，没做出来之前，大家知道该怎么办吧”，吃瓜群众点了点头，这要泄漏出去，可真是掉脑袋的事情，公司外围那一个营的驻军，可不是拿来搞笑的。
接下来的任务就有两个部分了，一个部分大家很容易想到，就是把超导材料做出来，从理论上的晶格构型，到实际的材料，还需要很多的工作，而用来制造这种复杂晶体结构的分子编制器这个大杀器，相关的设备现在还停留在图纸上呢。
另外一个部分，就是为这个构型找到理论依据，哥德尔系统还是尽可能不要暴露的，何况暴露了也没有，你说俺们有个人工智能说，这个构型就能实现超导，别人会认为你脑子进水了。
那总不能说昨夜做了一个梦，梦到这样这样这样，弄出来的超导材料特别牛x吧，如果你真的制备出了这样的材料，证实了材料的超导特性。那没问题，你真的写了这样的论文，一定也会发表，科学家也会承认你很牛，不过呢，这种牛就会打个引号了，说不定没过多久，张三李四，甚至托马斯程潜之类的，弄出个理论解释你这种构型为什么能够产生超导效应云云。
真要让人把理论弄出来，而且如果看起来还挺有道理的，让业界评定，说不定人家的功劳比你还大呢，王一男他们怎么能容许这种情况发生呢。
所以，王一男和李文静现在要做的，就是想办法解释这种构型为什么能够产生超导效应，这就像考试的时候，你已经拿到标准答案，但是光有这个不行，你还得补上推倒的过程，哦不对，推导的过程，才能拿到满分。
虽然也很难，不过比起不知道答案的瞎碰，已经简单很多倍了，要是这样都比不过托马斯和程潜，王一男和李文静干脆自己找块豆腐撞死得了。
更何况他们还有哥德尔系统这个作弊器，在持续不断的改进下，现在他们已经能够部分了解哥德尔系统的思维过程了，其中一些阶段性的晶格构型，以及哥德尔系统剪枝（就是去掉明显不可能的分支，降低计算量的一种基本技巧）过程，通过新增加的人机界面系统，哥德尔系统可以将中间部分结果，输出人类能够理解的形式。
<