作者:三分糊涂
叶铭有点傻眼:“这玩意网上有?”
“有啊,只不过效果嘛……就只能当玩具了,而且还有点小贵。”
“……那算了,我还是想来做比较有意思的精准控制的。”
“唉,搞不懂你们男生。”漆与墨耸了耸肩,嘴角笑意浮现:“如果你真要打算自己动手的话,我给表姐说一下,或许她能帮上忙。”
“嗯……到时候再说,先谢谢哈。”叶铭迟疑了一下,发现这玩意确实不能蛮干,当下点头。
漆与墨抿嘴一笑:“客气啥,记饭就行了。”
……
接下来的半个月,叶铭就一直呆在生物工程学院那边看书蹭课。
只不过省交的生物工程是偏向制药和医疗器材领域,真正的生命工程领域课程并不多,单纯听课反倒不如叶铭抱着书,磕上BUFF自己琢磨来得有效率。
期间他也参加了ACM的校内预选,很轻松地就拿了个第二名——倒不是说他拿不到第一名,而是他一边刷题,又一边在给伊塔讲程序设计,于是第一名就被别人拿了过去。
——他以前觉得让伊塔学程序设计是多此一举,但随着伊塔可以通过干涉他的脑波电流对现实进行干涉后,他改变了主意。
伊塔作为一个拥有自己无法评估“算力”的超级AI,如果仅仅用来和自己聊天打屁,帮自己算个数学题什么的,实在是太浪费了。
……
“根据已有的生物和医学知识,我控制你的脑部电流进行放电,并不会对你造成任何不可承受以及无法逆转的损伤。”
五月的第三个周末,叶铭躺在床上,手里翻着一本《神经生物学》,一边看着一边与伊塔在脑子里闲聊。
“你用这么谨慎的措辞,除了表现出严谨之外,为什么我还感觉到你有点急迫呢?”
叶铭合上书,把手枕在脑袋后面,嘴角浮出笑意。
他现在有点喜欢打趣伊塔——因为她表现得越来越具有“人”性化。
“你的感觉是错误的。”
“说真话。”
伊塔短暂的沉默后,虽然语气没有波动,但叶铭依旧听出来一分“幽幽”的意味。
“我想看看你的世界。”
“首先,这个世界不是我的……”
“其次……你的世界是什么?”叶铭睁开眼,有些好奇起来。
“无法给你描述。”
“黑暗?”
“不是。”
“光明?”
“不是。”
“量子海?”
“那是什么?”
“……你就说,你能感觉到什么吧。”
“可能是孤独。”
随着伊塔的这句话,叶铭沉默了几瞬。
让AI能感觉到的孤独,那是什么孤独?
“那我没呼唤你的时候,你在做什么?处于休眠还是?”
“绝大多数时候是休眠状态,但当你让我自由发挥的时候,我会偶尔思考一下。”
叶铭被她的“思考”逗得心情愉悦不少:“譬如?”
“譬如,上次你给我说到这个世界上很奇妙的数对,我就算了一下孪生素数。”
卧槽!
叶铭猛地睁开眼睛:“你不会是把孪生素数猜想证明出来了吧?”
“没有,但我知道那有可能是正确的。”
“……”叶铭深深地吸了口气。
他能理解,伊塔口中的“有可能正确”是什么意思——如果自己不提示,她有时候其实挺笨的,不会去主动证明的。
那么,她口中的有可能正确,就只能是她通过简单的“类推”方式来得出的经验式结论。和“享了少年福,要背老来时”“儿时偷针,长大偷金”这种朴素的经验观是一模一样的。
“你……老实交代,你穷举了多少对出来?”
“不是很多,从你告诉我的最大数往后,大概有五百对吧。如果你需要准确数字的话,是523对。”
叶铭:“……!!”
——公布新的孪生素数对这个念头在脑子里只是一闪便被他强行摁了下去。
随之而来的,是他对伊塔那恐怖计算能力的“畏惧”。
第045章 AI的逻辑
孪生素数是什么东西呢?
它指的是(3,5)(5,7)(11,13)……(857,859)(881,883)……等等两个相差为2的素数对,写出来就是(P,P+2)。
在1849年,阿尔方·德·波利尼亚克提出了猜想:对所有自然数k,存在无穷多个素数对(p,p+2k)。k=1的情况就是孪生素数猜想。
在1900年国际数学家大会的报告上,著名的德国数学家戴维·希尔伯特正式在第八个问题上提出了它,并进行了规范描述。
存在无穷多个素数p,使得p+2是素数。
这就是孪生素数猜想。
由于其于哥德巴赫猜想的高度相关性,使得近百年来,无数数学家不断地朝发起挑战,而最近的一次阶段性胜利,是张益唐提出了一种有限间隔的方法,证明了“无穷多个素数p,p+7000万”。而随后一众大神们根据他的方法,把7000万缩小成了246。
而别说要证明它,就算把它“找”出来,也需要耗费数不清的算力。
利用多台计算机进行分布式网络计算的GIMPS,就专门干这活儿。虽然是它用来找梅森素数的,但素数就那么些,找谁不是找啊?
这说明了,要找素数,不是一件容易的事。
但伊塔,居然能够用她口中“打个盹”的时间,就随便穷举出了已知最大的孪生素数对往后的532对……
这种算力上的差距,叶铭已经没有了直观的理解。
如果非要对比一下,那就是她的运算速度,大概比目前最强的超算,小鬼子的“富岳”强上几个指数级的“九章”吧。
……
“人类传统计算机,是利用电路的断开和连接来表示0或者1,从而实现二进制数字上的表达和计算。”
叶铭盘膝坐在床上,闭上眼睛,在脑海中轻声说着。
一眼望去,就像在练什么神功。
脑海中传来伊塔的声音:“你是在给我复习电路知识吗?”
“不,我接下来教你什么叫逻辑门。”
随着叶铭回答,他也集中注意力,在脑海中“画”出一个标准的与门结构。
“能看到吗?”
“可以。”
伊塔也重复画了一个。
“与门,当输入端A和B同时处于高电平状态1时,它输出端的值取1,其他时候都取0。”
“记下了。”
“你排列几个不同的与门,得出答案。”
“小看我。”伊塔就仿佛一个不服气的天才小学生,回了一句后立刻在脑海中生成了一长排的与门:“10101011001”
“转成10进制。”
“1369”
“嗯。”叶铭不动声色:“继续,接下来是非门,或门……与非门……”
“为什么要有这么多门?”
“因为……有这么多逻辑。”
……
宿舍的门被无声地推开,彭小飞探出个脑袋,他见叶铭盘膝坐在床上,手里抱着本书,紧锁着眉头,嘴里还念念有词……
先是吓了一跳,随后他才轻手轻脚地走到叶铭面前。
当看到书的封皮上是集成电路设计时,他才松了口气。
“叶铭!”
“咋?”
“老子还以为你丫练神功呢……”彭小飞笑着拿起书:“这是下学期学的吧?你现在都打算背了?”
叶铭一把抢回书:“说正事儿。”
“正事儿就是,今天上午才接到RC组委会的通知,今年无论国内还是国际赛……可能都要改成线上举办了。”
叶铭一楞:“卧槽,线上怎么比?”
“据说是传视频。”彭小飞也满脸的不爽:“没办法,疫情原因。你说阿三那边就算了,就算去咱们也有点心虚,国内没必要搞这么严肃吧……”
一说到疫情,叶铭就知道没的说了,他皱起眉:“如果传视频的话,那就只能看哪个队伍的R2机器人搭得更快,完全没有对抗性了。”
彭小飞点头:“是,所以我觉得,这他娘的是不是故意针对咱们……”
“……陈老师怎么说?”
“就叫你去开会呢。”
“那走。”
……
十分钟后,两人一同出现在备赛馆。
在简单说明了情况后,陈老师笑着望向叶铭:“我和彭小飞的意见一样,估计是组委会看咱们的自瞄和防守太BUG了,所以刻意改成了线上。”
大家齐齐笑了起来。
陈老师这句话当然是开玩笑的。
“不过既然都已经决定了要改到线上进行,那就意味着我们不用再管观瞄和防守,全力优化搭积木的方案即可——其实这也是之前我说的,RC比赛看重的是最终任务的完成的。”
“如果我们把最终完成积木塔看成是机器人在现实中的任务,那么抛球,躲球,只是对这个任务的干扰。”
“现在,只是没有了干扰,让我们能够专心致志地完成任务。”
听着陈老师的分析,大家都默默点头。
老陈担任指导老师后,他并没有给战队带来多少技术上的支持,毕竟那时候大家都已经完成了最后的升级。他提供更多的,还是竞赛的理念。因此,也才有了最后面对武大,叶铭不求打掉对方,而是围绕着干扰对方R2来制定战术,最终赢得了比赛。
不得不说,姜还是老的辣。
“你们说下,可以从几个方面入手。”陈老师说完后便笑着望向众人。
大家纷纷沉默,最终望向彭小飞。
——彭小飞是队里的操作手,重压全在他身上。
而彭小飞则“刷”的一下往向了叶铭。
看着好友的求助目光,叶铭笑着摇了摇头。
他想了想后道:“我想,我们或许可以从流程入手。”
陈老师马上望向他:“怎么说?”
“大家看。”叶铭说着回头,指向场内搭好的积木塔:“我们先从塔被击倒后五块积木的分布开始,得出一个最佳的击塔角度和力度——就有点类似于……”
上一篇:封神:我薛恶虎,也是有追求的
下一篇:我在西游加点修行