http://science.slashdot.org/article.pl?sid=08/03/26/2237221 ルービックキューブはどんな状態からでも最短25手で解けることがわかった、っていうslashdotの記事。ちょっとずつ縮んでいるのが面白いなーと思った。もっとカッチリ証明されてそうなイメージ…