Jacobian conjecture - Wikipedia
The Jacobian conjecture states that for every N>=1, every characteristic 0 field K and every polynomial function F:K^N->K^N, if J_F is a non-zero constant then F has a polynomial inverse G:K^N->K^N.
The conjecture was recently shown to be false for all N>2, but the case N=2 is still open.
This market resolves YES if there is a proof that the conjecture holds for N=2, and NO if there is a proof that the conjecture does not hold for N=2.
If there is a non-constructive proof that the conjecture is false (but with no explicit counter example), it still resolves NO.
If this problem turns out to be independent of ZFC it will resolve N/A.
1,000@EvanDaniel it's meant to resolve whenever we find a proof for either the conjecture or its negation, no specific counter example needed, just added clarifications in the description