02书屋 > 从黑科技到超级工程 > 第45章 AI的逻辑

第45章 AI的逻辑


第45章  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来制定战术,最终赢得了比赛。

        不得不说,姜还是老的辣。

        “你们说下,可以从几个方面入手。”陈老师说完后便笑着望向众人。

        大家纷纷沉默,最终望向彭小飞。

        ——彭小飞是队里的操作手,重压全在他身上。

        而彭小飞则“刷”的一下往向了叶铭。

        看着好友的求助目光,叶铭笑着摇了摇头。

        他想了想后道:“我想,我们或许可以从流程入手。”

        陈老师马上望向他:“怎么说?”

        “大家看。”叶铭说着回头,指向场内搭好的积木塔:“我们先从塔被击倒后五块积木的分布开始,得出一个最佳的击塔角度和力度——就有点类似于……”

        叶铭话音还没落下,彭小飞便瞬间跳了起来。

        “我知道!”

        所有人再次望向他。

        叶铭也笑眯眯地一扬下巴:“你知道啥?”

        “台球开球!”

        “咦,聪明!”叶铭鼓了鼓掌。

        众人也随即笑了起来。

        “不错,开球。”陈老师微微颌首,眼中全是赞赏:“开出一个利于R2搭建的最佳分布,然后再优化R2的路径。”

        李东升一拍巴掌:“还可以跟武大他们学!我们就是太老实了,一个积木一个积木地捡,这次,我们要一次性捡三个!”

        陈老师略一沉吟后点头:“但那要涉及到R2的任务机械臂改动,从设计到完善……时间上来得及吗?”

        听了这话,所有人便再次望向叶铭。

        叶铭眼睛眯起,看着R2机器人,又想到李东升说的一次性捡三个,片刻后他耸了耸肩。

        当然来得及。

        无非就是个叉车嘛。

        半天的事儿。


  (https://www.02sw.net/1889_1889680/116643551.html)


1秒记住02书屋:www.02sw.net。手机版阅读网址:m.02sw.net