Okay but the Collatz conjecture is a little different in that there can't just be a one-off counterexample: it's a statement about a sequence. The counterexample would have to be either a cycle (that excludes 4/2/1), or a sequence of numbers that keep spiraling up indefinitely. And they've proven that any cycle would have to be very long[1]. Either way, it would mean trivially unlocking a sequence of numbers that happens to satisfy a very specific criterion.

[1] https://en.wikipedia.org/wiki/Collatz_conjecture?useskin=vec...