从黑科技到超级工程 第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。”
“记下了。”
“你排列几个不同的与门，得出答案。”
“小看我。”伊塔就仿佛一个不服气的天才小学生，回了一句后立刻在脑海中生成了一长排的与门：“”
“转成10进制。”
“1369”
“嗯。”叶铭不动声色：“继续，接下来是非门，或门……与非门……”
“为什么要有这么多门？”
“因为……有这么多逻辑。”
……
宿舍的门被无声地推开，彭小飞探出个脑袋，他见叶铭盘膝坐在床上，手里抱着本书，紧锁着眉头，嘴里还念念有词……
先是吓了一跳，随后他才轻手轻脚地走到叶铭面前。
当看到书的封皮上是集成电路设计时，他才松了口气。
“叶铭！”
“咋？”
“老子还以为你丫练神功呢……”彭小飞笑着拿起书：“这是下学期学的吧？你现在都打算背了？”
叶铭一把抢回书：“说正事儿。”
“正事儿就是，今天上午才接到RC组委会的通知，今年无论国内还是国际赛……可能都要改成线上举办了。”
叶铭一楞：“卧槽，线上怎么比？”
“据说是传视频。”彭小飞也满脸的不爽：“没办法，疫情原因。你说阿三那边就算了，就算去咱们也有点心虚，国内没必要搞这么严肃吧……”
一说到疫情，叶铭就知道没的说了，他皱起眉：“如果传视频的话，那就只能看哪个队伍的R2机器人搭得更快，完全没有对抗性了。”
彭小飞点头：“是，所以我觉得，这他娘的是不是故意针对咱们……”
“……陈老师怎么说？”
“就叫你去开会呢。”
“那走。”
……
十分钟后，两人一同出现在备赛馆。
在简单说明了情况后，陈老师笑着望向叶铭：“我和彭小飞的意见一样，估计是组委会看咱们的自瞄和防守太BUG了，所以刻意改成了线上。”
大家齐齐笑了起来。
陈老师这句话当然是开玩笑的。
“不过既然都已经决定了要改到线上进行，那就意味着我们不用再管观瞄和防守，全力优化搭积木的方案即可——其实这也是之前我说的，RC比赛看重的是最终任务的完成的。”
“如果我们把最终完成积木塔看成是机器人在现实中的任务，那么抛球，躲球，只是对这个任务的干扰。”
“现在，只是没有了干扰，让我们能够专心致志地完成任务。”
听着陈老师的分析，大家都默默点头。
老陈担任指导老师后，他并没有给战队带来多少技术上的支持，毕竟那时候大家都已经完成了最后的升级。他提供更多的，还是竞赛的理念。因此，也才有了最后面对武大，叶铭不求打掉对方，而是围绕着干扰对方R2来制定战术，最终赢得了比赛。
不得不说，姜还是老的辣。
“你们说下，可以从几个方面入手。”陈老师说完后便笑着望向众人。
大家纷纷沉默，最终望向彭小飞。
——彭小飞是队里的操作手，重压全在他身上。
而彭小飞则“刷”的一下往向了叶铭。
看着好友的求助目光，叶铭笑着摇了摇头。
他想了想后道：“我想，我们或许可以从流程入手。”
陈老师马上望向他：“怎么说？”
“大家看。”叶铭说着回头，指向场内搭好的积木塔：“我们先从塔被击倒后五块积木的分布开始，得出一个最佳的击塔角度和力度——就有点类似于……”
叶铭话音还没落下，彭小飞便瞬间跳了起来。
“我知道！”
所有人再次望向他。
叶铭也笑眯眯地一扬下巴：“你知道啥？”
“台球开球！”
“咦，聪明！”叶铭鼓了鼓掌。
众人也随即笑了起来。
“不错，开球。”陈老师微微颌首，眼中全是赞赏：“开出一个利于R2搭建的最佳分布，然后再优化R2的路径。”
李东升一拍巴掌：“还可以跟武大他们学！我们就是太老实了，一个积木一个积木地捡，这次，我们要一次性捡三个！”
陈老师略一沉吟后点头：“但那要涉及到R2的任务机械臂改动，从设计到完善……时间上来得及吗？”
听了这话，所有人便再次望向叶铭。
叶铭眼睛眯起，看着R2机器人，又想到李东升说的一次性捡三个，片刻后他耸了耸肩。
当然来得及。
无非就是个叉车嘛。
半天的事儿。
它指的是（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。”
“记下了。”
“你排列几个不同的与门，得出答案。”
“小看我。”伊塔就仿佛一个不服气的天才小学生，回了一句后立刻在脑海中生成了一长排的与门：“”
“转成10进制。”
“1369”
“嗯。”叶铭不动声色：“继续，接下来是非门，或门……与非门……”
“为什么要有这么多门？”
“因为……有这么多逻辑。”
……
宿舍的门被无声地推开，彭小飞探出个脑袋，他见叶铭盘膝坐在床上，手里抱着本书，紧锁着眉头，嘴里还念念有词……
先是吓了一跳，随后他才轻手轻脚地走到叶铭面前。
当看到书的封皮上是集成电路设计时，他才松了口气。
“叶铭！”
“咋？”
“老子还以为你丫练神功呢……”彭小飞笑着拿起书：“这是下学期学的吧？你现在都打算背了？”
叶铭一把抢回书：“说正事儿。”
“正事儿就是，今天上午才接到RC组委会的通知，今年无论国内还是国际赛……可能都要改成线上举办了。”
叶铭一楞：“卧槽，线上怎么比？”
“据说是传视频。”彭小飞也满脸的不爽：“没办法，疫情原因。你说阿三那边就算了，就算去咱们也有点心虚，国内没必要搞这么严肃吧……”
一说到疫情，叶铭就知道没的说了，他皱起眉：“如果传视频的话，那就只能看哪个队伍的R2机器人搭得更快，完全没有对抗性了。”
彭小飞点头：“是，所以我觉得，这他娘的是不是故意针对咱们……”
“……陈老师怎么说？”
“就叫你去开会呢。”
“那走。”
……
十分钟后，两人一同出现在备赛馆。
在简单说明了情况后，陈老师笑着望向叶铭：“我和彭小飞的意见一样，估计是组委会看咱们的自瞄和防守太BUG了，所以刻意改成了线上。”
大家齐齐笑了起来。
陈老师这句话当然是开玩笑的。
“不过既然都已经决定了要改到线上进行，那就意味着我们不用再管观瞄和防守，全力优化搭积木的方案即可——其实这也是之前我说的，RC比赛看重的是最终任务的完成的。”
“如果我们把最终完成积木塔看成是机器人在现实中的任务，那么抛球，躲球，只是对这个任务的干扰。”
“现在，只是没有了干扰，让我们能够专心致志地完成任务。”
听着陈老师的分析，大家都默默点头。
老陈担任指导老师后，他并没有给战队带来多少技术上的支持，毕竟那时候大家都已经完成了最后的升级。他提供更多的，还是竞赛的理念。因此，也才有了最后面对武大，叶铭不求打掉对方，而是围绕着干扰对方R2来制定战术，最终赢得了比赛。
不得不说，姜还是老的辣。
“你们说下，可以从几个方面入手。”陈老师说完后便笑着望向众人。
大家纷纷沉默，最终望向彭小飞。
——彭小飞是队里的操作手，重压全在他身上。
而彭小飞则“刷”的一下往向了叶铭。
看着好友的求助目光，叶铭笑着摇了摇头。
他想了想后道：“我想，我们或许可以从流程入手。”
陈老师马上望向他：“怎么说？”
“大家看。”叶铭说着回头，指向场内搭好的积木塔：“我们先从塔被击倒后五块积木的分布开始，得出一个最佳的击塔角度和力度——就有点类似于……”
叶铭话音还没落下，彭小飞便瞬间跳了起来。
“我知道！”
所有人再次望向他。
叶铭也笑眯眯地一扬下巴：“你知道啥？”
“台球开球！”
“咦，聪明！”叶铭鼓了鼓掌。
众人也随即笑了起来。
“不错，开球。”陈老师微微颌首，眼中全是赞赏：“开出一个利于R2搭建的最佳分布，然后再优化R2的路径。”
李东升一拍巴掌：“还可以跟武大他们学！我们就是太老实了，一个积木一个积木地捡，这次，我们要一次性捡三个！”
陈老师略一沉吟后点头：“但那要涉及到R2的任务机械臂改动，从设计到完善……时间上来得及吗？”
听了这话，所有人便再次望向叶铭。
叶铭眼睛眯起，看着R2机器人，又想到李东升说的一次性捡三个，片刻后他耸了耸肩。
当然来得及。
无非就是个叉车嘛。
半天的事儿。