手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
穿越之被逼成反派 扎纸匠 陆羽孟竹韵 魔改文明 霸道总裁宠萌妻 莫笑世人痴 玄幻：从蛋开始无敌 东宫瘦马 圣鸦 七少绝宠：我家小妻是大佬 我真就想当个厨子啊 万域神君陆羽孟竹韵 大唐龙帝 太古神尊 犯罪现场 董三生林诗音 万域神君携壶远游 举世之境 万域神君 宋士
本宫不在线
（已完结）起点女生网签约作品穿越！穿越！这等好事终于轮到兰溪啦！真是好地方啊～径直掉进公寓楼，不用做房奴山明水秀科技发达，电脑电视样样有找个皇帝做饭票，管他佳丽三千人。心满意足的小更衣做着皇宫宅女梦，无事看电视上网闲逛或码字。只是啊，黑心的人到处有，太监公公接个网线就要了十两银子！感冒吃了一天小灶就费了五两银子！因为皇帝不招侍寝，就克扣伙食，为了加饭债台高筑！怎么办？宅女做不下去，是奋...
鸿蒙道
当年盘古大神在混沌中游历时曾经收了十二颗诸天定海珠，后来给了十二祖巫，成为了他们掌控十二系本源能量的源珠。但是数千万年后，这些源珠全部流失到了那个魔法空间的最下层上，不过却无人能够真正发挥出它们的作用来。黄天玄走了大运，被雷劈后居然得到了从那个世界里穿越过来的两颗源珠，还得到了那个世界修练魔武技能的功法，从此走上了不同的人生道路...
女总裁的近身高手
作者飞天的猪的经典小说女总裁的近身高手最新章节全文阅读服务本站更新及时无弹窗广告小说女总裁的近身高手华夏超级兵王叶北回到都市，却被人高薪雇佣扮演上门女婿，并且阴差阳错的弄假成真。在他享受都市生活的同时，也带来了数不尽的麻烦...
将心权谋
一代名将炎冥一世权臣夜雨寒月之倾城抚罗衣，弦月佳人月玲芯魂兮梦兮雪忧兮，帝国仙子雪梦兮炎冥因恨月玲芯而去毁灭，又因爱雪梦兮而守护夜雨寒为权倾天下而去潜伏，又用谋略无双来欺骗当炎冥和夜雨寒，遇到了倾城倾国的月玲芯和玉洁冰清的雪梦兮是守护？还是誓言？她为他回眸一笑百媚生她为他黯然流泪心憔悴伴随而来的是一生的祝福？还是一...
美人引
一个农村的小瞎子，为了生计给村里的女人按摩治病，经常被村里的那些老娘们占便宜，不曾想有一天居然复明了他还能一如既往地被占便宜么...
我居然能心想事成
从小寄人篱下，长大后做了几年的上门女婿，周睿可以说是被人嘲讽的典型代表。岳父岳母看不起他，妻子对他失去了期盼的耐性，唯一的收入来源就是每个月八百块的破书店。这一切，直到某天他突然感觉自己好像丧失了某段记忆，然后获得一本可以心想事成的古书开始，发生了翻天覆地的改变！上架后每两百金钻加更一章！玉佩加更一章！皇冠加更十章！微信公众号TV帝请大家搜索关注一下，感谢！...