Jacobian conjecture in characteristic zero

Jacobian conjecture counterexample

Model / AI: Claude Fable 5

Levent Alpöge and Claude Fable 5 produced an explicit three-dimensional map disproving the characteristic-zero conjecture; checking it is a short computation, confirmed by Tao and others, and formalized in Lean by Lezeau against a conjecture statement written down before any counterexample existed. Gao later gave counterexamples in every dimension above two. The two-dimensional case stays open.

Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.

• Context — Jacobian conjecture counterexample
• Lean — formalized in Lean by Lezeau
• Paper — every dimension above two