I think the editor themselves misunderstood the conjecture.

UPD: The edit got reverted and there's this on the talk page now: https://en.wikipedia.org/wiki/Talk:Jacobian_conjecture#c-DaR...

UPD2: There are edit wars happening now: https://en.wikipedia.org/w/index.php?title=Jacobian_conjectu... https://en.wikipedia.org/wiki/Talk:Jacobian_conjecture#c-Sea...

This is nonsensical: Properness of the map is equivalent to its being an isomorphism (quick proof: Jacobian invertible implies that the map is etale, and properness would imply that it is finite etale, but affine space doesn't admit non-trivial finite etale covers), so the lack of properness is just another way of verifying that this is indeed a counterexample.

[flagged]

The author has a PhD in math from Cambridge. If it turns out to be a false claim it is an interesting case study on AI's sycophancy causing even experts to drop their guard and make mistakes.

I'd rather wait for independent seasoned mathematicians to verify such claims first before someone at said AI lab posting a claim about solving a proof online.

Let this be a lesson to those who fell for such AI psychosis and to not believe everything you see on the internet as real.