半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。

安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”

吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”

夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”

吴俊说：“它现在就是在运算这个。”

祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”

夏商卜说：“那倒也是。”

祖文远说：“就担心会出现既不可证明又不可证否的情况。”

吴俊说：“如果时间太长的话，就改进一下参数也行。”

突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。

但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。

吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”

夏商卜说：“离自动证明机3.0研发成功还有多久？”

吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”

夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”

吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”

夏商卜说：“这就是王园挑头的吗？”

吴俊说：“没错。”

夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”

华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”

第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。

华罗看到很多各种装置都可以使用遥控技术让各种东西在空中做各种复杂的移动。看到每一个飞行的物体上都绑着电线圈。

华罗问王园：“每一个飞行的东西都需要绑上这些线圈吗？”

王园说：“那是肯定的，线圈导电，产生磁力，我们就是使用磁力来控制这些的。这是电磁研究里的一项新研究，是磁体控制能力。这个能力一开始是可以使用电磁装置对铁这种可以携带磁体的物体进行控制，可以隔空的将带磁体的东西用磁力抬起来，而且可以移动方位，还能够将带磁体进行各种方位的移动，转动。之后将精度提高，可以完成高难度的复杂动作。”

华罗说：“这些线圈太多，有些影响美观。”

王园说：“之后我们会渐渐的减少了控制装置，使用很少的电磁装置就可以控制带磁体，后来变成了可以远程的控制带磁体，再变成可以远程精确控制带磁体。”

华罗说：“不用线圈可以完成吗？”

王园说：“虽然可以，但是需要特殊材料才可以。需要对任何一个物体进行磁化，然后对这个物体进行控制的，只是这物体无法向铁一类的物质那样好控制而已。常温超导体材料的研究也很重要。”

王园继续说：“不仅仅能够可以控制物体的精确移动，而且还可以控制磁体的变形，一些特定的变形十分重要。可以对液体进行磁化，进而控制它们的移动，和精确的变形。可以得到任何一种精确的液体。对控制体进行优化布阵后，可以得到任何一种形状的液体出现，比如，用水做成无外在载体望远镜，或者是显微镜，那种强度可以随意调控，远远超过了传统的玻璃片的聚光强度。我们现在开始跟天文台合作做水控制光学望远镜。”

华罗说：“让水变成超导体这样，很难吧！超导体都是低温的。”

王园说：“需要让水变成特殊结晶状态，尽量不让水因为低温不规则结晶影响透视效果。然后对控制体优化后尽量减少控制体对其他外界因素的影响，没有了多余的副作用，因为如果控制体磁力太强的话会影响其他带磁物质，比如银行卡的磁会受到这个控制体的影响。”

华罗说：“这里难度最高的是什么？”

王园说：“有材料上的，有纳米加工上的，但更重要的是数学上的，需要一个有经验的优化的构架去计算如何省去空间，还能省很多电。这是一个十分耗电的工程，悬浮物耗的是电池。很多人都笑话我这种技术还不如螺旋翼驱动起飞呢，我反倒笑他们没有空气的时候怎么在太空起飞。”

华罗说：“这个大小有限制吗？”

王园说：“最大的如果不缺电力的话，是没有上限的。最小的磁控能力已经可以用在微观的纳米阶段，功能超出人类的想象，可以轻松制作纳米材料，比起传统的工艺强大很多。磁控能力已经变得数据智能化，可以完成人类对它规定的任何任务，许多复杂的，危险的事情都可以依靠隔空的能力精确完成。”

夏商卜说：“怪不得这种强大的技术已经被大会议认可，被吸收进入巨脑系统中。”

吴俊说：“自动证明机3.0已经研制成功了吗？”

王园说：“说起这个来，我倒是停工很久了，因为遇到了麻烦。”

吴俊说：“诸多不同领域数学公理化研究不是建立起来了吗？”

王园说：“如果说多项式计算，概率论，随机数理论，几何学，代数学，数值计算，群论这些还好。就是这里面出现了一些可以相连的跨学科理论，这个比较麻烦，典型的比如就是椭圆曲线与模形式这种东西，虽然有千丝万缕的联系，但是深入研究却让我越来越糊涂，甚至连根基都找不到。”

吴俊说：“那就把复杂的理论去掉，用我们现有的擅长的理论去制造就可以了。”

王园笑着说：“怎么突然关心起这个了？你遇到问题了？”