The part that I was referring to was the last statement from the OP: that "a proof of existence of a counterexample necessarily provides more insight than a counterexample". I can't imagine a constructivist would agree with that in general.
The part that I was referring to was the last statement from the OP: that "a proof of existence of a counterexample necessarily provides more insight than a counterexample". I can't imagine a constructivist would agree with that in general.
Whereas a counterexample, on its own, proves the proposition false but doesn't necessarily tell you anything else.
The real difference in the constructive case is that there are fewer classes of proposition for which a proof without witnesses is possible.
(Edit: side note, I didn't explicitly say "necessarily" in my original comment. I suppose there could be exceptions, although I'm struggling to think of an example. Constructively speaking, the ball is in your court!)
In this case, I think part of the problem is that there was kind of no good reason to think the Jacobian conjecture was true in > 2 dimensions other than it being kind of hard to find counterexamples. So a really interesting disproof would be one that, e.g., was able to exhaustively classify the counterexamples, or showed why it seemed in practice to be hard to come up with functions violating the conjecture. AFAIK, this doesn't really accomplish either of those things, not even after you learn the procedure that constructed the function -- it kind of tells you why we should have expected to find a counterexample but not how rare such counterexamples are.