The 87-year-old Jacobian conjecture has fallen to an AI-generated counterexample, verified by mathematicians within hours. We trace what the AI actually did, how far the result has been certified, and how the division of labor inside discovery is shifting.