手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
万域神君携壶远游 太古神尊 犯罪现场 东宫瘦马 万域神君 我真就想当个厨子啊 董三生林诗音 大唐龙帝 霸道总裁宠萌妻 莫笑世人痴 玄幻：从蛋开始无敌 举世之境 宋士 陆羽孟竹韵 圣鸦 穿越之被逼成反派 扎纸匠 七少绝宠：我家小妻是大佬 万域神君陆羽孟竹韵 魔改文明
都市霸主
七年前，赵子龙因强奸未遂引发了一场巨大动荡，被赵家扫地出门，自此杳无音讯。七年后，风华绝代的慕容家族掌上明珠突然与人结婚，对象正是当年那个赵家弃子于是，各家大少与年轻俊才纷纷出击，欲彻底踩死这位被赵家遗弃的小角色。职场女人，妩媚天成商界女强人，冷艳高贵纯情校花，心里只有他还有那万种风情的少妇，更是女人中的极品，极品中的绝品且看赵子龙霸气回归，演绎常胜将军之不败神话！...
一胎双宝：总裁爹地强势宠
一场阴谋，苏念轻意外怀孕，惨遭背叛。五年之后，她携萌宝而归，却意外救下冷酷小正太。姐姐，你需要一个暖床的恒温热水袋吗？我把爹地介绍给你！苏念轻看着面前冷酷的小正太，一脸茫然。大叔，你有每天可以亲亲的阿姨吗？我把妈咪介绍给你！秦沐白看着面前可爱的洋娃娃，二脸茫然。当苏念轻和秦沐白在咖啡厅偶遇的时候，才发现两人都已经被安排的明明白白。...
我的阁楼通异界
王欢受伤退役，堂堂全运会亚军落魄给人按摩。租住阁楼竟有传送门通往异界空间，宝藏无数。命运改写！他包揽奥运会所有短跑金牌，征服诺贝尔文学奖，奥斯卡金像奖，格莱美音乐家奖。他制作游戏灭掉了暴雪，手机灭掉了苹果，芯片灭掉了英特尔，飞机灭掉了波音。他成为运动之神，文学之神，音乐之神，影视之神。称霸世界所有领域，从奥运冠军开...
擎天战神秦九州叶红裳
一代战神秦九州重归都市，为弥补遗憾，搅动风起云涌，以不败之资横行四方，诸天震颤。...
洪荒圣主
陈宇偶得混沌珠，穿越时空回到开天之初，客至洪荒。看他如何在神话历史及现实之中徘徊，寻找自己的道路，开创新生。开天辟地吾最先，混沌珠中悟己身。舟皿十口血裔脉，紫气东来傲天宇。鸿钧天道圣第一，道宇圣主更在前。...
最强修仙小学生
身怀混沌道体却顽劣不驯的神尊凌天，偷了葬剑阁和万宝宗的宝库，被师傅逍遥神祖踢下界，万万没想到，却重生在了一个小学生身上，在重新历练的路上，一连串啼笑皆非的故事。（应各位宝宝们所要求，建了个群，88166838）别看我还是个孩子，想欺负我？打得你满地找牙！别看我还是个小学生，想坑我？坑得你哭天喊地！...