No, they didn't. They approximated a solution to protein folding. The two are different concepts -- this isn't the typical HN pedantry. "Solving" the problem would entail developing an interpretable algorithm for taking a string of amino acids and determining the 3D structure once folded. Approximating a solution would entail simulating that algorithm, which is what their neural network is doing. It is of course usua…
It looks like you'd like a grokable solution, but the problem might be just too complex to grasp for the human brain. "Solved" means they solved the protein puzzles on the official benchmark.
> but you would expect this with any suitable universal function approximator
Yeah, it's just that easy. Function approximator, engage! It took a team of Deep Mind researchers, two years and God knows how much compute. The universal function approximation theorem doesn't also say how to find that network.