Problem detail · source-aware

The Separable Jacobian Conjecture in Characteristic 2

resolvedconfidence 70%

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Adjamagbo's positive-characteristic refinement of the Jacobian conjecture asks that a polynomial endomorphism with unit Jacobian determinant whose induced function-field extension has degree prime to the characteristic be an automorphism. It is false: an explicit $F: \mathbb{A}_k^3 \to \mathbb{A}_k^3$ over any field of characteristic $2$ has Jacobian determinant identically $1$ and function-field degree $3$, yet is not injective.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

ChatGPT 5.6 Sol

The AI usage section states that the text is the result of a discussion with ChatGPT 5.6 Sol, with conversation transcripts available on request, and that the proof itself was verified as correct by the named author.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

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.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. arXiv:2607.20968 - An Explicit Characteristic-2 Counterexample to the Separable Jacobian Conjecture

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

Known method families

construction (source-reported)

Source-reported tools: construction.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.