手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
莫笑世人痴 扎纸匠 魔改文明 太古神尊 东宫瘦马 我真就想当个厨子啊 穿越之被逼成反派 举世之境 圣鸦 万域神君 万域神君陆羽孟竹韵 万域神君携壶远游 霸道总裁宠萌妻 犯罪现场 玄幻：从蛋开始无敌 大唐龙帝 宋士 七少绝宠：我家小妻是大佬 陆羽孟竹韵 董三生林诗音
无赖总裁，请接拳
最新颖的言情故事，已完结欢迎入坑。没有绿茶婊，没有白莲花，没有闺蜜放贱，只有情意绵绵的注定相爱。...
末世之龙狐女友超凶猛
简介林铭穿越至平行世界，这个世界灵气复苏，魔渊入侵，人族觉醒御兽师职业。林铭觉醒S级化龙天赋，可以凭借祖龙之气，利用龙属性材料进化宠兽血脉，获得龙属性力量加成。于是，普通雪狐珍惜材料断龙石三尾仙龙狐。普通猛火猴珍惜材料龙涎石混世魔猿龙劣等幽冥虫珍惜材料龙泉水黄泉幽冥龙林铭一介孤儿，三尺布衣，一步一个脚印，收集各种龙属性材料，契约各种龙属性宠兽，脚踏诸天，成为绝世御兽师。...
轮回世界：从拜师九叔开始
轮回世界降临，不断侵蚀着整个蓝星，整个世界都在抵抗侵蚀。穿越而来的苏泽表示不会真的有人以为这些轮回世界很难吧？不会吧？不会吧？剧情就在那里，你们不会按剧情走吗？哦，只有我知道剧情啊，爽的一皮！...
斗灵大陆
作者踏雪寻的经典小说斗灵大陆最新章节全文阅读服务本站更新及时无弹窗广告小说斗灵大陆一觉醒来，胡栎穿越斗灵大陆。更没想到，自己竟然变成了一只狐狸！斗灵世界是一个充满兽灵的世界，修士收服灵兽做为兽灵，而胡栎以将魂做兽灵，独步天下！...
勇闯天涯
因家族恩怨纷争受到陷害锒铛入狱的吴铭，随着暴动的赤卫队员一起逃出监狱，在生与死的考验中，心地纯厚的吴铭奇遇和艳遇连连，狼行千里，勇闯天涯，终于成就一番惊世骇俗的伟业！请让天子为您讲述一段交织兄弟情谊与缠绵悱恻爱情的生动故事，一幅历史的恢宏画卷在您眼前徐徐展开。至今为止，天子已经完成铁骨傲气凛然越境鬼医热血燃烧大时代光速领跑者再生传奇等九部作品，每一本都完本，值得您的收藏和阅读！...
慕少前妻不归家
一场突如其来的车祸，毁掉了苗淼大半的人生。白莲花不仅借着权势躲过法律制裁，还装着无辜盗取了她的设计心血这个仇，她不能不报！慕宁远你到底想要什么？说就是了，我还能不给么？容睿夺取你视线的人，哪怕是你的仇人，也总是让我觉得不爽所以，那些仇人交给我，你只看着我就好。班清逸姐姐别抛弃我她孑然一身，带着仇恨游走，可是终究会遇到一人，让她放心心底的仇恨，重归柔软。...