手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
圣鸦 犯罪现场 大唐龙帝 东宫瘦马 太古神尊 万域神君携壶远游 霸道总裁宠萌妻 举世之境 万域神君陆羽孟竹韵 我真就想当个厨子啊 万域神君 玄幻：从蛋开始无敌 魔改文明 陆羽孟竹韵 扎纸匠 莫笑世人痴 董三生林诗音 穿越之被逼成反派 七少绝宠：我家小妻是大佬 宋士
铸圣庭
...
头号战神林莫柳如霜
战神回归，妻儿竟然受辱！林莫忍无可忍，打脸反派，收拾人渣，铁血手腕护娘俩。奇葩丈母娘，一心扑到钱眼里，林莫冷哼，秒变亿万身家企业家，专治各种不服。你就是我那没本事的废物女婿？是你女婿，但绝不是废物，丈母娘你服气没？...
腹黑帝少：萌妻乖乖宠
...
我是幸存者
时间2015年（5月20日）地点美国（纽约，布鲁克林区）人物唐吉（中美混血，父中母美，十三岁全家移民美国，属美裔华人）人物丧尸（由人类感染病毒所变）本书没有异能，没有飞天遁地，没有力大无穷，这是一本写实类的丧尸小说。高中舞会皇后红灯区应召女郎刻薄的公司高管黑帮枪手瘾君子等等，这些人都将粉墨登场。希望写的会激情热血，当然少不了前期的个人英雄主义以及后期的团队合作。首先，不喜误入吧，如果想看超能力之类的，一个人一挥手横扫一大片丧尸之类的，那就不要点开了，保证没有。其实本书可以当作一本黑暗都市小说来看，人性，有时比丧尸更可怕！PS本书之所以将地点定位在美国，是因为本朝有些东西不能写，会和谐，写实类的必不可少要涉及到那些，所以我还是去黑美帝吧！...
快穿白月光有毒
快穿白月光有毒由作者伊人为花创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供快穿白月光有毒全文无弹窗的纯文字在线阅读。...
网游之我带来了亡灵天灾
唯一书友群号784591037，群内每天都发红包！全网爆笑文全球争霸文野怪模板文。意外死亡的关小林获得了重生在游戏里的机会，但是他却并没有成为一个正常的玩家，而是变成了一个骷髅怪。收集生物尸骨，可以解锁召唤出新的骷髅怪手下，从最初始的骷髅战士，到最后的冰霜骨龙，骷髅大军都是关小林一点一点攒出来的。挖坟，掘墓，刨NPC家的祖坟，惹来NPC大军的围剿。关小林看着面前村长家的祖坟，抬起细小的白骨手指，扣了扣光秃秃的脑袋，陷入了沉思！！少年，我看你骨骼精奇，是万中无一的反派奇才，霍乱世界秩序就靠你了，我这有一个隐藏职业...