申真谞两子让先击败KataGo:AlphaGo之后人类首次在官方系列赛中战胜顶级围棋AI

申真谞两子让先击败KataGo:AlphaGo之后人类首次在官方系列赛中战胜顶级围棋AI

人类重新赢下一局

26岁的韩国围棋九段申真谞近日完成了一项被棋界视为「不可能任务」的壮举:在一场正式的让子系列赛中,他以受两子的身份击败了最强开源围棋引擎KataGo,成为2016年李世石第四局战胜AlphaGo以来,第一位在官方系列赛中战胜最先进围棋AI的人类棋手。围棋界普遍认为,两子让先已经是人类对抗现代围棋AI的绝对边界,再让半子,几乎没有人认为人类还有胜机。这场系列赛因此被视为十年来人机对抗最重要的里程碑之一。

需要说明的是,让两子意味着申真谞执白,开局前对手已在盘上预置两枚黑子,表面看是AI让人类,但专业视角恰恰相反:面对一个每秒可做数万次蒙特卡洛搜索的引擎,人类执白两子仍能拿下整个系列赛,本身就是对人类上限的一次重新标定。评论普遍指出,申真谞是有史以来棋力最强的人类棋手,他复刻AI着法的精准度在现役棋手中首屈一指。换句话说,这场对抗更像是「最接近AI的人类」对阵「AI本身」,胜负的参考价值远高于普通人想象。

技术含金量:KataGo不是玩具

被击败的对手也绝非等闲。KataGo由David Wu主导开发,是当今公认最强的开源围棋引擎,多年霸占各类引擎对局榜单榜首,此番运行在四张Nvidia RTX-3090显卡上,总显存达96GB。有趣的是,社区注意到这个以C++编写的项目,近期提交中相当一部分代码由Claude辅助生成,一个用AI辅助开发的程序,输给了另一个最像AI的人类,这种嵌套式的戏剧性让讨论帖多了几分喜感。

从技术层面看,申真谞的胜负手发生在开局与中盘的关键阶段。棋评指出,他大胆采用了「飞行小刀」定式的一个超长复杂变体,这种变化动辄延续五十手以上,最终形成占据四分之一棋盘的均势局面,而由于黑棋预先让了两子,这个均势实际对白棋极为有利。评论者将其概括为极其保守的战略:不追求妙手,只求把让先优势一分不少地兑现。整个系列赛中,申真谞从未耗尽两子让先的缓冲,尤其后两局赢得相当从容。

象棋世界的对照实验

这场胜利也让人联想到国际象棋中的类似实验:顶级象棋特级大师在让一个马的条件下战胜顶级开源引擎Leela Chess Zero,同样被视为人类极限的证明。有研究者据此提出一个有趣的问题:人类最强与AI最强之间的差距,究竟有多少来自搜索深度的差异,又有多少来自棋理本身尚未被算法穷尽?围棋的合法棋局数量远超象棋,规则却更简单,这个悖论至今没有令所有人信服的答案。还有人指出,KataGo这类引擎并不擅长刻意利用对手弱点,如果专门训练一个「剥削型」引擎,人类让子获胜的难度还会更高。

从模仿AI到超越AI

赛后申真谞的一句总结被广泛引用:「与其模仿AI,不如按照自己的风格构筑棋局。」这句话在AI时代显得意味深长。过去十年,职业棋手全面转向研究AI着法,人类对局中的AI吻合度成为衡量水平的硬指标;而申真谞的胜利提醒人们:在AI给出的最高胜率着法之外,还存在由人类风格、心理与大局观构成的另一重博弈维度。正如一位评论者所言:「AI可以算出每一步的最优解,但它算不出下一盘棋的人类想下什么。」在通用人工智能的宏大叙事之外,这盘棋提供了一个微小而清晰的注脚。