“哥德尔，哥德尔它活了”
李文静猛的抓住王一男的手，“看到没有，哥德尔有有了生命”。
孙伟，赵天成和李飞目瞪口呆的盯着眼前的机柜，仿佛，我们真的在见证一个生命诞生啊。
一个小时过去了，随着led灯光神秘的韵律，蜂鸣声响了起来。
屏幕上输出了一行行的句子。
不再是冷冰冰的“no fault“
1 可以去掉筛选环节，提升16%的效率
2 改善竞争锁的使用
3 增加预处理单元。
看到第三点超出h265规范本身的的缺陷，王一男彻底放心了，哥德尔真的回来了，虽然运算能力下降了一半，但是从形式系统中寻找缺陷的能力，并没有实质性的下降。
王一男看着房间里欢呼的人们，大声说，“我宣布，哥德尔系统确认回归啦！“
实验室变成了欢乐的海洋。
王一男走到院门口，先给张琪打了个电话，通告了哥德尔系统回归的好消息，张琪因为基金有重要的事情，今天没能过来。
钱中华本来也准备过来的，结果他爷爷突然身体有点不太舒服，去医院做检查，钱中华就跟着去了，他让王一男有进展就立刻通知他。
王一男给钱中华打了个电话。
“你爷爷怎么样？”
“没什么问题，就是年纪大了，而且战争年代有一些老伤，需要慢慢调养”，钱中华说。