手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
陆羽孟竹韵 霸道总裁宠萌妻 穿越之被逼成反派 玄幻：从蛋开始无敌 宋士 太古神尊 万域神君 举世之境 万域神君陆羽孟竹韵 犯罪现场 莫笑世人痴 圣鸦 大唐龙帝 七少绝宠：我家小妻是大佬 扎纸匠 董三生林诗音 魔改文明 我真就想当个厨子啊 东宫瘦马 万域神君携壶远游
兽世逮捕令：小萌宠，别跑！
二十九世纪，纯血统的人类早已灭绝，取而代之的是进化后的兽人和生化人。因一场大爆炸穿越到29世纪的安歌，成为荒芜大陆唯一一个拥有纯人类基因的稀有存在。当人类身份被揭穿，整个荒芜大陆都被震惊了，看着爱慕的追随者接踵而至踏烂门槛无数，众兽冷笑不止小宝贝最喜欢的人是我！澈亮明眸毫无心机。可小骗子是我的。紫眸...
封魔师
以身饲兽，以血养魔。临兵斗者皆阵列在前！拥有不死之身的少年，肆无忌惮的冲击着封魔师的极限老者手握利刃，浑身颤抖，纵声狂笑真的真的那个传说，竟然是真的一刀，刨开少年的胸膛愈合！又一刀，割开少年的咽喉愈合！！再一刀，切了少年的JJ嗯…再生！！！！！...
重生种田：丞相家的小娇娘
...
恋爱ing
神界爱神拉芙因为消极怠工，而被大导师索菲亚踹踹贬下凡间，去认真的促成一段即将破碎的姻缘。而由此，一段鸡飞狗跳校园恋爱也拉开帷幕。...
完美级评分
看多了玄幻形的网游，是不是觉得索然无趣，要不要换换新口味？数百年前，空间出现了碰撞，一个全新的文明出现在了联邦的面前，当坦克和士兵无法阻挡‘异界人’入侵的时候，主宰出现了，他仅仅用一掌毁灭了一个城市。没有人知道主宰是个什么样的存在，但无论谁都开始对抗因为主宰而疯狂了的世界。时隔多年，异界人已经遗忘了对于主宰的恐惧，联邦的土地再一次的充满了诱惑，而联邦也产生了更大的变化，他们随时都能够反击甚至取得胜利在这样的背景下，异界终端的联邦迎接来了第一批玩家。PS求点击，求推荐，求打赏，求赞，求更新票，求评价，求订阅，求月票，求爆发，求万更，求逆天，求不是人，求打破世界，求冲破太阳系，求称霸异界，求冲破银河系，求征服宇宙...
这个厨娘会打仗
女主佛系种田煮饭，似乎性子足够柔和可以任人揉捏？不不，平生什么都吃，偏偏不吃亏。男主你说他混，那是真的混，前世今生，十万年之前，十万年之后，但凡是老子地盘上的，那就算是经过的一只鸟也不能动。什么？你说如果是女主打了你地盘上飞过的鸟怎么办？呃，姑奶奶干得漂亮，为夫这就为夫人烤了那不长眼的。...