Yes, they have a probabilistic model, not an analytical solution.

OTOH I don't think they made up the "solved" label - the CASP benchmark had always considered reaching the AlphaFold level of predictive accuracy (within error tolerance of our ability to experimentally verify via X-ray crystallography etc) as "solving" the problem.

CASP is explicitly structure prediction. That's not the folding problem.