Has there ever been a mathematical conjecture that appeared true due to Heuristic justification but eventually was shown to be the opposite by a far outlying counterexample?