我靠打爆学霸兑换黑科技 第726节
五百个大气压。
六百个大气压！
七百个大气压！
“诶不是？”丁阳泽看她手机屏幕，慌了，“不是六百吗？怎么飙到七百？！失控了？”
第1040章 类脑计算机的开窍
“你买一辆车，平时在市区限速50，总不能车发动机最高性能就跑到50吧？”赵依依说，“测试阶段肯定要把压力加的高一点啊！”
丁阳泽脸色绷紧，“测试值要求加高到多少？”
“800！”赵依依微微手抖，戳下手机屏幕，“最后一波了！”
地层深处的嗡嗡声持续不断，声响隐隐有上升趋势，丁阳泽惊慌失措地舔着冰棍缓解紧张，冰棍吃光了还浑然不觉，把冰棍棒咬的牙印森森。
终于，声响逐渐停了！
手机屏幕上的压力数值，赫然跳到醒目的800！
“成功！”赵依依晃了晃手机，如释重负地松了口气，“下面做楼顶打开测试！”
“楼顶打开？”丁阳泽抬头，“你啥意思？”
“你没发现咱们海怪馆的楼顶，看上去很像天文台的楼顶吗？”赵依依挑眉，点击屏幕。
在丁阳泽目瞪口呆中，海怪馆的楼顶缓缓打开，犹如张开的巨型贝壳，阳光照射进来，金碧辉煌。
“为……为啥要做这种天花板啊？”丁阳泽想了想，脸色再度震惊，“不会是专门为了把海怪吊装进来吧？”
“可能是。”赵依依低头看了看深渊般的海怪池，“这么大的池子，必然是非常巨大的海怪，走正门可进不来，只能用吊车从楼顶吊进来。”
“这海怪究竟多大啊？”丁阳泽人傻了。
赵依依的手表突然滴滴作响，她瞥了一眼，“急剧低气压警告，要下雨了！”
……
夜墨市的秋天气候无常，宋河和相晓桐进食堂吃午餐时，外面明明还是颇具秋老虎之威的大太阳。
等吃饱了出食堂，瓢泼大雨满地浇，不少没来得及带伞的学生狼狈狂奔，奔着奔着就不奔了，反正已经淋透了，摆烂地在雨里慢慢走，恨不得来瓶洗头膏。
一辆漆黑轿车突然斜冲过来，稳稳停在食堂台阶门口。
宋河一看车子是军牌，本能意识到什么。
还没反应过来，驾驶座车窗拉下，王将军一脸微笑，“上车！”
师徒俩惊了一下，不再犹豫，宋河先冲下去打开车门，没直接上车，站在旁边等着，相晓桐动作很快，一猫腰钻进车后座，宋河紧接着钻进去，咣当关上车门。
“我早该料到！我说好端端的大太阳，怎么突然下起雨来了？合着您驾到了啊！”宋河语气十分熟络，“王将军还亲自开车？不配个司机什么的？”
“误会，这雨跟我没关系，纯属巧合！附近的军用机场昨天就预报有雨！”王将军哭笑不得，伸手点了一下驾驶台屏幕，“有自动驾驶还配什么司机啊，司机快下岗了。”
“海怪来了？”相晓桐期待问，“在哪呢？”
“这会儿还在省道上呢，得晚上才能到。”王将军话锋一转，“你们最近有什么新进展？趁海怪没来，可否让我开开眼？”
“新进展有，海怪引诱剂似乎有健脑效果，刚启动小鼠和猴子的药物实验。猴子还没出效果，小鼠有效果了，跑迷宫的速度快一点。”宋河说，“小鼠跑迷宫也没啥看头啊！”
“有看头，很有看头！”王将军戳戳中控台屏幕，汽车自动跑了起来。
暴雨倾盆，学生乱跑，汽车的自动驾驶模式很谨慎，慢悠悠地左拐右拐，来到脑院实验楼下。
车门上插了雨伞，三人打伞下车，进楼后收伞，前往实验室。
王将军身份特殊，不适合在大实验室露面，宋河便找了一间备用小实验室，屏退手下。
相晓桐拿来一只小鼠，小鼠目光机灵，屁股上用记号笔写着“001”。
“您看到的这只一号小鼠，名叫屁桃！它就是首只连续注射海怪引诱剂之后，在跑迷宫时完成重大突破的小鼠。”宋河介绍。
“屁……屁桃？”王将军发懵，“这名字有什么寓意吗？”
“我一个研究组长娄景辉随口给起的名，不要在意那些细节，让屁桃给您跑一趟看看！”宋河说。
相晓桐把屁桃放在迷宫入口。
天天跑迷宫，屁桃面对迷宫的谨慎忐忑早已退去，落地后立即匀速飘逸地奔跑起来，跑姿颇有几分成熟跑者的自信。
短短两分钟，一连串的左拐右拐，屁桃成功冲到终点！
“优秀！”王将军啧啧赞叹，“类似的小鼠迷宫，我前天在浙大的生物实验室见过，那里的小鼠速度慢好几分钟，犹犹豫豫的，你们的小鼠看上去确实机灵点！”
“您前天去浙大了？”相晓桐想到什么，“您不会是去看他们类脑计算机吧？”
“猜对了！浙大团队的新一代类脑超算做出来了，成果令我振奋，但可能会让你们颇感压力！”王将军突然满面红光，显然想起什么激动人心的事情。
师徒俩对视一眼，他们倒是无惧浙大团队，但此刻听到竞争对手的超算成功了，也不禁微微忐忑。
“他们的超算……很强？”宋河问，“强在哪？”
“目前已展现出了简单的数学逻辑思维，能主动归并一些计算。”王将军说，“我现场出题，考了类脑超算一个经典小题目，它表现不俗！”
“什么经典小题目？”
“1＋2＋3＋4……一直加到100。”王将军道，“等差数列求和，传闻是高斯十岁时巧解出来的题目。”
“类脑计算机的程序里，当时只有简单的加减乘除运算规则，第一遍计算的时候，类脑计算机的选择和传统计算机一样，笨笨的逐个数字按顺序相加。”
“虽然对计算机来说，哪怕逐个数字相加，也是一瞬间完成，但从后台看运算过程，步骤拖的非常长，能耗也高。”
“我们让类脑计算机一遍遍运算这个式子，算到第一千四百多遍的时候，类脑计算机突然开窍了！”
王将军眉飞色舞起来，仿佛类脑计算机是他亲儿子，正回忆辅导儿子写作业时，儿子顿悟变学霸的激动瞬间。
“它……学会了首尾相加？”宋河震惊地猜测。
第1041章 拆路灯运输
“不，它学会了偷懒，直接在数据库里创建了一个新公式，从1加到100，结果是5050，之后它就不算了，每次都从数据库里引用答案，一遍遍抄答案。”
王将军说着说着笑起来。
宋河和相晓桐吃惊，难以评价。
“这……倒是挺会偷懒，但这算好事还是坏事？”宋河犹豫。
“这个问题我也问了浙大团队，浙大团队有点尴尬，现场调试，不允许它靠背答案来应付题目，要求它每次都要自己算。”王将军继续讲。
“有了这个引导之后，类脑计算机果然开始想别的办法节省计算步骤，起初它将整个算式截成两半，分别记下前半段和后半段的答案，在每次运算时直接将式子拆成两半，再分别引用答案后相加。”
“聪明了一丁点，但本质上还是背答案作弊。”宋河笑了。
“对，浙大团队再次调试，直接换算式。”王将军点头。
“最开始不是从1加到100嘛，换成从2加到101，从3加到102，以此类推，每次都往后排一个数。”
“类脑计算机只能闷头算，算着算着，它尝试做局部优化，把整个算式用括号划分成许多小组，每个小组包含十个相邻数字，然后成功在十数字的小组内，实现了首尾相加的算法。”
“比如101＋102一直加到110的小组，它学会了把101和110加起来形成第一个211，再把102和109加起来形成第二个211，最后直接乘以五个211，得出这一组数的结果1055。”
“它先这样算了四百多次，突然开始拆小组括号，先把10个数的小组括号扩大到20个数小组，最后所有括号直接去掉，反复执行首尾相加。”
“最后一步总结公式特别困难。”王将军说，“历时十二个小时，类脑计算机总结出了等差数列求和公式，sn=n/2（a1＋an）！”
“接下来再给它随机出等差数列题，它会先迅速判定所有数字是否等差，发现是，马上套公式一步出答案！”
宋河和相晓桐对视，师徒俩这回是真有点震撼。
十二个小时总结出等差数列公式，这等数学悟性，能秒掉不少人类中小学生了！
“除了等差数列求和，还测试它其他数学问题了吗？”宋河问。
“当然测了，之前一直用正整数的等差数列让它算，很快又把算式换到负数和分数领域。”王将军说。
“它判定计算对象变了，没有直接套公式，而是做验证计算，先按顺序累加一遍，再套公式算一遍，确认两边答案一样，连续几次之后，它又开始放心大胆的在负数分数领域套公式。”
“但接下来两个测试它显得很笨拙。”王将军话锋一转。
“测它等比数列，它完全懵了，十几个小时没总结出公式来，只能笨拙的一步步算。”
“再测它几何证明题，初中全等三角形那种难度，它的证明步骤破绽百出，暂时没有逻辑严谨的证明，跑了十几个小时没起色。”
王将军笑了笑，“我觉得效果很棒了，估计它也能总结等比数列公式和证明简单几何题，只是需要时间，需要庞大的数据量喂一喂才能成长，潜力比现有的计算机要强得多！”
“确实，潜力巨大，花时间花数据培养培养，扩大超算规模，没准几年后它能尝试解证一些简单数学猜想。”宋河轻轻倒吸一口凉气。
“给你们……造成压力了？”王将军笑道。
师徒俩面面相觑，脸色微妙。
“将军，我本来打算口嗨一下，但浙大这回类脑计算机……确实有点东西，我就先不口嗨了。”宋河底气不足地笑笑。
“我们不知道能不能比他们强，得看海怪神经系统能不能给我们带来启发了。”相晓桐说。
王将军朗声大笑，“二位谦虚了，我相信你们的仿脑计算机，最后肯定比浙大的类脑计算机强！”
……
傍晚，小雨淅淅沥沥。
漆黑轿车缓缓行驶，王将军坐驾驶座，师徒俩坐在后面。
行驶到路口，只见几辆施工机械停在路边，戴安全帽的工人们正忙着拆红绿灯，不是只拆灯，连灯架一起拆掉。
自动驾驶模式解除，王将军握住方向盘，亲自开车。
有交警在路口指挥交通，稍等片刻后车子起步通过路口，往前开了一段，又看到几辆巨大的施工车停在路边，正冒雨拆除道路上空蓝底白字的大路牌。
“这一路过来，怎么都是拆红绿灯拆路牌的？”宋河好奇。
“为了运海怪啊！”王将军道，“路牌这么矮，不拆掉怎么走海怪车？”
宋河瞪圆眼睛，相晓桐也微微错愕。
王将军从后视镜看到两人的表情，轻轻一笑，“装海怪的加压筒直径八米，长二十米，平放在车上躺着运，加上车轮高度也会碰到红绿灯。”