81マス中16以下のマス目を指定しただけで一意解を決めることができる数独は発見されず、17は最小であるという状況証拠が固められつつあった。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

定理はまだ確立されていなかったのであるが、2012年、数独の答えが１通りに限られるためには最小限17個の数字が与えられなければならないことが証明されました。

17個より少なければ解けません。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝