The pharmaceutical industry has been betting on AI-designed vaccines for years. Now, it has human data to back it up.