Related:

Claude Fable produced a counterexample to the Jacobian Conjecture

https://news.ycombinator.com/item?id=48973869

Human mathematicians are being outcounterexampled

https://news.ycombinator.com/item?id=48983382