Source authenticated

The Separable Jacobian Conjecture in Characteristic 2

the counterexample to the original Jacobian conjecture does not specialize to characteristic 2; this is a modification that does

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Jul 23, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: The Separable Jacobian Conjecture in Characteristic 2 · Separable Jacobian (char 2)

Confidence: Not scored

Registry verification: site confirmed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Irit Huq-Kuruvilla
human · human collaborator

ChatGPT 5.6 Sol
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: The Separable Jacobian Conjecture in Characteristic 2

specialist registry · passed

The counterexample is a three-line explicit polynomial map; the non-injectivity is witnessed by three distinct source points and the Jacobian determinant is a direct computation, both checkable by hand. Single-author arXiv note, not yet peer-reviewed.

Source ↗

Dimension-two counterexample, Lean kernel-checked (Mondello)

independent reproduction · passed

independent link supplied by the VibeMathed registry.

Source ↗

The Separable Jacobian Conjecture in Characteristic 2

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

This event attributed to Irit Huq-Kuruvilla

This event attributed to ChatGPT 5.6 Sol

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem