手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
圣鸦 万域神君陆羽孟竹韵 大唐龙帝 太古神尊 董三生林诗音 莫笑世人痴 万域神君携壶远游 陆羽孟竹韵 玄幻：从蛋开始无敌 犯罪现场 穿越之被逼成反派 举世之境 霸道总裁宠萌妻 七少绝宠：我家小妻是大佬 扎纸匠 东宫瘦马 万域神君 我真就想当个厨子啊 魔改文明 宋士
黑巫师朱鹏
守护自己世界的英雄们，在顶着炮火付出无数牺牲之后，千辛万苦冲破灵魂奴隶军团与召唤使魔军团的双重防御，他们终于成功来到巫塔之上黑巫师的面前。然而，红袍巫师面对冲上来的英雄们微微一笑，伸手入衣内，抽出两柄比攻城锤还大的巨剑国术拳师，伴你一同融入巫师世界。读者群号372879222...
神医娇妻飒爆了
全宠无虐团宠马甲父亲仟仟，虽然他是个瘫痪，可只要你嫁给他，咱们家的公司就不用破产了！母亲而且你妹妹的心脏病也能得到最好的医治。未婚夫这样你不但可以从他那里帮我争取到资源，还能保持身心干净！大家都觉得景仟实惨年纪轻轻就断送在了一个瘫痪手里。不但要在幕后帮妹妹写歌，给她打造音乐小天才人设，还...
神级巅峰投资
亿万富豪张风被奸人所害，重回2003，站在时代风口上，且看他如何执掌风云，叱咤商业，手刃仇家，扬名立万！...
医女为谋之王爷有喜了
一介特种兵出身的军医洛天歌穿越成前朝恶毒公主，怎知坏名声都是他人栽桩。罢了！干脆一不做二不休，腹黑莲花霸气上线！她千杯不倒，可惜不醉美酒，却醉美人儿。只见她一脚跨在房梁，趁着月色，抬袖勾起某位王爷的下颚呼哧着淡淡酒气，轻言道夜里三更，王爷别来无恙啊。某王爷顺势揽起怀中迷醉的她，笑道独酌无味，不如与本王干点别的？...
今世忘却前尘缘
六年前她说给我一百万，我让你要个够！他将她抵在墙壁上秦暮楚，我们之间彻底玩完了！六年后，再次重逢他压她在床，一百万的交易，该是时候连本带利的讨回来了！可是我已经结婚了！对，她结婚已有大半年了！虽然，她对自己的丈夫一无所知，甚至连姓甚名谁她都不清楚。她唯一知晓的是，众人在提及那个男人...
病毒天神
周逆阿毒啊，你能帮我就职天神里的隐藏职业吗？阿毒不能。周逆阿毒啊，你能帮找出天神里所有怪物的弱点特殊物品的作用和出处吗？阿毒不能！周逆那你能帮我干什么？阿毒我能帮你入侵整个天神。十分冷清的作品群275581512...