lean.golf
hole10

jacobian

hard

Keller's Jacobian conjecture (1939): a polynomial map whose Jacobian determinant is a nonzero constant has a polynomial inverse. It stood for 87 years until Alpöge posted an explicit counterexample in three variables in July 2026. Refute the conjecture.

tactics allowed
10 bytes · 10 chars