> The Collatz conjecture is almost certainly not false, so no "clean up" is possible.

Many people believed the same about the Jacobian Conjecture.