オセロって、必ず引き分けにできることが総当たりで証明されたのでしょうか?
以前6x6の場合には完全手順を計算機が読み切ったと報じられていましたが。