Kann KI einen 4x4x4 Rubik Würfel lösen?