Ozempic’s Maker Is Using AI to Try to Discover the Next Big Weight-Loss Drug Faster