起来。
针对某一条自己总结出的数学规律,“初号机”,给出了严密的证明。
“数学证明”,不论计算机与AI如何看待,站在人类的立场,一堆由FSCIM体系翻译而来的叙述,表达的就是这种意思。
具体的讲,“初号机”存入数据库的资料,是关于“最大公约数与最小公倍数”的定理之证明,定理本身,是人类早已知道的“两整数最大公约数与最小公倍数之积,与两整数之积相等”,一点也不稀奇。
但是,对自身数据库中,并没有这一条浅显定理的“初号机”而言,就很不寻常。
从粗浅的数学知识出发,发现两数的最小公倍数、最大公约数,这些具有一定的数学意义的概念,这本身并非什么奇迹。
不过在此基础上,进一步的,总结出关于这些元素的数学定理、并完成证明,就绝非人类现有的计算机+人工智能可以办得到:哪怕有再强的算力,再庞大的数据库,也没有可能“自主”的完成这一切。
“初号机”的证明过程,以FSCIM规则的解析,的确合乎逻辑。
令人震惊的事实,则隐藏在这一条普普通通的证明之后,说明“强AI初号机”的确“理解”了人类提供的数学框架。
继而,在这一已有框架内,进行探索性的研究活动。
第一个成果是粗浅的,对人类并无一点用处,但背后的机制,却令方然脊背发寒。
他当时就想到,如果,“初号机”能够从基本的数学知识,推导出其自身原本并不知晓的数学知识,哪怕一开始的结论再简单、甚至堪称幼稚,假以时日,为“强人工智能”提供足够强大的算力、和足够长的运行时间,就有望得到更进一步的成果。
一旦事态发展到那一步,“强AI”接近、达到甚至超越人类的智力水平,至少在其专攻的科学领域,便有望成为现实。
想到这里,方然默默记录了时间,西历1496年1月19日,04:36:30。
正是在这一时刻,智力,人类自古以来始终垄断的特性,被自己创造出来的人工智能所拥有,继而将这垄断击出了第一道裂痕。
即便这裂痕极微小,其出现的意义,也注定会远远超越了痕迹本身。
“强AI”的第一个研究成果,出现的时机,确实是偶然,在那之后,7*24持续运行的初号机便陆续产出数学结论,所得的定律、现象归纳与(甚至还有)猜想,源源不断的被导入到数据库中。
这些结论,根据辅助AI的提取、解析,仍然处于很初级的水平,到1496年四月间,抽取的定律已接近一百条,但其中并无任何东西,是人类尚未得知的崭新成果。
对这种情形早有预见,一开始,方然就不指望从“强AI初号机”获得收益。
系统运行的趋势,才更让他关注,一方面,在1月19日得出第一条数学定律后,三个月的时间里,“初号机”的运行效率在逐渐提升,定律的产出速率一直在提高,这是十分显著的变化趋势。
另一方面,辅助AI的分析则发现,随着“初号机”的持续运行,其调用的存储空间、计算资源甚至系统本身的功耗,也在持续攀升。
请收藏:https://m.rsjd.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)