《>为了网站长久运营 请在浏览器设置 *关闭广告屏蔽管理* 方可正常阅读 谢谢支持！！！！......》

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

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

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

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

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

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

        吴俊说：“没错。”

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

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

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

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

        内容未完，下一页继续阅读