第429章 阿法狗的三板斧
第二天一早。 江寒吃过早饭后，带着夏雨菲出门，直奔高新区。 来到大江和星空驻地之后，先和夏如冰见了一面。 目前，大江和星空这两家企业，都运转得十分不错。 星空已经实现了盈利，仅仅卖“坏苹果”的授权，就已经有了几个亿的净收入。 而且，后续还有好多大公司，在排队等着洽谈合作。 江寒看完账目，十分开心：“小姨辛苦了。” 夏如冰嫣然一笑：“我辛苦什么？不过是跑跑腿、磨磨嘴皮子……” 江寒思考了一下，问：“小姨，咱们星空现在最多能抽调多少资金？” 夏如冰不假思索：“三个亿绝对没问题。” 这是实话，以专利为主的科技公司，对于资金链本就不怎么倚重。 江寒欣然一笑：“3亿吗？差不多也够了……这样吧，您抽点时间，帮我跟世界上几家主要的超算制造商联系一下，买一套好一点的超级计算机。” “地下室那么多服务器还不够用吗？”夏如冰好奇地问。 江寒微微一笑：“那才多少点算力？没有2~3个PFlops，怎么玩大数据？” “那……咱们按照天河一号的指标买？” 江寒点了点头：“能买到当然好了，但咱们这点钱，我估计可能不太够……” 我国的“天河一号”超级计算机，曾经有差不多整整一年，保持了世界第一的排名。 即使现在，也仍能排进世界前三。 虽然有着4000多千瓦的恐怖功率，不过要说速度，那是真的快！ 要说江寒对其不眼馋，那当然是骗人的，只可惜手里这点钱…… 他现在很需要一台超算。 否则就算把阿法狗的算法开发出来，也没法得到“合法”的训练数据。 总不能用虚拟空间里的超算，来训练阿法狗吧？ 怎么解释来源？ 安排完这件事之后，江寒又去看了下大江。 《绝地求生》的开发进度相当喜人，甚至已经可以跑图了。 无人机那边，也进展顺利，估计再有两个月，就能看到样品。 中文手写识别的核心算法，目前苹果公司等国内外厂商，都已经派人前来接触过了。 这些合作谈下来，肯定又是一笔笔源源不断的财富。 OCR软件的销售情况，也还不错，至少对得起它的品质和近乎垄断的地位。 老江气色也比之前好多了，江寒猜想…… 从这天回家之后，江寒就开始着手设计阿法狗算法。 一连花了好几天，总算弄出了一个大概。 当年的他对于阿法狗，那也是相当感兴趣的。 毕竟这种既有趣又牛掰的玩意，放眼整个世界也并不多见。 当年他着实看了不少相关的报道和分析文章，虽然没读过DeepMind的原始论文，但阿法狗中到底用了哪些手段，他大概还是有点印象的。 初代阿法狗的算法，其实相当简单，主要包括三大部分。 首先，通过输入人类的棋谱，使其得到“基本”的围棋知识； 然后，运用强化学习技术，使其在战斗中，自主提高棋力。 最后，通过蒙特卡洛算法，减少计算压力，提高可行性。 没搞过围棋算法的人，通常会很自然地设想：只要穷举每一种落子的可能性，不就可以了吗？ 没错，当年击败了小卡的“深蓝”计算机，就是这么干的。 可那是国际象棋，复杂度源远比不上围棋。 围棋有19行、19列，一共381个交叉点，所以总的状态空间，就是3的361次方！ 即使去掉一些不合法的状态，其复杂度也将达到2x10^170！ 要知道，整个可观测宇宙中的原子总数，也不过才10^80个…… 所以，围棋程序是无法穷举的。 就算把全世界的电脑都用上，也不可能在有限时间内算出答案。 同时，保存所有状态所需要的存储空间，也是现实中绝对无法满足的。 时间、空间的复杂度，和有限的算力之间，存在着深刻而突出的矛盾。 为了解决这个矛盾，阿法狗的原始研发团队，找到了一个巧妙的办法。 那就是将卷积神经网络，和蒙特卡洛树搜索算法，结合到一起！ 他们分别实现了策略网络和价值网络，同时还训练了一个简化版的策略网络，用于快速走子，供蒙特卡洛树使用。 类比人类的思考和认知模式，策略网络就相当于大脑中负责深度思考的部分；而快速走子，则相当于大脑中，负责迅速感知的那个部分。 所有有人说，阿法狗是一个兼具了逻辑和直觉的伟大算法，可以让计算机真正理解围棋，“学会”下棋！ 而不再仅仅是对人类棋手的拙劣模仿，更不是一般人以为的那样，只是利用超级算力欺负人…… 江寒很快就理清了思路，然而要想设计出能力接近原版的阿法狗，并非一朝一夕之功。 甚至花个一年半载，那也是很正常的。 江寒并不着急。 对原本的Deepmind团队来说，这是一个充满挑战的科研项目； 但对他来说，这只不过是一道应用题。 并且，他还知道一个事实，那就是阿法狗是可以做出来的。 对于科研来说，这一点无比重要。 曾经有人说：原子弹的全部秘密，就在于它可以被制造出来。 没错，不管人工智能、核聚变，还是光速飞船…… 只要有一个国家、组织或者个人做出来了，那么很快其他国家、组织和个人，都会跟上来，独立研究出来！ 也就是说，只要知道前方有路，就很容易找到路。 反之，在不知道有没有路的时候，探路的人才是最难的…… 江寒对自己很有信心，以自己的脑力和知识底蕴，不信攻不克区区一个阿法狗。 只是多花费一点时间罢了。 时间匆匆流逝，转眼就要开学了。 这些日子里，靳雪雯没事儿就来找夏雨菲玩，顺便和江寒学习一些计算机技术。 方源对机器学习十分感兴趣，虽然负责着《我的世界》的维护和更新，但在忙碌之余，也经常抽出时间，找江寒“拜师学艺”…… 江寒自然不会藏私，对其悉心栽培。 时间来到二月底，靳雪雯和冷星琳和江寒、夏雨菲一起吃了顿饭，然后就回了京城。 开学之后，江寒回到了学校，正常上课。 但其实，高中知识他早就全盘掌握，完全不需要听讲了。 所以去学校的时候，绝大多数时候，都在溜号搞自己的研究…… 3月中旬的一天，周市长的秘术忽然打来电话。 原来，最新一批入驻高新区的名单，刚刚研究通过了，大江科技榜上有名。 江寒喜出望外. 这样一来，自己的超算也算有了个落脚的地方。 总赖在盛夏大厦，毕竟也不是个事儿。 别的不说，超算那恐怖的电力消耗，就不是一般地方承担得起的…… 时光匆匆流逝。 4月初，大江科技和星河一起挪到了高新区H区。 搬家那天，李东、李亚男、洪锐、雷蕾等同学都来了。 金富贵、夏如虹等自然也少不了捧场。 让江寒比较意外的是，陈萱竟然也带着女儿陆菁菁赶了过来。 陆菁菁仍是那么一副没心机的样子。 “江寒哥哥好久不见，雨菲jiejie好……咦？你怎么好像……胖了一丢丢？” 江寒：“……” 夏雨菲：“……” 孩子你造吗？这么不会说话，很容易挨打的说……