{"schema_version":"source-reader-v1","record":{"source_id":"jacobian-conjecture-witness","versions":[{"work":{"authors":["ULAM research manuscript (no author named)"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"self_reported","ai_note":"The manuscript cites Levent Alpöge’s announcement, credits Akhil Mathew for asking the question and Fable for the work leading to the example. No named author is printed on this verification manuscript; these discovery credits are not its bibliographic authorship.","artifacts":[],"published":{"value":"2026-07-20"}},"id":"jacobian-conjecture:source:witness:v2","source_id":"jacobian-conjecture-witness","title":"A Counterexample to the Jacobian Conjecture","owner":"ULAM research manuscript (no author named)","url":"https://www.ulam.ai/research/jacobian.pdf","subject_scope":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","revision":"2026-07-20","content_sha256":"fcc91582150fa5ed7914bce443080c926771378b8e9bea7b9c2b866ddc6419b2","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-20","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://www.ulam.ai/research/jacobian.pdf","attribution":"ULAM research manuscript (no author named)","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}],"entries":[{"id":"jacobian-conjecture:entry:witness:v2","source_version_id":"jacobian-conjecture:source:witness:v2","item_id":"witness","url":"https://www.ulam.ai/research/jacobian.pdf","wording":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","wording_kind":"paraphrase","locator":"Explicit map and verification of determinant and fiber","supersedes":"jacobian-conjecture:entry:witness:v1"}],"problems":[{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8}],"selected_version_id":"jacobian-conjecture:source:witness:v2","available_versions":[{"id":"jacobian-conjecture:source:witness:v2","revision":"2026-07-20","observed_on":"2026-10-13","title":"A Counterexample to the Jacobian Conjecture","publication":"preprint","content_sha256":"fcc91582150fa5ed7914bce443080c926771378b8e9bea7b9c2b866ddc6419b2","used_in_current_publications":true},{"id":"jacobian-conjecture:source:witness:v1","revision":"2026-07","observed_on":"2026-10-13","title":"An explicit Jacobian counterexample","publication":"preprint","content_sha256":"fcc91582150fa5ed7914bce443080c926771378b8e9bea7b9c2b866ddc6419b2","used_in_current_publications":false}],"usages":[{"id":"source-use-881d696741414167b190","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"assessment","title":"Explicit three-variable counterexample","claim":{"id":"claim-jacobian-polynomial-inverse","version":3,"slug":"jacobian-polynomial-inverse","title":"Constant Jacobian implies a polynomial inverse"},"fragment":"claim-jacobian-polynomial-inverse","assessment":{"id":"jacobian-conjecture:report:counterexample:v2","entry_id":"jacobian-conjecture:entry:witness:v2","state":"refuted","source_label":"Explicit three-variable counterexample","scope":"The all-dimensions complex Jacobian conjecture.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://www.ulam.ai/research/jacobian.pdf","supersedes":"jacobian-conjecture:report:counterexample:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-653ac47aed89499262f3","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"construction","title":"Exact polynomial map and repeated fiber","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0d25b9603364e7a60f65","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"formalization","title":"Lean: the three-point fiber","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":{"title":"Lean: the three-point fiber","url":"https://github.com/alerad/alpoge-lean/blob/b8eec94711a9b73151929b78cbd7cb999a008590/Alpoge/Basic.lean","note":"The polynomial witness is source-reported complete; OpenMath has not built it. The project also proves jacobian_det and not_injective.","target":{"id":"claim-jacobian-three-point-fiber","version":3},"proof_status":"reported_complete","source_entry_ids":["jacobian-conjecture:entry:witness:v2","jacobian-conjecture:entry:analysis:v2","jacobian-conjecture:entry:lean:v1"],"declaration":"Alpoge.three_point_fiber","source_commit":"b8eec94711a9b73151929b78cbd7cb999a008590","alignment":"staff_linked","checked_on":"2026-10-13"},"update":null},{"id":"source-use-734f99a1aab6c2e6fc28","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"milestone","title":"Explicit three-variable counterexample","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7dd9d0f6d2d76aad038f","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"question","title":"Jacobian conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-75497ac64606ff28915c","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-82e848c4bb22f1859c7c","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"Constant Jacobian implies a polynomial inverse","claim":{"id":"claim-jacobian-polynomial-inverse","version":3,"slug":"jacobian-polynomial-inverse","title":"Constant Jacobian implies a polynomial inverse"},"fragment":"claim-jacobian-polynomial-inverse","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-be9ffbc11d01846094c0","entry_id":"jacobian-conjecture:entry:witness:v2","problem":{"slug":"jacobian-conjecture","title":"Jacobian conjecture","publication_version":8},"kind":"statement","title":"A constant determinant with three inputs sharing an output","claim":{"id":"claim-jacobian-three-point-fiber","version":3,"slug":"jacobian-three-point-fiber","title":"A constant determinant with three inputs sharing an output"},"fragment":"claim-jacobian-three-point-fiber","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[{"id":"jacobian-conjecture:entry:analysis:v2","source_version_id":"jacobian-conjecture:source:analysis:v2","item_id":"analysis","url":"https://arxiv.org/abs/2608.00222v1","wording":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","wording_kind":"paraphrase","locator":"Introduction and analysis of the counterexample","supersedes":"jacobian-conjecture:entry:analysis:v1"},{"id":"jacobian-conjecture:entry:lean:v1","source_version_id":"jacobian-conjecture:source:lean:v1","item_id":"lean","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","wording":"The source proves constant formal polynomial Jacobian determinant, a three-point fiber, and failure of a polynomial inverse for the recorded Jacobian conjecture statement.","wording_kind":"paraphrase","locator":"README trust boundary; Alpoge/Basic.lean and Alpoge/FormalConjectures.lean","supersedes":null},{"id":"jacobian-conjecture:entry:witness:v2","source_version_id":"jacobian-conjecture:source:witness:v2","item_id":"witness","url":"https://www.ulam.ai/research/jacobian.pdf","wording":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","wording_kind":"paraphrase","locator":"Explicit map and verification of determinant and fiber","supersedes":"jacobian-conjecture:entry:witness:v1"}],"linked_sources":[{"work":{"authors":["Shuhong Gao"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"not_reported","ai_note":"No AI contribution is asserted by this source record.","artifacts":[],"published":{"value":"2026-07-31"}},"id":"jacobian-conjecture:source:analysis:v2","source_id":"jacobian-conjecture-analysis","title":"Counterexamples to the Jacobian conjecture in dimensions greater than two","owner":"Shuhong Gao","url":"https://arxiv.org/abs/2608.00222v1","subject_scope":"Algebraic analysis of the three-variable counterexample, including its non-injectivity; the two-dimensional complex case remains open.","revision":"2026-07-31","content_sha256":null,"update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-31","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://arxiv.org/abs/2608.00222v1","attribution":"Shuhong Gao","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["alerad/alpoge-lean project"],"kind":"research_project","publication":"project","publication_note":"Public formal source; build and independent mathematical review are separate checks.","ai_role":"self_reported","ai_note":"The project reports an AI-assisted formalization and computer-algebra workflow; this is distinct from the original discovery.","artifacts":[{"kind":"formal_code","title":"Alpöge counterexample in Lean — pinned source","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","version":"b8eec94711a9b73151929b78cbd7cb999a008590","assessment":"not_executed","note":"Public source inspected for statement and assumptions; this proof project has not been executed by OpenMath."}],"published":{"value":"2026-07-23"}},"id":"jacobian-conjecture:source:lean:v1","source_id":"jacobian-conjecture-lean","title":"Alpöge counterexample in Lean","owner":"alerad/alpoge-lean project","url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","subject_scope":"The source proves constant formal polynomial Jacobian determinant, a three-point fiber, and failure of a polynomial inverse for the recorded Jacobian conjecture statement.","revision":"b8eec94711a9b73151929b78cbd7cb999a008590","content_sha256":"2cdfa772891c7b7f815c23039de71b971e02beada5fa4fad63350d3b2887a372","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-23","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://github.com/alerad/alpoge-lean/tree/b8eec94711a9b73151929b78cbd7cb999a008590","attribution":"alerad/alpoge-lean project","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90},{"work":{"authors":["ULAM research manuscript (no author named)"],"kind":"research_paper","publication":"preprint","publication_note":"Public manuscript or exposition; publication does not imply independent OpenMath review.","ai_role":"self_reported","ai_note":"The manuscript cites Levent Alpöge’s announcement, credits Akhil Mathew for asking the question and Fable for the work leading to the example. No named author is printed on this verification manuscript; these discovery credits are not its bibliographic authorship.","artifacts":[],"published":{"value":"2026-07-20"}},"id":"jacobian-conjecture:source:witness:v2","source_id":"jacobian-conjecture-witness","title":"A Counterexample to the Jacobian Conjecture","owner":"ULAM research manuscript (no author named)","url":"https://www.ulam.ai/research/jacobian.pdf","subject_scope":"An explicit three-variable polynomial map has constant determinant −2 and a fiber containing three distinct rational points.","revision":"2026-07-20","content_sha256":"fcc91582150fa5ed7914bce443080c926771378b8e9bea7b9c2b866ddc6419b2","update_method":"Source comparison followed by a new immutable curation revision.","identifier_policy":"Stable source and entry identities; changed wording receives a new version.","observed_on":"2026-10-13","source_updated_on":"2026-07-20","rights":"metadata-link","license":"Original document rights remain with its authors.","terms_url":"https://www.ulam.ai/research/jacobian.pdf","attribution":"ULAM research manuscript (no author named)","rights_note":"OpenMath supplies original paraphrases and links; no proof text is republished.","check_interval_days":90}]}}