“Elon Musk has a history of overpromising and underdelivering on his stated goals for AI and robotics.”