手机浏览器扫描二维码访问
第46章 巨脑（第1页）
一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“蓝星海钻（.shg.tw）”！
半夜了，咖啡厅的人都走了，咖啡厅老板没有关门，还留了灯，四个人还在看着机器的运行，大家相互之间没说话。
安静了很久，夏商卜又问了吴俊：“你的自动证明机没有过问题吗？”
吴俊说：“运行以来没有出过问题。或许是因为这个数学命题太难了。”
夏商卜说：“你不能简单一点吗？就说命题是正确的还是错误的。”
吴俊说：“它现在就是在运算这个。”
祖文远说：“或许这是一个看似简单但极难证明的东西，哥德巴赫猜想听起来不是很简单吗？没有人能证明出来呢。”
夏商卜说：“那倒也是。”
祖文远说：“就担心会出现既不可证明又不可证否的情况。”
吴俊说：“如果时间太长的话，就改进一下参数也行。”
突然叮的一声，机器计算完毕，大家一看自然虫操作系统确实会出现网络冗余。
但是难题还是出现了，究竟是什么样的冗余，吴俊心想，如果按照这种速度来算，那证明过程就更加复杂了，也更不容易看懂，也难以在短时间内解释其中原因了。
吴俊说：“如果证明自动机3.0研制成功，就可以看出是什么样的数学模型能够对网络冗余造成影响了。”
夏商卜说：“离自动证明机3.0研发成功还有多久？”
吴俊说：“这是一个可以反应数学模块的机器，我们需要把各种公理化数学都用逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
犯罪现场 玄幻：从蛋开始无敌 大唐龙帝 圣鸦 万域神君携壶远游 我真就想当个厨子啊 太古神尊 宋士 穿越之被逼成反派 陆羽孟竹韵 董三生林诗音 东宫瘦马 七少绝宠：我家小妻是大佬 举世之境 万域神君 莫笑世人痴 魔改文明 霸道总裁宠萌妻 扎纸匠 万域神君陆羽孟竹韵
我是个假的圣人
作者我是真小人的经典小说我是个假的圣人最新章节全文阅读服务本站更新及时无弹窗广告小说我是个假的圣人传说，在这世上曾经出现过一位圣人，世人对他敬若神明。不不不，我不是圣人，我只是一个小人，如果你们觉得这个称呼对不起我这个曾经拯救过世界的救世主，那么你可以叫我’真小人’。...
天医传人叶天苏清雅
岳母滚，现在就给我滚，你配不上我苏家。叶天是一名上门女婿，从小卑微被人冷眼。直到有一天，他获得神秘传承。岳母以前都是我的错，求求你留下吧...
执剑写春秋
襄阳城下，单身孤骑，惊艳一枪。少室山中，剑问天下，独孤求败。光明之顶，圣火熊熊，飞扬跋扈。紫禁城内，金钱肆虐，天下第一。秦时明月，诸子百家，谁家天下？风云汇聚，洞天破碎，仙剑沉浮。宝莲灯裂，西游梦碎，封神再现。每一个故事，都是一个传奇。一个少年穿行其中，见证了无数的传奇，最终，成为了不朽的传说。本书书友群4139...
天娇谱
修习帝皇破天录的桃花浪子游荡世间，被封印在巨石中千年，脱困后，身体败破肢碎，附身于一个纯情的少年身上，开始了现代都市的美好生活。当浪荡与纯情相融，何人可挡他无敌的魅力，千年封印，只是他宿命中的一段历程，在他的身上，肩负着一抹义不容辞的责任。那一刻，财富，权力，美人，任由他取之！...
校草的哑公主
李玥从小对音乐情有独钟，可上天却偏偏和她做对。7岁那年，一桩意外事件改变了她的命运。这究竟是人为还是意外？原本想要在高中平凡地读完的她偏偏遇上三位帅得掉渣的校草，第一天就打破她高中生活的宁静。因为赌玩脑筋急转弯，输的人要做对方的奴隶，她如此地幸运中枪了，从此她的悲惨生活来了，就欺负她不会说话是吧，我李玥也不是好欺负的。静看哑巴公主如何叫嚣三位校草，残...
最强女婿
★★★本书简介★★★堂堂大佬装穷装傻做上门女婿是什么体验。没有人比我更适合回答这个问题了。...