Did you read what you responded to? The Collatz conjecture is almost certainly not false, so no "clean up" is possible.

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

Many people believed the same about the Jacobian Conjecture.