第1039章拆路灯运输
“不,它学会了偷懒,直接在数据库里创建了一个新公式,从1加到100,结果是5050,之后它就不算了,每次都从数据库里引用答案,一遍遍抄答案。”
王将军说着说着笑起来。
宋河和相晓桐吃惊,难以评价。
“这……倒是挺会偷懒,但这算好事还是坏事?”宋河犹豫。
“这个问题我也问了浙大团队,浙大团队有点尴尬,现场调试,不允许它靠背答案来应付题目,要求它每次都要自己算。”王将军继续讲。
“有了这个引导之后,类脑计算机果然开始想别的办法节省计算步骤,起初它将整个算式截成两半,分别记下前半段和后半段的答案,在每次运算时直接将式子拆成两半,再分别引用答案后相加。”
“聪明了一丁点,但本质上还是背答案作弊。”宋河笑了。
“对,浙大团队再次调试,直接换算式。”王将军点头。
“最开始不是从1加到100嘛,换成从2加到101,从3加到102,以此类推,每次都往后排一个数。”
“类脑计算机只能闷头算,算着算着,它尝试做局部优化,把整个算式用括号划分成许多小组,每个小组包含十个相邻数字,然后成功在十数字的小组内,实现了首尾相加的算法。”
“比如101+102一直加到110的小组,它学会了把101和110加起来形成第一个111,再把102和109加起来形成第二个111,最后直接乘以五个111,得出这一组数的结果555。”
“它先这样算了四百多次,突然开始拆小组括号,先把10个数的小组括号扩大到20个数小组,最后所有括号直接去掉,反复执行首尾相加。”
“最后一步总结公式特别困难。”王将军说,“历时十二个小时,类脑计算机总结出了等差数列求和公式,sn=2n(a1+an)!”
“接下来再给它随机出等差数列题,它会先迅速判定所有数字是否等差,发现是,马上套公式一步出答案!”
宋河和相晓桐对视,师徒俩这回是真有点震撼。
十二个小时总结出等差数列公式,这等数学悟性,能秒掉不少人类中小学生了!
“除了等差数列求和,还测试它其他数学问题了吗?”宋河问。
“当然测了,之前一直用正整数的等差数列让它算,很快又把算式换到负数和分数领域。”王将军说。
“它判定计算对象变了,没有直接套公式,而是做验证计算,先按顺序累加一遍,再套公式算一遍,确认两边答案一样,连续几次之后,它又开始放心大胆的在负数分数领域套公式。”
“但接下来两个测试它显得很笨拙。”王将军话锋一转。
“测它等比数列,它完全懵了,十几个小时没总结出公式来,只能笨拙的一步步算。”
“再测它几何证明题,初中全等三角形那种难度,它的证明步骤破绽百出,暂时没有逻辑严谨的证明,跑了十几个小时没起色。”
王将军笑了笑,“我觉得效果很棒了,估计它也能总结等比数列公式和证明简单几何题,只是需要时间,需要庞大的数据量喂一喂才能成长,潜力比现有的计算机要强得多!”
“确实,潜力巨大,花时间花数据培养培养,扩大超算规模,没准几年后它能尝试解证一些简单数学猜想。”宋河轻轻倒吸一口凉气。
“给你们……造成压力了?”王将军笑道。