With the Help of Codex: A Reproducible Proof Against the Jacobian Conjecture