Is this something people have been actively trying to disprove? The example provided seems to not be hard to bruteforce - given it's only 5 moves. Does anyone know why there's no older counter example? (Or am I totally underestimating how the number of options explodes in 5 moves?)