In this talk I will talk about Schoen and Yau’s positive mass theorem, which says that the total mass of an isolated system with positive energy density is positive. I will explain the physical motivation for the problem, Lohkamp’s compactification technique, and some approaches for solving the compactified problem.