世界一の数独に8時間もかかってまだ解けないでござる

数学のエキスパートが3ヶ月かけて作成した「世界一難しい数独」 - GIGAZINE

メモ (セーブポイント作成) 用の付箋が10枚以上消費され、同じところを数度往復してもまだ終わりません。

探査の末尾でケアレスミスをやるのが本当に怖いです。というのも、大きくロールバックして4段くらい仮定を巻き戻し、そして別の仮定に飛び込んでもそれは失敗を約束されているのです。

でも、まだあきらめない