我要评论7月17日，位于韩国的首尔经济电视台演播厅，一场围棋人机大战三番棋对决，正徐徐拉开帷幕。本次比赛采用了韩国申真谞九段受让两子的“让子棋”赛制，申真谞——这位被称为“申工智能”的现役世界第一，执黑先行，挑战顶尖开源人工智能katago。在首局比赛中，申真谞执黑中盘败北，申真谞在先失一局的不利局面下，连扳两局，以2比1的总比分取胜。
第一局的较量中，由四张英伟达rtx3090显卡并联构建起的katago，开局就下出了少见的着法，而申真谞小心翼翼地应对，尽量避免战斗。虽然在开局阶段没有犯错，但他的优势在被慢慢蚕食。
到了中盘第90手，他的一步冲仅仅是稍有失误，立刻就被katago无情地抓住，棋局瞬间就进入了黑棋不得不强杀中腹白棋的局面——而“治孤”活棋，正是ai最拿手的。现场解说的韩国国家围棋队总教练洪旼杓当时就断言：“获胜几乎不可能了！”
第二局中，申真谞调整战术，放弃布局阶段的复杂博弈，借助“芈式飞刀”定式快速简化局面，压缩棋盘的周旋空间，并将优势牢牢掌控，最终以4目半获胜。决胜局中，他延续这一思路，尽量减少复杂变化，依靠黑棋厚势稳步推进，避免给katago制造反扑机会，最终以11目半的优势锁定胜局。
但申真谞的获胜，并未在围棋界引发轰动效应，争议却随之而来。有分析指出，此次对弈所用的katago并非性能最优版本，是由四张英伟达rtx3090显卡并联构建起的katago，其参数配置未达最大化，算力或未得到充分释放。同时，赛制除了规定katago让两子外，用时规则为：申真谞每方基本时限5小时，随后进入30秒读秒；katago则无基本时限，但每手棋须在20秒内落子，且在申真谞思考期间暂停运算，不得提前推演后续变化。
在此约束下，ai是否能在每步棋之间获取足够的计算资源存在疑问。决胜局中，katago的招法趋于简化，在劣势局面下未能展现出ai标志性的敏锐判断与强攻手段，进一步放大了规则对其效能影响的不确定性。
此外，有围棋爱好者进行过测试，第一盘与30k算力（差不多符合4卡3090，20s一步的效果）的katago一选吻合度超过95％，第二盘与轻微负激进度（pda），2k算力的katago一选吻合度超过了98％，但是与30k算力的一选吻合度不到80％。第三盘与超强的负激进度（pda）-0.8的2k katago一选吻合率超过了98％，同样与30k算力的一选吻合度不足80％。
激进度（pda）可以理解成数值越大下法越激进，越小下法越保守。因此有网友推测，第一盘对阵30k算力的katago，申真谞输了之后，第二、三盘katago被调低为2k算力，激进度降成负的。
一场跌宕的人机逆转，最终留给世人的并非胜负答案，而是无尽的思考与争议，但恰恰是这些争议，让这场胜利超越了单纯的胜负本身。申真谞赢下的不仅是一盘棋，更是一个关乎人类智慧价值的拷问：当算力被刻意压制、当规则被人为设限，这场“人机大战”究竟还剩下多少参照意义？围棋的魅力从不在于绝对的强弱碾压，而在于未知的博弈与突破，在首尔经济电视台的演播厅里，人类棋手以“不完美”的方式，战胜了一个“被限制”的对手，这本身就是对人工智能时代人类处境的最生动的回应。
附录：三局的棋谱如下
发表评论