Uber is giving Carnegie Mellon’s robotics lab $5.5 million after ransacking it for talent