手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
大唐龙帝 扎纸匠 太古神尊 万域神君携壶远游 七少绝宠：我家小妻是大佬 东宫瘦马 霸道总裁宠萌妻 董三生林诗音 万域神君陆羽孟竹韵 我真就想当个厨子啊 玄幻：从蛋开始无敌 宋士 陆羽孟竹韵 圣鸦 穿越之被逼成反派 举世之境 万域神君 魔改文明 莫笑世人痴 犯罪现场
穿越蛮荒：找个族长来种田
作为二十一世纪的新时代女性，陶然表示她一点也不喜欢穿越，无他，只因古时候的生活太苦了，没有电脑空调手机不说，就连生火做饭都是难事儿。只是她没想到她最不愿意的事情还是发生了，而且还让她穿越到了最原始的老祖宗的年代，蛮荒世纪。一想到那些邋遢甚至不穿兽衣的原始人，陶然就一阵头痛，还有那一脸冷酷的族长是怎么回事？竟然露出一副如沐春风的笑容。靠很惊悚的好不好。某族长眼里暗藏着得意，女人既然你是我交换回来的，那就是我的人，这辈子休想躲开我！...
失联一百五十五天
一艘偷渡的船漂泊在海洋上，船长却离奇失踪，剩下十五个人险中求生十五个人逃命来到一座荒芜小岛上，却发现这不是一个救命小岛，而是一个丧命小岛！小岛上惊险叵测，神秘人暗中追杀，重重黑影和误会让人内斗，自相残杀，妙龄少女小岛上怀孕生子，野人在后乘胜追击惊心动魄，悬疑重重，想活着的人在此绝境求生，渐渐地发现小岛上一个惊人秘密。...
异常生物疗养院
一身潮装，嘴里哼着嘻哈，对纹身有着特殊执念的正统修士。喜欢玩cosplay，然后在网上当主播的木乃伊。喜欢到处吹牛逼的盗墓者。喜欢写小说但是总扑街的赶尸匠。还有一堆莫名其妙的家伙，现在在一个名为第七号疗养院的地方养老。而文成很不辛，在一只猫的糊弄下成为了这个疗养院唯一的护士，没错他还是个大老爷们儿。同时将整个疗养院搞得鸡飞狗跳，还与不少在此疗养的修真界大佬签订了各种不平等条约。自此以为自己草根逆袭...
绝世龙帝
龙辰以大帝之体成就十方天域最年轻的主宰强者，一生为逆转轮回复活至亲而努力！然而却被最信任的师尊背叛，在无数强者围攻之下陨落。待他再次睁眼却携世间第一秘典逆转轮回，重回三百年前，这时家族未灭，他大帝之体尚未觉醒这一世，他要一生无敌！这一世，他要再无悔恨！这一世，他要以手中之剑，斩尽天下敌，从此登临前所未有的大帝之...
星际大盗：她又A又飒
校园征文中短篇虫族倾巢出动，星际不败战神战栩翻车了，险些丧命他被个女人救下，她，冷酷无情，只知道催债战将军不近女色，是个训练狂魔，然而一醒来居然忘掉了自己是谁他眼巴巴望着江祈，不要脸地问你一定是我的亲人吧？做的饭真香苏祈表示病的不轻江祈把粥推到他面前在江家吃白饭的战神一碗饭吃不饱哦江祈那你要几碗五碗江祈战神满足的吃着有老婆真好，有老婆真妙，没老婆的日子很煎熬！江祈冷漠地看着那堆空碗记账人虫大战中，她挺身而出，把他护住躲我背后战神乖乖照做，眼睛亮了软饭好香～一直下落不明的战神突然出现，众老婆粉刚想激动尖叫却知他已非单身，愤怒不服，来战。江祈以一敌百，横扫千军，无人能敌，举出战无不胜的大旗老婆粉们沉默战将军，不配的是你战栩竖起大拇指软饭，真滴香深情将军VS冷血海盗美人...
万能追踪
穿越仙侠世界，欧阳晨得到最强追踪系统，从此能追踪万物。欧阳晨系统，我缺钱了。两米之外，床底下藏着你爹的私房钱，五米之外，地下半米有一枚生锈的铜钱。前方草丛里有掉落的碎银子。欧阳晨系统，我缺点机缘。猪圈前那坨其实并不普通。今夜子时前往二十里外的黑锋崖跳崖。某处地方隐藏着仙人洞府，请宿主自行探索。...