I am talking about cube theory. Solving it isn’t that hard unless you want to be super efficient. But formalizing it in way you can then reason about seems very hard to me.
I remember after a few weeks I figured out a move that could swap two pieces without other changes or something like that (don't remember the details). It was horribly inefficient but it did the job.
