手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
莫笑世人痴 圣鸦 玄幻：从蛋开始无敌 董三生林诗音 太古神尊 万域神君携壶远游 举世之境 我真就想当个厨子啊 穿越之被逼成反派 扎纸匠 七少绝宠：我家小妻是大佬 万域神君 魔改文明 万域神君陆羽孟竹韵 霸道总裁宠萌妻 东宫瘦马 宋士 陆羽孟竹韵 大唐龙帝 犯罪现场
全能小医仙
小农民偶然间得到了山神传承，从此以后，开启不凡的人生。...
荣耀王者
...
活出第二生
洛天从梦中醒来，发现穿越到了平行世界，时间线乱了套，偏偏得了摸到民乐就昏倒的怪病。人在异世，被困出租屋，求问怎么活下去？（异世穿越，慢热，小人物）...
幻心域
梦魔是什么？为什么拯世三侠当年拼力封印后，却有人要解印？当年的师兄弟却反目拼命这是一个男人的成长传奇故事。世界如此渺小微尘，上古梦魇是粘稠的黑雾，遮蔽天日徘徊在哭墙的灵魂伴着血色的新月，圣墓前的花瓶中玫瑰盛开已久。邪恶在维多利亚的月光下，血色的开场。穿越时空，远古的气息如同黑夜潜行的魅影，破碎新光穿过光阴。命轮已经开启，残酷的梦幻之城伴丧钟降临，敲响轮回无奈的觉悟只能更残酷一切都为了通往圣堂的路吹不散的雾隐没了意图谁轻柔踱步停住那无色失乐神魔之墓，溃散的神魂会被唤醒背影飞向阴霾苍穹，鲜血流散黑色银河就像边笑边掉泪凝视着完全的黑无法阻挡悲剧蔓延的悲剧会让我沉醉晃晃忽忽，谁的脚步？...
奇幻异空
国中时代就开始接触武侠小说，因为跟正统文学不投缘，所以就把阅读兴趣投注在小说世界。在一个偶然的机缘下接触了奇幻科幻文学小说，让平时想像力就颇为丰富的我一头栽进了这个世界。尽管自己的文学修养并不是很高深，但还是忍不住的开始提笔写下心中的故事。也许自己的文笔并不是很优美，但自己写作上的用心终於得到了网友的支持，进而从众多的作品中脱颖而出，有了一个不平凡的开始！...
贴身御医
辨天下奇药，泡绝代美女一代药王传人奉命出山，神乎其技的针法，出神入化的医术，令林枫成为了一众美女的私人医师。林枫从美女堆里挤出一个脑袋，大声喊叫不要挤！后面排队，一个个来！五百万字完本保证，移动阅读点击过亿精品分成作品，用心写不灌水。各位书友要是觉得贴身御医还不错的话请不要忘记向您...