If it's gaming the system, then it's much less likely to reliably come up with novel proofs or useful new theoretical ideas.