I dont think your definition is accurate though. IQ tests like progressive matrices dont test only if you have good probabilistic models but how well you can identify the pattern in the matrices. If the patterns follow a minimum entropy distribution, there is only so much that falls to technique, and the technique is intuitive (prefer simple over complex); there is still the problem of raw computation that is guessing and rejecting.