If only genetic sequences were so finite. And what happens when researchers are developing a new protein that never existed before? Protein folding is NP-hard—even if P=NP is solved, protein folding may still be a challenge. It is likely that there will always be a need for software like this, and that the software will need periodic updates as new sequence behaviors come to light.
That said, as another comment points out, Google is merely stepping back from the AlphaFold project, which will continue without their funding or oversight.