手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
玄幻：从蛋开始无敌 董三生林诗音 我真就想当个厨子啊 七少绝宠：我家小妻是大佬 万域神君携壶远游 穿越之被逼成反派 圣鸦 霸道总裁宠萌妻 大唐龙帝 太古神尊 扎纸匠 陆羽孟竹韵 犯罪现场 举世之境 万域神君 宋士 万域神君陆羽孟竹韵 莫笑世人痴 东宫瘦马 魔改文明
明骑
明末乱起，辽东一溃千里，党争残酷，内忧外患，享国二百余年的皇明走到了穷途末路。这是一部无敌统帅中兴皇明的征战史。...
心尖独宠：霍先生别闹
霍先生遇见此生挚爱时，那个小女人心有所属，有人问他抢还是不抢？霍先生笑了抢。他是商业帝国呼风唤雨的霸主，是霍氏集团的掌舵人，手握阮城经济命脉，身份尊贵，地位显赫，要什么样的女人没有，为何偏偏要一个被抛弃的女人，而且还捧在手心里呵护宠爱着？他说嫁给我，我负责宠你。她问那我负责什么？他笑了笑，亲亲她的额被我宠。他对她宠溺至极。甚至在大庭广众之下，许下承诺！她开始心动，却在此时，...
厉景琛布桐
布桐在路边捡了个帅到惨绝人寰的老公，婚后，厉先生化身妻奴，宠起老婆来连老婆本人都怕。老公，说好的高冷呢？厉先生无辜摊手，高冷在你面前一无是处。厉先生要出差一个月，布桐假装闷闷不乐相送，转身就开香槟庆祝，终于可以放大假了。第二天醒来，厉先生站在床头，太太，惊不惊喜？感不感动？布桐不敢动，不敢动...
重生九零之玩转废柴人生
前世的平安被身边人算计和出卖，落得惨死下场重生后她只想快意恩仇地活一次，从学渣逆袭成学霸，炒股炒房赚大钱，顺便斗斗极品亲戚，捉弄傲娇学霸校草，把前世踩她的人都纷纷踩至脚下。春风得意之时不料半路杀出个无敌兵哥哥，将门虎子不说，人帅嘴甜活好还不粘人，除了有点性急。...
墨总，夫人又在闹离婚
一场精心的骗局，韩若琳成了害死他大哥的凶手，更让他心尖尖的女人坐在了轮椅上。墨冷轩亲自把她送进了手术室，要拿走她的双腿。手术中途停了下来，她被查出怀了他的孩子。为了保护肚子里的孩子，她逃离出了墨家。他满世界的找她，再遇时，他咬牙你这辈子都是我墨冷轩的妻。墨先生，我已经不爱你了，我们离婚吧！在她离开了以后，他方知道，她曾为了爱他，付出了多大的代价。...
万界神帝
作者君风雪的经典小说万界神帝最新章节全文阅读服务本站更新及时无弹窗广告小说万界神帝三千大道，天道逆天道王道修罗道吞天道三月前，少年遭到道侣迫害，跌落无尽深渊！三月后，少年从神魔洞天归来，一手持轩辕剑，一手持鸣鸿刀，骑着逆天神龙，领着吃货饕餮，征战天地间。大道三千，殊途同归，逆天一道，谁与争锋？跨越诸天七界，超脱六道轮回，纵横八大遗迹，唯我逆天帝独尊！...