手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
万域神君 玄幻：从蛋开始无敌 万域神君陆羽孟竹韵 犯罪现场 太古神尊 霸道总裁宠萌妻 我真就想当个厨子啊 莫笑世人痴 陆羽孟竹韵 举世之境 七少绝宠：我家小妻是大佬 董三生林诗音 宋士 魔改文明 东宫瘦马 扎纸匠 圣鸦 大唐龙帝 万域神君携壶远游 穿越之被逼成反派
包办婚姻逆天宠
莫名从陌生人身边醒来，已被吃干抹净，三十六计走为上，却不料惹上的是只腹黑狼，横竖逃不出他手掌心！我只好先合理利用资源，借着他的实力，让欺负我的渣渣们全都跪在我面前！某天我包袱款款，第99次准备开溜，被腹黑狼一把逮住几个小时后，我揉着散了架的小腰欲哭无泪，这次阳台，上次厨房，再上次沙发，再再上次家里能咚的地方都咚遍了这是对逃婚，最好的惩罚。某男修长手指挑着我下巴，魅力无边地唱一句。...
西元世界之崛起
讲述未来世界共存和另一个世界的崛起。各种阴谋阳谋，被一只无形的大手操控着这一切。...
校花的超能男神
因为懦弱被甩的高富帅学生王勇三，不经意获得一个名为‘不作会死’的系统。任务发布请在傍晚六点之前赶到新园宾馆门口，击退正在骚扰罗语莎的混混，任务完成，奖励十点作死积分，失败扣除二十年寿命。你妹的，都说胆小了，还非要给我绑定作死系统。不过这作死积分好牛逼，竟然可以用来抽取超能力。隐身，瞬间移动，还有生命复苏，竟然连死人都能救活。哇哈哈，有这么多超能力，还怕作死么？...
工厂女老板方长
方长买来的身份是一个技校毕业生，来到这个破烂不堪的机械厂当了一个小小的临时工，然而不平凡的人注意是耀眼的。一不小心，方长成了女厂长家的私房高手。隔壁的俏寡妇天天惦记厂里的女大学生非常眼馋来自少妇不断的撩拨美女还有五秒抵达战场，方长已经做好战斗准备！...
本宫就是这么豪横
作为一个从出生开始就被九州百姓定义为灾星的母胎solo叶琼，当真是从未想过有一天自己也会成为一个行走的荷尔蒙，渣女当中的战斗机！被世人称之为天下第一大美人的医仙师傅长苏公子好看到让人雌雄难辨的安岭魔君令君赫有颜有权还腹黑的商国君主秦懿轩青梅竹马的小太监江瑾行还有那个纯属意外的来便宜弟弟杨星河果然，有的时候太招人喜欢那也是一种烦恼啊！此刻，面对这些心怀不轨的男人们，叶琼的情绪有些崩溃老娘想带你们打天下，你们竟然想跟老娘生孩子！你们这都是一群什么人啊！你们对得起我对你们的信任么！一旁的正牌男主秦懿轩附和道就是！寡人把你们当兄弟，你们竟然要跟寡人抢媳妇！你们对得起寡人对你们的信任么！还算是人么！漠小淋书友群161880013...
都市小世界
天降小世界，幸运的李青云不但得到了小世界，还得到了神尊传承，从此李青云走上了如果发展小世界的道路。...