[HarHarVeryFunny]

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.

[chermi]

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

[HarHarVeryFunny]

Yes, but in the AlphaFold documentary they did explicitly mention "solving" CASP as the target.