How AI Solved Protein Folding and Won a Nobel Prize