Parity of k-differentials in genus zero and one

Parity of k-differentials in genus zero and one

Model / AI: AxiomProver

Axiom Math's AxiomProver proved the Chen-Gendron parity conjecture unconditionally by finding a Jacobi-symbol reformulation; only the key combinatorial identity is formalized in Lean, with the number-theoretic reduction and the geometry checked by the human co-authors.

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

• Paper — Parity of k-differentials in genus zero and one