Did they? From what I heard, transformer models gave scientists better starting points for computational methods, but we're still far from solving the protein folding problem.