Big pharma turns to AI to speed drug discovery, GSK signs deal