Mathematician here. AI is very good. Better than me now. My guess is that most of the times it's easy to show that a counterexample is a counterexample, instead a long proof can be misclassified as slop.