In March 2008, I commented on a Stanford-trained mathematician (Tomas Rokicki) who proved that it was possible to solve any scrambled Rubik’s cube in just 25 moves. The equipment used to do this was computer with 8GB and a Q6600 CPU.
Now a mere 3 months later, he has returned with an updated proof that shows it can be down in just 23 moves. He traded his previous computer for the supercomputers at Sony Pictures Imageworks and carried out his testing in the idle-time between productions.
I sense it will not be long before we hear from him again.