GenRobot AI’s robot-training data business lands a reported $100 million · Digg