> The Collatz conjecture is almost certainly not false, so no "clean up" is possible.
Many people believed the same about the Jacobian Conjecture.
Many people believed the same about the Jacobian Conjecture.
Again, this is all non sequitur, because the context was a statement that most mathematicians believe the CC to be true, in which case there would be no "clean up".