Microsoft Bets $80B on AI Leadership