Well, that's why I put "figure out" in quotes; it would probably be closer to an evolutionary process. Some instance of an algorithm stumbles onto a simple process for generating proofs that it deems okay to submit, and never gets its power yanked for doing so because the algorithm fakes us out.