Physics-based atomistic simulation is already a common technique for studying biomolecules such as protein and DNA. However, many important problems are still out of reach of atomistic simulations, and protein folding is a prime example. In this talk, I will give an (incomplete and biased) overview of the field and discuss some theoretical challenges that call for innovative techniques for optimization and sampling.