Claude Fable 5 disproves 87-year-old Jacobian Conjecture

The model produced a hand-checkable counterexample to the Jacobian Conjecture, an open problem since 1939. The conjecture is #16 on Smale's list of 18 mathematical problems for the 21st century. Full verification is pending but the computation is simply checkable.