3×3のルービックキューブにおける『God's Number(ゴッズナンバー)』は最大何手(最低手数で解ける最大値)であると2010年に確定されたか?
正解は20手です。2010年、トマーシュ・ロキツキ(Tomas Rokicki)らを中心とした研究チームが大量の計算資源と群論的対称性の利用により、3×3ルービックキューブの任意配置は最大でも20手で解ける(face-turn metricや半回転も含めた標準の手数概念での解釈で)ことを示しました。これがいわゆるGod's Numberの確定で、以後どの配置でも20手以内で必ず解けることが証明されています。研究は計算機援用による厳密証明の好例です。