Oh yes there were. The Jacobian conjecture is "notorious for the large number of published and unpublished false proofs which turned out to contain subtle errors."

It's not quite the Reimann hypothesis, but many prominent mathematicians have spent years working on this problem. Yitang Zhang wrote his PhD thesis on it.

▲

hyperhello 9 hours ago | parent [-]

I shouldn’t, but:

F1 = x^3y^3z + 3x^2y^4 + 3x^2y^2z + 7xy^3 + 3xyz + 4y^2 + z

F2 = 3x^3y^2z + 9x^2y^3 + 6x^2yz + 12xy^2 + 3xz + y

F3 = -x^3z - 3x^2y + 2x

That’s the counterexample. Low integer coefficients, power 7 in three variables. If someone said it was there, couldn’t we all have written a pretty simple brute force solution for the search space, especially with the constraints that the symbolic determinant had to cancel to a constant?

	▲	traes 9 hours ago \| parent \| next [-]
		Honestly just try it. You'll figure out the problem very quickly.
	▲	elisbce 8 hours ago \| parent \| prev [-]
		I don't think you even understand the problem. The determinant needs to be a non-zero constant AND you need to prove that particular map is not globally injective, meaning you have to find at least two points mapping to the same value. Of course it looks easy when someone shows you the counterexample.