手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
扎纸匠 太古神尊 东宫瘦马 陆羽孟竹韵 犯罪现场 圣鸦 莫笑世人痴 穿越之被逼成反派 大唐龙帝 董三生林诗音 宋士 玄幻：从蛋开始无敌 霸道总裁宠萌妻 魔改文明 万域神君 七少绝宠：我家小妻是大佬 我真就想当个厨子啊 万域神君携壶远游 万域神君陆羽孟竹韵 举世之境
随身空间之拐个将军来种田
一朝醒来，发现穿越。没关系，姐是开过挂的。哥哥叛逆，我怼邻居相欺，我怼恶人上门，我打哟，这不是英雄救美的猎户？看你的样子还不错，愿意和姐谈一场穿越古今的恋爱吗？...
闪婚急诊，唐医生！
秦晚夏以为她的闪婚老公，除了帅，一无所有！可谁能料到，他竟然是显赫国内外的大名医，上市集团的幕后大老板，还把她宠上了天！恢复记忆之后才知道，她是他藏得最深的珍爱！...
液甲武神
一觉醒来，竟然身处变异怪物遍地的黑暗末世！异能时代，强者称尊！弱者只有接受被奴役的悲惨命运！宇文泰不想被奴役，他要掌握自己的命运！液甲武神体，便是他力量的源泉！进化突破变强，才能在这恐怖末世自保和保护信任他的人！...
重生大唐之我是东方教主
穿越到隋朝末年，东方明成了手无寸铁的弱鸡。好在帝国大佬系统傍身，势要成为钳制大唐的幕后大佬。更阴差阳错被小弟创立日月神教，奉为教主。日出东方，唯我不败！千秋万载，一统江湖！皇帝被收作神教护法，大唐是成了日月神教旗下产业。开银行，发货币，印多少钱我说了算。开工厂，搞发展，疆土不够往欧洲打。...
神魔猎杀者
搜小说免费提供作者幽冥的经典小说神魔猎杀者最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临观看小说夜萧寒穿越到神魔世界，虽然无法修炼，但却以凡人之躯体觉醒了领地系统，领地之内，无敌于天下。立宗门，创冥界，建妖域，开辟仙界，他被尊人间圣王。娶娇妻，收强徒，他只在方寸之地潇洒。夜萧寒的日子过得很滋润...
第一女相之邪王太凶猛
活剥她皮，覆以野猪皮，残害她父皇，毒哑她弟弟重生归来，她誓要把仇人剥皮拆骨，血债血偿！她卯足力气，准备大杀四方，却遇到他战无不胜的罗刹王，他冷情，铁血，杀伐果断。他将她压在墙上，嘴角含笑眼底冰冷道，要么死，要么，做本王的女人。她眼底嫌弃，只当一桩交易。但不知何时，在利益的夹缝中，他们却缠绵出了感情。他将要另娶他人，却搂着她的腰，在她耳边说，念念，这次玩儿票大的，敢不敢来？...