飞刀定式

第12手断（传统断在a位）

飞刀定式是一类围棋定式的统称，因后续分支绵长复杂，对弈双方争夺激烈而得名。

它由Tromp-Taylor规则下的零知识围棋AI发现，人类棋手深入研究的一类星位定式，是围棋发展到AI时代发现的最大型的定式。

定式特点

1. 复杂定式

据统计截至2019年3月前后共计有680余种分支^[1]。目前对其变化分支仍然没有简明的结论，且分支数量仍在增加之中。与之相比，人类棋手发现的复杂定式在分支数量上远少于该定式。

2. 全局定式

该定式弈至芈氏飞刀时，往往会将棋盘铺陈过半，其他三个角部的子力配置亦影响定式的变化发展。

3. 胜负优先

AlphaGo发现并推广应用的星位布局和三三入侵手段，推动了人类棋手对星定式中点三三变化的深入研究。

Facebook的ElfOpenGo项目与2019年2月释出的权重会在高算力的情况下高频使用芈氏飞刀^[2]。

虽然AlphaGo公开资料与对弈情况中并未出现该定式，随着公开可获得的围棋AI进展，LeelaZero项目出现了与AlphaGo选择避开定式的相同走法。LeelaZero从ElfOpenGo公开棋谱中习得该定式并超过Elf系列权重，至266号权重会在普通算力情况下（1600 playouts）大量使用该定式并且以此定式在同算力情况(大于100k计算量)下击败KataGo G170系列的20B权重。

含有额外围棋领域知识的AI:KataGo目前没有独立发现该定式。由于使用目数策略，使得KataGo对后续变化的探索倾向较低，不熟悉该定式变化。这一认知情况与人类棋手对该定式的认识过程类似。

定式研究与发展

1. 小目骗招

图1 小目演变

小目定式之一，一般当作骗招教学。

在1989年首届应氏杯对局中，聂卫平决赛对战曹薰铉五番棋中，第二^[3]、第五^[4]局使用定式的前几手，到黑7时，曹执黑挺头(a位长)，没有选择该变化。聂认为开局没必要下的激烈，于自己的棋风有利。

2. 星位场合着法

图2 星位演变

三三入侵小飞应后，黑7退长硬封白棋

20世纪80年代，黑5小飞应三三入侵开始流行^[5]，当时棋手认为黑棋挡住就很不错了，没必要过早开展波及全局的战斗。较早发动争夺是不通棋理的表现。

3. AI研究

图3 小飞后托扳

AI时代引发了职业棋手对星定式的研究热潮，其中三三侵角后的短手数AI定式获得了棋手认同与实战应用。

当黑5小飞，白在征子有利的情况下，采用白6二路托（AlphaGo有此时脱先的处理）。

芈氏飞刀是飞刀定式中稳定出现的棋型，其后的变化最为复杂难解（参见LeelaZ晋升谱20200219^[6]）。芈氏飞刀是人类棋手在AI研究的基础上领先公开AI一步发现的定式。

芈氏飞刀

芈氏飞刀是19路围棋中，飞刀定式的大型变化分支。当飞刀定式走至防守方外扳时，该棋型称为芈氏飞刀。其后对弈双方争夺激烈，棋盘铺陈过半仍然胜负难解。

芈昱廷对飞刀定式的深入研究与实战应用成果，大大推动了棋坛对飞刀定式的认识和使用，并使芈氏飞刀成为人类围棋棋手对抗AI围棋棋手的重要手段。

在2018年8月1日中国名人战半决赛，芈昱廷执白对童梦成的比赛中，星位点三三的定式下出了扳的新手(下图第20手)，其后整个黑角被吃，甚至造成当时在野狐围棋分析情势的绝艺 AI 误判角落的对杀。之后这一手及其后的变化在职业比赛中流行，被媒体命名为“芈氏飞刀”^[7]^[8]。

第20手外扳即为芈氏飞刀，以前的下法通常是虎在a的位置

该变化在次月即2018年9月，引发了职业棋手的研究热潮和实战应用。虽然2017年7月李世乭在农心杯已经下出断打（不走20扳而在b位断）^[9]。但芈昱廷对外扳棋型的深入研究和职业赛中的实战成果，及至业余网络围棋中流行后，中国棋坛称“小芈飞刀”“芈氏飞刀”，简称“芈刀”。芈氏飞刀作为飞刀定式最大型的变化，往往有混用指称的情况。