For example, if the models are jumping around quite a lot, making guesses until they get lucky, then there will be less…

For example, if the models are jumping around quite a lot, making guesses until they get lucky, then there will be less to be learned from failed attempts than if they are arriving at proofs by a gradual process of modification of an initially proposed argument.