Negatively curved Einstein metrics on closed manifolds

We show that in dimension every dimension at least four, there exist infinitely many closed manifolds that admit an Einstein metric with negative sectional curvature, but that do not admit any locally symmetric metric. These are the first examples of such manifolds in dimensions at least five. If time permits, we quickly mention other results obtained in Project 51.