Simplicial volume of closed locally symmetric spaces of non-compact type

We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow from positivity of the simplicial volume.