手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
魔改文明 董三生林诗音 犯罪现场 玄幻：从蛋开始无敌 大唐龙帝 举世之境 我真就想当个厨子啊 宋士 圣鸦 万域神君携壶远游 太古神尊 穿越之被逼成反派 扎纸匠 东宫瘦马 万域神君 万域神君陆羽孟竹韵 霸道总裁宠萌妻 莫笑世人痴 七少绝宠：我家小妻是大佬 陆羽孟竹韵
天诺狂兵
他曾经是冷血无情的杀手经过特种训练的狂魔，他让无数境外富商政要们闻风丧胆。回归都市后，曾经的杀手邂逅各色美女，美女总裁刁蛮警花妹纯情萝莉极品校花白领丽人，一个都不会少...
末世狩神志
如果有一天，末日已经降临，太阳已经消失，会是怎样的世界？面对带来预言中末日审判的众神，面对从此没有阳光的新世界，坚韧的人类文明却没有就此结束。旧时代科技产物沦为废铁后，代表人类原罪的九种灵魂之力，却成为了新文明的基石，那以灵魂为核心的魂晶时代，成就了科学和神秘学交织的第三纪元在废墟之上，古老的英雄史诗化为庇护后人的星魂，身为姜太公的星魂使的江尚，誓言向不朽神明夺回失去的一切。...
倾世独宠：娘娘又出宫了
一顿野山菌火锅，沐云清成了异时空的王府小姐，父母早亡哥哥失踪奶奶中风，她被迫开始宅斗宫斗。对手手段太低级，她斗的很无聊，一日终是受不了了，跑到了蜈蚣山决定占山为王，劫富济贫，逍遥快活。可谁知第一次吃大户，竟是被燕王李怀瑾给缠上了。山顶上，沐云清一身红衣掐着腰，一脸怒容李怀瑾，我最后一次警告你，我此生只想占山为王与山为伴，王妃王后的我不稀罕！在战场上煞神一般的燕王李怀瑾此时白衣飘飘站在下面，笑的那个宠溺清清，你怎么知道我还有个别名叫山？沐云清气结你滚！...
我的清纯校花老婆
...
婚色：冷爱藏情
婚色冷爱藏情字数893521大婚之时，她险些被下毒手，惊魂未定的她拖着残破的婚纱，朝新郎殷楠奇跑去，在她眼里，只有躲进他的怀抱，她受伤的心才有个依靠没想到，刚到他面前，一个超疼的耳光便落在了她的脸上...
女神聊天群
校花误拉我加入了一个聊天群，发现里面全都是美女，而且天天都晒福利小照片和劲爆小视频，直到她们为了对付现实中的我，开始实行所谓的母猪计划，我潜在群中，倍感压力...