Just in time for All-Star Game, MLB signs AWS as official AI provider