In 2010, a group of mathematicians used a bank of supercomputers at Google to show any Rubik's Cube could be solved in 20 moves.