He's an INTj-ENTp, a member of the spacetime rational temperament. (collectively, "XNTx")
Other members of this temperament...
Albert Einstein, ENTp-INTj
Jacob Bekenstein, INTj-ENTp
Others forthcoming... but I suspect that just about everybody who works with relativity theory specifically is one of these four types.