There is no guarantee that a tractable method exists to analytically invert protein folding. Data-driven methods like alphafold may be the only option.
The article is fine. AlphaFold is widely regarded as "solving" protein folding.