Не кратчайшее, а длиннейшее (если решать оптимальным алгоритмом). Это только доказательство, что не существует позиций, которые можно решить только за большее количество ходов. Недавно появилось доказательство уже для 23 ходов.
А на деле все позиции решаются быстрее. Проблема в том, что так как их квинтиллионы, то все позиции не проверить, за сколько они решаются, и неизвестно, сколько позиций требуют решения более чем 20 ходов и есть ли они вообще. Сейчас известна только одна позиция, требующая решения в 20 поворотов, остальные, какие ни рассматривали, можно решить за меньшее.