Comment by krackers

The surprising thing is that the counterexample seems relatively "simple" in that it's low degree, with coefficients that aren't too large.

Does anyone more familiar with this know why this _wasn't_ found earlier, when it seems like you could brute-force through some low-order polynomials?