Elon Musk and Grimes are dating thanks to a super nerdy joke