Kann KI einen Pyraminx lösen?