Selected research history · publication v6
Follow the ideas, results and limitations over time. This is a selected history, not a complete literature survey or a measure of how close the problem is to being solved.
Current state & remaining question →Viewing the timeline from pinned publication v6.
4 selected milestones · Source coverage checked 2026-10-13 · Historical annotation and mathematical review remain separate.
Foundation
The classical question asks whether a constant nonzero polynomial Jacobian forces global polynomial invertibility.
Scope & review: The question depends on the field and dimension.
Historical annotation review: pending. The date refers to the publication, with the precision supported by the source.
Proposal
The cited manuscript records Alpöge’s announcement, Mathew’s question and Fable’s contribution to finding the displayed witness.
Scope & review: Credits concern discovery; independent OpenMath mathematical review is pending.
Historical annotation review: pending. The date refers to the announcement, with the precision supported by the source.
Formalization
A public Lean revision proves the determinant, fiber collision and failure of polynomial inversion.
Scope & review: A source build report is not an OpenMath execution; analytic identification is outside the formal scope.
Historical annotation review: pending. The date refers to the formalization, with the precision supported by the source.
Assessment
Shuhong Gao analyzes the counterexample and its algebraic structure.
Scope & review: This is a separate contribution, not the original discovery.
Historical annotation review: pending. The date refers to the publication, with the precision supported by the source.