以前、KataGoが解けなかった詰碁がありましたが、新しくリリースされたKataGoを使ったら黒3で正しい手をブルースポットで表示させることができました。
ただしこれは黒3の時点で分かっているのではなくて、少し手順を進ませて2子にして捨てる手からの変化が有効であることをKataGoが察知して、その情報を再利用するような感じになっています。

情報掲示板では画像が表示されなかったので、こちらに投稿しました。