Simulations of lattice QCD should allow us to determine QCD properties as a function of temperature and matter density. But at non-zero matter density, they are plagued by the sign problem. I review the nature of this problem, and report on current progress to overcome it.