A rigorous result on many-body localization

I will discuss a proof of many-body localization for a one-dimensional spin chain with random local interactions. The proof depends on a physically reasonable assumption that limits the amount of level attraction in the system. This is joint work with Tom Spencer.