手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
我真就想当个厨子啊 圣鸦 万域神君 玄幻：从蛋开始无敌 扎纸匠 魔改文明 万域神君陆羽孟竹韵 大唐龙帝 宋士 犯罪现场 东宫瘦马 穿越之被逼成反派 霸道总裁宠萌妻 董三生林诗音 举世之境 莫笑世人痴 七少绝宠：我家小妻是大佬 太古神尊 陆羽孟竹韵 万域神君携壶远游
光明之翼
把书吃透，就因为这一句至理名言，王夏开启了一条前无古人的道路。这个世界本没有光，当大预言术开启的时候，这个世界便有了光便有了希望。当有一天，我张开光明之翼，整个世界都要匍匐在光明的面前！一个满带梦想的人，一条全新的信仰之路，谱写一段属于光明的传奇（小夜当初承诺给大家有朝一日会再写牧师，今天小夜带着光明之翼来了，喜欢的朋友们请收藏推荐一下，哪怕喜欢养的朋友，也请留下你们手里的票票哦，谢谢大家。）...
萌妻来袭:最佳女一号
一个是名门少爷，却从小受军事化教育任，更成为军队少校一个是望族小姐，善良却倔强的，不想为了结婚而结婚，宁愿成为警局的小螺丝钉。两个性格天差地别的却有各自坚持的梦想的人，每次见面都可以用火星四溅来形容！但是，当各种阴谋逐渐逼近，两个人的心又会被怎样误解，相爱的人在何时才能够真的走到一起？...
超神废婿
谁说赘婿不如狗？李云东偏不信邪，三年隐忍，终于让他等到了岳父向他低头的那天...
我有禁地小世界
秦歌醒来后发现整个世界都变了，地球被强大的怪兽主宰，人类只能生活在安全区中，靠着强大的武者维持种族延续。地球上最强怪兽的生活区域称作禁地，它们是禁地之王。秦歌发现自己的身上出现一个禁地小世界，他能将禁地之王封印在禁地小世界里，并且在完成激活任务后，得到禁地之王的某种特殊能力。随着秦歌不断踏入各大禁地，封印越来越多的禁地之王，秦歌的身体发生了惊人的变化...
寡妇三嫁成王妃（王妃她带崽虐渣狂又飒）
又名穿成极品寡妇蓝月本来在末世占山为王挺好的，一不小心被丧尸王挠死就穿了。赶了一回潮流穿了也就算了，竟然穿成了一个全村公认的极品寡妇身上。本以为古代山清水秀还没丧尸，再来个占山为王也挺好。结果！天不遂人愿，神马山清水秀？刚醒来就被人揍还在逃难的路上。敢踹老娘？先揍了再说！蓝月盯着拦在自己面前不让走的几个小崽子，...
柯南之希望守护者
毛利瞳在7岁时因为救自己的妹妹而跌落悬崖，失去记忆的他加入了FBI。邂逅了宫野志保，结缘了冲野洋子，惹上了佐藤美和子恩，结果还是变小了。被称为希望守护者的他，会怎样改变这个世界？让我们拭目以待吧！（这是一本轻松的同人小说，不太监，无悲剧）（本书唯一讨论群324455199）...