While the analysis of mean-field spin glass models has seen tremendous progress in the last twenty years, lattice spin glasses have remained largely intractable. I will talk about recent progress on this topic, giving the first proof of glassy behavior in the Edwards-Anderson model of lattice spin glasses.