人間が数独を解くと
ある局面で判明する数字は一部だけに限られる
ところがソルバーが解くと全てが判明する
人間が「この数独の問題この局面まで進んだけどここからどうすればいいの？」に対してソルバーは役立たない