Rubik's Cube Now Solvable in 20 Moves
A few years ago we reported that it had been proven that Rubik's Cubes could be solved in 23 moves. Well now that number is
down to just 20. Proving it required 35 years of computer time donated by Google to get it done.
I know it won't stem the tide, but this is good research. I'm sure there are a million other algorithms in the world that can benefit from this. Shortcuts they had to invent to make sure they were using minimal processing time, full understanding of how much money and time it really took to get this process done to make other projects more practical, etc etc. This sort of thinking, even if silly on its own, has a broad range of applications.