With the Help of Codex: A Reproducible Proof Against the Jacobian Conjecture
11 hours ago
- The post presents a polynomial map from C³ to C³ with constant Jacobian determinant -2 that maps three distinct points to the same point, contradicting the Jacobian Conjecture.
- The map is credited to Levent Alpoge, and the post provides an independent symbolic verification using SymPy, with exact rational arithmetic and no floating-point numbers.
- Attached files (PDF and Python script) allow readers to reproduce the verification, which includes computing the Jacobian determinant, evaluating the map at three points, and solving for the fiber.
- The verification confirms F(0,0,-1/4) = F(1,-3/2,13/2) = F(-1,3/2,13/2) = (-1/4,0,0), with all three inputs distinct and no other solutions.
- The post emphasizes that this extraordinary claim requires independent reproduction and expert scrutiny, and provides clear instructions to run the script and verify the checksum.