  We review recent mathematical results concerning the high-frequency solutions
to the Einstein vacuum equations and the limits of these solutions. In
particular, we focus on two conjectures of Burnett, which attempt to give an
exact characterization of high-frequency limits of vacuum spacetimes as
solutions to the Einstein-massless Vlasov system. Some open problems and future
directions are discussed.
