祖文远一边说一边拿着自动证明机2.0开始输入自然虫操作系统，之后再去证明简单操作系统在网络客户端中是否有冗余。
吴俊说：“其实就是进化，虫子进化成了人、猴子、老虎、大象等等这些没用的东西。”
自动证明机在四个人惊讶的目光中开始运算，发现机器已经停不下来了，四个人看着机器快速的跑了很久，不知道何时才会停下。
夏商卜笑着问：“这就能说明确实有冗余吗？”
吴俊说：“不好说，或许他跑这么久能够证明没有冗余。”
夏商卜说：“不会证明几千年才停下来吧，这个也能用我们的大斜边系统去改造快一些。”
吴俊说：“你的大斜边已经出现问题，还要来祸害我的机器？”
夏商卜说：“你的自动证明机的弱点是算的太慢，我们需要给他加快速度了。”
【本章阅读完毕，更多请搜索笔趣阁;http://pck.tvgua.com 阅读更多精彩小说】