7月17日，在首尔中区韩国经济TV演播室进行的“强数学·韩经棋神战”三局对抗首局中，世界排名第一的申真谞九段执黑受让两子、黑贴0.5目，经过4小时20分钟激战，弈至245手中盘不敌围棋人工智能KataGo。十年前还是人工智能向人类顶尖棋手发起挑战，十年后却是人类最强棋手受让两子挑战AI，攻守之势已然易位。
比赛为其配置了四块RTX 3090显卡，合计拥有96GB显存。申真谞每局拥有5小时基本用时和一次30秒读秒，KataGo没有基本时间，但每手棋必须在20秒内完成运算和落子。
只是KataGo开局即不按常理出牌。白棋第一手落在左上星位，申真谞在右下小目行棋后，KataGo随即在右上走出极其罕见的三间高挂，既像挂角，又像在右边分投。担任解说的韩国国家队主教练洪敏杓直言，下了一辈子棋也没有见过这样的招法。
面对这一变招，申真谞思考两分多钟后，以小飞守住右上角，明确选择实地路线。此后黑棋不轻易挑起战斗，棋形扎实，直至接近百手时仍保持领先。至中盘70手时，棋局出现重大转折，给了白棋发力的机会。实战中，白棋通过79手的虎下之后，黑棋实地损失惨重。之后，KataGo继续通过各处试探和搜刮，一点点蚕食黑棋优势，双方差距不断缩小。
行至第102手，感受到压力的申真谞在中腹骤然发力，试图围歼白棋大龙。若对手是人类棋手，面对大龙生死和外围压力，难免出现判断波动；谁知KataGo早已算清脱身之路，白大龙从容腾挪，顺利治孤。申真谞本欲屠龙扭转走势，反而使原本稳固的局面出现破绽，先行优势一朝化为乌有。
落入下风后，申真谞已无法继续原先的稳守方针，只能在各处强行挑起战斗。但KataGo应对精准，既不给黑棋明确的攻击目标，又不断在转换中获利。黑棋越是用强，双方差距反而越拉越大，后半盘一度接近30目，胜负渐渐没了悬念。申真谞坚持至245手，最终投子认输。
此次对抗被视为围棋史上第三次标志性“人机大战”。2016年，李世石九段在首尔以1比4不敌AlphaGo，但在第四局留下了载入史册的一胜；2017年，柯洁九段在乌镇以0比3告负。此后，AI从人类的挑战者变成职业棋手日常研究和训练的老师，围棋界关注的问题也从“人工智能能否战胜人类”，变成“人类受让几子才能与AI抗衡”。
本次对抗无论胜负均下满三局。申真谞每局获得5000万韩元对局费，每胜一局另获5000万韩元；若取得两胜以上，还将获得一辆捷尼赛思G90轿车。
后两局分别于7月19日、21日北京时间上午9:00进行。届时，请关注野狐围棋，我们将继续为您带来直播评述。
