Claude Fable 5 disproves 87-year-old Jacobian Conjecture

A mathematician used Claude Fable 5 during a World Cup final to produce a hand-checkable counterexample to the Jacobian Conjecture, an open problem since 1939. The conjecture states that a polynomial map with constant non-zero Jacobian determinant must have a polynomial inverse.