With the Help of Codex: A Reproducible Proof Against the Jacobian Conjecture | Dark Hacker News