王烁：阿尔法狗打不垮这个

正文

请到「今天看啥」查看全文

映射到其他领域，习俗、规则、制度、诫条无不从现实中来，但也都超脱现实约束，获得独立的存在感。宁可不要XXXX苗，也不能要XXXX草。这种话，我们听得还少吗？

还好，棋盘上一切胜负说话。既然你不惜输棋也要追求棋形，那你就输呗。阿尔法狗对既有棋形、定式观念的巨大冲击，以胜负为先的职业棋手们都是欢迎的。震惊之余，新世界在他们眼前打开：一切从整体效率出发，带来了巨大自由。

如果什么都是这样反馈明确、淘汰标准清楚就好了，多少事可以不用再来回捣浆糊。

问题没完。

阿尔法是否动摇了棋理？前述棋理云云，追求整体效率是事后效果，而其过程则是取舍，将大量变化归约成人脑在给定时间中能有效运算的子集。AI要剪枝，人类也要。

人类围棋思维使用的剪枝工具中，有大量形式逻辑的内涵：

——孤立地看，很难看清一个变化是否有利，但相对地看则容易一些：如果变化A明显优于变化B，则不论变化B本身如何，放弃它都是对的；

——在某个变化中，如果其中有步棋对形成该变化来说是不必要的，并且它本身是亏损的，那就一定不要下这步棋；

——在某个变化中，如果下了第一步，那么就应该下出与此相关的第二步、第三步，形成战术组合；如果下第一步之后就停下来，转而在棋盘上他处落子，那第一步就白白亏损。务必避免无谓损失。

等等等等。

围棋中，归纳与演绎俱备，彼此交融。如果把棋步计算本身粗略视作归纳，但在计算所得各种变化之间的取舍（取舍本身其实也是计算），往往要用演绎推理，如上面这些例子。

阿尔法跟人类总共四次。第一次对欧洲冠军樊麾，5:0，第二次对人类顶级棋手李世石，4:1; 第三次对几乎所有人类强手作网络车轮战，60:0；第四次对当前人类第一人柯洁，3:0。屡战屡胜，如入无人之境。人类棋手对阿尔法围棋的深度越来越敬畏，也越来越惶恐。

等到谷歌公开阿尔法自我对弈50局之后，人类棋手完全陷入迷茫。

请到「今天看啥」查看全文