手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
太古神尊 扎纸匠 大唐龙帝 东宫瘦马 穿越之被逼成反派 犯罪现场 玄幻：从蛋开始无敌 万域神君携壶远游 魔改文明 董三生林诗音 万域神君陆羽孟竹韵 莫笑世人痴 宋士 圣鸦 七少绝宠：我家小妻是大佬 万域神君 举世之境 我真就想当个厨子啊 陆羽孟竹韵 霸道总裁宠萌妻
饲养全人类
部落农耕时代，世界是庞大未知的。随着不断的探索，古人惊骇的发现，这个世界，天圆地方，有各种神迹降临，甚至有身高万丈的超大型巨人，智慧巨兽的身影神秘出现，踩...
超级百宝囊
无敌的魔法武技？强大的武器装备？逆天的药剂道具？妖娆的美女军团？宝囊在手，天下我有！这其实就是一个目标成为勇者的少年在得到无敌的百宝囊之后，一路上勾搭妹子一起推倒魔王的故事。...
宋艺顾行洲
宋艺顾行洲作者契约宠婚甜如蜜宋艺顾行洲txt下载交往两年的男友出轨表妹。万念俱灰之下，她在婚礼上，向男友的小叔求婚，我要嫁给你，你敢娶吗？众人哗然，男友愤怒，她眼里是胜利的笑。男人微的勾了嘴角，接过她的戒指，好，我娶你。谁都知道顾氏小六爷腰部以下瘫痪，除了一张脸，一无是处。婚后，她看着一长串的任务表，便生了逃跑的念头。小六爷敲敲她的脑门，撩完就想跑？嗯？小六爷，我欲望很强的，怕控制不住给您戴绿帽子呢。她委屈巴巴，心里得意。他深深看着她，露出一抹神秘莫测的笑。...
情不渡我
我曾甘于当个金丝雀，被叶寒遇娇养了四年。等我失去翅膀，不再会飞时，才知道男人薄情起来，根本记不得你是谁。他转身一变，要当我姐夫。我设计毁了了他婚礼。我和他有着算不清的账，有情，也有恨。我一生最大的错误就是爱上了他，却也不曾后悔。我只问苍天为何情不渡我，要渡他！...
入赘相公太腹黑
入赘相公太腹黑方家大小姐招夫，全城的汉子们激动了，听说娶了她可以一辈子荣华富贵！轰走了第n1的汉子，方舒瑶头痛，就没有长得顺眼，又好拿捏的男人吗？于是穿越到好皮囊一穷二白还有龙阳之好的季承煜就这么华丽丽的成了上门女婿。后来等等，你别过来，说好的龙阳之好呢？说好的思想腐旧呢？说好的只会之乎者也呢？...
官路法则
主人公从一次公务员考试后被人顶替了职位，成了一个毫不起眼的普通政府工作人员，却在短时间内领悟了官场法则，历经县市省三级，成为一个高级领导人的故事！...