手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
霸道总裁宠萌妻 七少绝宠：我家小妻是大佬 董三生林诗音 魔改文明 穿越之被逼成反派 圣鸦 太古神尊 陆羽孟竹韵 犯罪现场 万域神君 万域神君陆羽孟竹韵 东宫瘦马 举世之境 莫笑世人痴 万域神君携壶远游 我真就想当个厨子啊 宋士 大唐龙帝 玄幻：从蛋开始无敌 扎纸匠
无上雄兵血欲
战神归来，前女友居然找上门来提出非分要求...
最强医仙混都市
他是最强医仙，混迹都市，风生水起。他是最强男人，花都逍遥，群芳来袭。他是方川，他只想做一个安静的美男子，奈何美女前仆后继，他表示，坐怀不乱真的好难。...
一胎三宝：娶我妈咪请排队
她曾是才情无双的天才少女顾家小七，却被最信任的人背叛，意外重生，成为被家人算计逼嫁的宁家千金，宁薇！新婚夜，她偷了慕宴洲最宝贵的东西，彻夜逃跑。五年后，她携带儿子，华丽回归的当天，儿子却被慕宴洲抓走。并且，慕宴洲发布对她的全球通缉令不上门，等着给孩子收尸！所有人都没有料到，宁薇第二天会亲自上门！还是以慕宴洲未婚妻的身份，光明正大地做了慕家女佣...
超级仇恨戒指
姜帆很惊讶地发现，自己偶然得到的戒指竟然有吸收仇恨的功能，只要有人仇恨自己，就能涨各种属性，恨的越深，涨的属性点越多。提示还差一万八千点仇恨值完成任务，届时将获得一万八千点属性值，以及神秘大礼一份。提示，各项属性值已到瓶颈，再完成一次任务，戒指将刷新系统，六项属性全面升级，并有新功能激活。...
万古最强赘婿
姑爷，什么才是强者？香儿问。我之居所，帝君亲临也需叩门请入，我手握一刀，可令满天诸神敬我三千丈，这便是强者！姜寒道。相公，你想过什么样的生活？颜如雪问。佳人在侧，儿孙绕膝，诸神不扰，不坠轮回。姜寒道。弟弟，你这一生可曾有过什么壮举？姜婵问。孤身一人，杀入东海禁区三千里，海妖浮尸如山，算吗？姜寒反问。我这一拳练了五十年，至今无人接下，要不你来接一拳？武帝城老不死咧嘴笑道。不接，接了你便不再是天下第一了！姜寒道。姜寒，你终究还是折在了我的手上，哈哈哈，我再镇压你三千年又如何？燕倾城狂放肆意。疯婆子，你这么做值吗？姜寒怒笑。一个纯粹又复杂的玄幻世界！...
闷骚老公，宠上瘾！
啊啊啊，疼啊，你轻点再敢乱动，就戳爆你的包。某男人很恶质的戳了戳她额头的肿包威胁着。人前他骄傲冷酷，不近女色。人后却衣冠禽兽，欺她为乐。...