Hasn't AlphaFold been used to make real discoveries for a few years now?