今天是棋圣战的第二局，柯洁仅用112手就击退时越，以2-0的比分轻松卫冕棋圣战。
回顾本局比赛，与其说时越不发挥，不如说柯洁的表现实在过于强悍。不夸张的说，纵观柯洁本局，柯洁只下出了两种棋——第一种叫做AI的首选，第二种叫做暴打AI的首选。现在就让我们一同来回顾一下本盘对局，看一下柯洁令AI都颤抖的算路。
图1
本局比赛时越执黑先行，行进至此黑棋需要寻求行棋头绪。黑27大飞打入凶狠，是符合时越一贯风格的一手棋。没想到的是柯洁在此不甘示弱，白28镇头兼肩冲分断反击，一场激战就此打响。
图2
战斗的结果对黑棋并不成功，白棋获得了很大的角地，而黑棋中腹仍有薄味。回头来看，时越37手挡下堪称本局的败因。
图3
这里柯洁几乎没花什么时间，白38、40立即冲断。定睛一看，黑棋两块气都很紧，时越瞬间陷入苦战。
图4
时越黑45扳出开始反击，其实白棋此时弃掉C9一子已经可以满意了。但是柯洁不依不饶，正所谓进攻就是最好的防守，白46、48、50一招比一招强硬。
图5
接下来黑51、53以及白54都是最强防御，这里双方的计算都很精确。
图6
此时时越如果能冷静下来，黑1以下的弃子是当前局面最佳下法。黑棋下方大龙被吃损失固然很大，但是黑棋毕竟获得外势，还有争胜的希望。
图7
也许是意识到形势被动，也许是此局部有误算，实战时越选择了冲断。也正是这一手棋，彻底将黑棋送上不归路。以下招法几乎都是命令式的，至黑63长出，黑棋坐等白棋出招。黑棋下方大龙确实不活，不过白棋真的有杀棋的决心吗？
图8
在这个局部，包括弈客的无限算力、星阵或者绝艺，推荐的都是白1点入杀棋。虽然AI们都认为白棋胜率高达90%以上，但是白棋毕竟要处理三块，不得不说这条路对人类异常凶险。
图9
在跑了300W模拟量后，无限算力依然认为H3点入最佳。而柯洁实战的M6，仅位列第三位，而且胜率与目差都与首选差距较大。
图10
事实真的如此吗？柯洁在这个局部进行了唯一一次长考，最终打出了白64抱吃这冷静的一手。从后面的进程看，柯洁已经完全接管了比赛，黑棋事实上已经被KO了。当然了，这手棋上去之后，不出所料，所有AI给予了一致差评。
图11
由于白棋右边已经彻底厚了，黑棋现在也只有一条路，拿住白棋中间五子。黑65拐，发动了最后的猛攻。
图12
在这个局部，AI至少有三个误解。首先在模拟量不高的时候，白1弯是首选。以下白棋只能弃子仓皇出逃，左边死进去了，下面也没吃住，局面非常混乱。当然了，这图还是黑棋胜率不乐观，只是白棋完全没不要这样下而已。
图13
随着AI计算深入，会意识白66扳这边是更好的下法，实战柯洁也是这么下的。不过这里AI要想搞明白，还是需要花相当大的功夫。
图14
即便花数分钟跑个大几十万模拟量，AI一般还是会选择本图。白1以下可以简明就地做活，显然比图12好了不少，这是AI第二个误会。
图15
大概在100万量级的模拟量时，AI会发现和黑棋对杀的下法，这也是柯洁的实战。
需要注意的是，AI之所能“仅用”100W模拟量算到这张图，是因为我已经替AI摆到了69手。由于每一手棋都帮AI剪枝了无数复杂的错误变化，所以可以推测在黑63手的时候，AI可能需要数千万模拟量才能看到本图。
而柯洁在实战中，仅仅用数分钟时间就将这里搞清楚了，不得不说人类在这种复杂计算的地方对AI还是有很大优势。
图16
这里黑棋其实是可以妥协的，黑1、3可以弃三子做活。这图挺有意思，虽然胜率基本清零了，但是目差白棋“只领先”9目多。所以说从人类的角度，黑棋选择这图说不定还有一线生机。
图17
实战对柯洁其实没有什么难度了，白76点杀，只此一手的杀招。此手一出，黑棋对杀彻底无望。
图18
这里需要说明一点，白1扑看似紧气的手筋，实则暴毙的勺子。白棋真要是这么下，对杀结果将瞬间翻转。
图19
这里对AI还有第三个坑，就是白80粘，AI也需要一定的计算量才能看到。不过这里对柯洁总不难了，黑棋这看似气巨长的一块，就是死活长不出气，怎么都要慢一气了。
图20
在模拟量不太高的时候，AI有一个馊主意，就是白1冲。当然了这样白棋死是不会死的，能吃掉四子连通，不过黑棋大龙就跑了。
图21
实战时越只能做个赖皮劫，柯洁还秀了个手筋，白98飞，黑棋提一子还是长不出气。嗯，这手棋AI看到了，笑。
图22
最后上一个星阵的发挥水准，可以看到执白的星阵没有恶手，有一手失误，有两手欠佳，看来还需要多多向柯洁学学棋啊。
图23
遥想第一局棋，星阵也是被柯洁各种下法秀得一愣一愣的，胜率曲线上蹿下跳。
图24
看完这两局，我只能说柯洁果然是屠狗英豪啊。
,
