早速ですが、ルービックキューブは23手以内で揃うと証明されました

余剰CPU時間を使ってルービックキューブは23手以内で揃うと証明∴/.J
つい一月ほど前に、「ルービックキューブは25手で完成可能!?∴更新を怠る日々」という記事で25手以内でそろうという記事を書きましたが、同じ方が23手以内でそろう事を証明しました。
今回はスパイダーマン3やSurf’s Upの制作に使われたレンダリング用のコンピュータのの余剰CPU時間を使い、約7.8コア・年分の計算時間をかけて証明したそうです。今のところの予想では20手くらいが限界との事ですので結構限界に近づいてきましたね。すげえのう。