The computational bottleneck
Bayesian inference turns a forward model and observed data into a probability distribution over parameters. In simple textbook examples, evaluating the likelihood is almost free. In many real inverse problems it is the dominant cost: one call may require solving differential equations, generating a waveform, running a simulator, or processing a large dataset before it can be compared with the observation.
This problem is not specific to cosmology or even to physics. It appears whenever inference sits on top of an expensive numerical model—in engineering design, computational biology, climate modelling, materials science, and other simulation-driven fields. Standard MCMC and nested-sampling methods may need tens of thousands or millions of likelihood evaluations. They are excellent general tools, but they cannot create a computational budget that is not there.
The difficulty is also statistical. A useful algorithm must locate the small region of parameter space supported by the data, resolve correlations and multiple modes, estimate uncertainty, and recognise invalid regions where the underlying solver fails. Simply evaluating a coarse grid is inefficient in more than a few dimensions, while blindly fitting a global approximation can be dangerously confident where little information exists.

Learning a posterior under a fixed budget
The approach I work on treats likelihood evaluations as a limited experimental resource. A Gaussian process learns the log-posterior from the points evaluated so far and returns both a prediction and an uncertainty. That uncertainty matters: it distinguishes a low posterior region that has genuinely been ruled out from one that is merely unexplored.
An active-learning acquisition rule then decides where the next expensive calls should be made. Useful candidates are not simply the locations with the largest predictive variance. They should be capable of changing the reconstructed posterior—because they lie near probable mass, expose an uncertain boundary, or reveal a mode the current surrogate has not resolved. Evaluations are added iteratively until changes to posterior samples and summary quantities become small.