Yes, especially when the counterexample is formally verified. It converts years of speculative effort into a definite answer almost immediately