Yeah it's also specifically trained to disprove Jacobian conjectures, and so on...