Eigencube: A linear-algebra-based Rubik's Cube solver

Here is a video explaining the key ideas: https://www.youtube.com/watch?v=kRrK4VJBf2s&t=41s