ルービックキューブはどんな状態(No position)にあったとしても必ず25手で完成させることが 可能だという証明ができたとのこと。これまでは昨年発表された26手が最短だったようだ。 最後は20億通りの組み合わせをPCで解析したようだが、その前の段階で200億…