The less efficient you can make the process, the less you make it attractive to put resources into scaling it. Focus on making them generate the types of proof that aren't as easy to fabricate or at least give them as little information about why their initial approach failed as possible by playing along for a while after you catch on so they can't figure out how they got caught.