无数棋手钻研棋法，寻找必胜之法。至廿一世纪初，依然没有报告指出有任何棋手未尝一败。但在博弈论中，可以通过数学归纳法证明如下定理（策梅洛定理）：任何能在有限步...