Claude Fable 5 has produced a hand-checkable counterexample to the Jacobian conjecture, an open problem dating to 1939.
The conjecture says that a polynomial map with a constant non-zero Jacobian determinant must have a polynomial inverse.
An 87-year-old problem was casually solved by Fable 5 on a sunday evening. Insane times to live in.