The nice thing about math is that often it's much harder to find a proof than to verify that proof. So math AI is allowed to make lots of dumb mistakes, we just want it to make the occasional real finding too.
Unless we also ask AI to do the proof verification...
Why would you do that? Proof verification is pretty much a solved problem.
Both stupider and less deterministic, but also and smarter and more flexible. Like humans.
Maybe making (certain kinds of) math mistakes is a sign of intelligence.