广义相对论被证明了吗