Astronomers have directly measured the mass of a dead star using an effect known as gravitational microlensing, first predicted by Einstein in his General Theory of Relativity, and first observed b…