| ▲ | beering a day ago | ||||||||||||||||
I think parent’s point is that every false conjecture can cost a lot of time to be spent on futile affirmative proofs. So if we “clean up” a bunch of false conjectures, then more effort can be spent on interesting proofs of the others. (Probably a rather naive view of the value of conjectures but I’m just offering an alternative interpretation of the comment.) | |||||||||||||||||
| ▲ | nommynommynom a day ago | parent | next [-] | ||||||||||||||||
The opposing argument there is that the hope is that solving these problems reveals other interesting maths knowledge along the way. Finding a counter example all but ensures that won't ever happen. | |||||||||||||||||
| |||||||||||||||||
| ▲ | aureate 14 hours ago | parent | prev | next [-] | ||||||||||||||||
The Collatz conjecture is a question about positive integers, so enumerating and checking all the possible counterexamples is trivial, albeit requiring infinite time. It has been verified up to 2.36×10^21. It could turn out to be false, but nobody's going to find a counterexample as surprisingly simple as the one Claude found for the Jacobian conjecture, which would be like finding a Collatz counterexample in the first few billion integers or so. ... Or would it? The Jacobian counterexample seems like an especially simple, near-trivial integer-coefficient polynomial, but I haven't seen any thorough analysis of how "hard" it would have been to find by brute force, and I haven't seen Claude's reasoning. | |||||||||||||||||
| ▲ | jibal a day ago | parent | prev [-] | ||||||||||||||||
Did you read what you responded to? The Collatz conjecture is almost certainly not false, so no "clean up" is possible. | |||||||||||||||||
| |||||||||||||||||