## Spacetime positive mass theorem

Abstract: The spacetime positive mass theorem says that an asymptotically flat initial data set with the dominant energy condition must have a timelike energy-momentum vector, unless the initial data set is in the Minkowski spacetime. We will review backgrounds and recent progress toward this statement.