手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
霸道总裁宠萌妻 董三生林诗音 宋士 万域神君陆羽孟竹韵 陆羽孟竹韵 魔改文明 我真就想当个厨子啊 穿越之被逼成反派 莫笑世人痴 大唐龙帝 犯罪现场 七少绝宠：我家小妻是大佬 太古神尊 举世之境 圣鸦 万域神君 扎纸匠 玄幻：从蛋开始无敌 万域神君携壶远游 东宫瘦马
明日传奇
...
超级仙尊在都市
重生回一千年前地球的凌天仙尊秦洛，身怀万般神通，上一世他怯弱可欺，这一世谁敢招惹他却要悔青肠子，神医国手，武道宗师，玄门至尊，来一个打一个！纵横天下，谁敢忤逆！仙尊重生，这一世谁人负我，我便覆灭，乾坤天地皆在我手！仙尊重生，纵横都市，简单粗暴，不服就干，上演最强传奇！武道医道玄法卜卦，三千大道随便你选，我是秦洛，我重生地球就是为了扮猪吃老虎，那些漂亮痴情娇媚的妹子，请矜持点...
夜深闲共说相思
大婚之夜，她代妹出嫁，岂料洞房内惨遭骗婚，新郎竟换成那个一年娶四妻的大色鬼。听闻他有克妻之命，四个妻子皆活不过三日，很不幸她误打误撞成了第五个。为活命，成亲当晚她火烧新房，拐带美男一名趁乱逃走，谁知美男半路翻脸，竟将她就地正法，娘子，春宵一刻值千金！...
将女重生：暴君要入赘
民间传言，云家二姑娘多次趁着夜黑风高之时，行刺文治皇帝，龙袍上全是窟窿。民间传言，安婕妤触犯了二姑娘，宫内三十多口内监宫婢被文治皇帝挨个处死，大火连烧三天不灭。张总管皇上，二姑娘今日又准备刺杀你了。皇帝甚好，今日又能与她见上一面了。张总管皇上，二姑娘被云将军打了，云将军还跪在外面淋着雨，求皇上饶命呢。皇帝让国师过来，祈雨，让雨下的更大一些。她曾是人见人怕的将军，功高盖主，被...
只有我知道的游戏
这是一个关于爱与正义的故事。这是一个魔王被推到的故事。这是一个调教与被调教，养成与被养成的故事。这是一个关于萝莉，乙女，御姐，人妻，眼镜娘，双子，百合的故事。这是一个以上均属口胡这其实是一个纯洁的故事另群号212868098，由亲爱的夜空同学提供。...
末世养尸人
李焱是个单身屌丝，纯的，无房无车无存款，本以为就此浑噩一生，一次意外的触电让他喜获养尸人系统，从此开始走向人生巅峰。末世之下，如何求生，李焱君淡定的说道我有僵尸妹子在手，怕屁的丧尸！末世之下，丧尸围城，如何挽救人类的末日，李焱君依旧淡定的说道我有僵尸军团在手，这个光荣的使命让我来！！僵尸与丧尸的终极PK，看李焱如何驰骋丧场，一举大统。这个世界，还有活着的女人，让我等屌丝不再注定孤独终老吗？PS1本书已A签，看官们收藏打赏可好？PS2QQ群有升级系统，想和主人公养成的僵尸一样升级的话一定要加群哦...