
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算力,激进度降成负的。
一场跌宕的人机逆转,最终留给世人的并非胜负答案,而是无尽的思考与争议,但恰恰是这些争议,让这场胜利超越了单纯的胜负本身。申真谞赢下的不仅是一盘棋,更是一个关乎人类智慧价值的拷问:当算力被刻意压制、当规则被人为设限,这场“人机大战”究竟还剩下多少参照意义?围棋的魅力从不在于绝对的强弱碾压,而在于未知的博弈与突破,在首尔经济电视台的演播厅里,人类棋手以“不完美”的方式,战胜了一个“被限制”的对手,这本身就是对人工智能时代人类处境的最生动的回应。
附录:三局的棋谱如下






