手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
董三生林诗音 穿越之被逼成反派 犯罪现场 举世之境 万域神君陆羽孟竹韵 我真就想当个厨子啊 玄幻：从蛋开始无敌 东宫瘦马 霸道总裁宠萌妻 大唐龙帝 莫笑世人痴 万域神君 魔改文明 万域神君携壶远游 七少绝宠：我家小妻是大佬 太古神尊 扎纸匠 陆羽孟竹韵 圣鸦 宋士
妙手仁心
他出生在医生世家，从小立志要成为一名万人敬仰的医生，但是各方面都非常优秀的他，唯独对医学知识却有选择性的遗忘症，甚至因为连续挂科，而被学校退学，绝望的他完全沉浸于一款网络游戏当中，试图从游戏中实现自己的名医之梦，结果在一次意外的情况下，被未来辅助智能电脑附身，开始走上实现名医愿望的宏伟道路。...
我到万界送外卖
吴枫偶然获得万界最强外卖系统，从此穿梭诸天万界。影视动漫小说神话的世界中都留下了他的传说。金钱功法地盘美女统统拿到手软我只是想做一个低调的外卖员啊！唉，我太难了...
霸宠农门小娇妻
爽文儿，一对一，欢迎大家入坑一次重生，秋霜成了农家小女，前有刻薄奶奶，后有狗仗人势小舅妈，她爹还是个入赘的哑巴，日子过得苦哈哈幸好她不再是她了，分家养畜本站为书迷更新霸宠农门小娇妻最新章节，查看无尾鱼的眼泪所撰历史军事霸宠农门小娇妻的最新章节免费在线阅读。...
抓个妖狐当小妾
绝美狐妖太迷人，掳到家里宠起来。奉师命下山执行艰难任务，有了美妖相伴，日子过得逍遥似神仙...
在偏执的他怀里疯狂撒娇
苏烟穿成了狗血文里白月光女主的替身女配，结局凄惨，她不想重蹈覆辙，于是她决定远离反派男主。正当她绞尽脑汁避开，千方百计自救时，反派大佬突然一改病娇阴森，对她温柔体贴。苏烟？她有一种非常不祥的预感。所有人都说苏烟只是替身，江野对她只是玩玩而已。谁也想不到，江野才是被甩的那一个。某天后的一个夜晚，男人紧紧箍住她的腰，语气极恨又隐忍逃？往哪儿跑。巴掌大的脸落在他手心摩挲，红唇上挑勾起危险凉薄的笑，瞧瞧，还不是又落到我手里了。后来，谁都知道京城大佬江野有个宝贝，旁人摸不得碰不得，他的爱偏执极端病态，谁敢多看她一眼，他就要谁死。苏烟骂他是疯子，那又如何？除了我，谁都配不上你。江野。（病娇霸道男主vs温柔美人女主甜）...
妖剑仙
为一县百姓性命，独拦破关之洪水，他干过为狙国贼，跨六海四洲，他干过为冤屈而死者愤怒，一夜之间杀上百贪官，他干过但，为一顺眼小友，取百人性命，夺千人家产，他干过为贪一时之花香，堵四季之轮回，惹来天罚，他也干过。好吧，这简介只是随便从正文里掏出的一段话。嘛，这就是一个性情奇异的妖剑仙，在妖怪鬼怪横行的现代都市，轻轻松松过着自己的小日子的故事。嗯，这是一个处事无下限，但为人却有些底限的剑仙的故事。－－－－－－－－书友群74555982...