Grok 3, which Musk’s AI outfit introduced earlier this year, will be available on Microsoft’s cloud-computing platform, the company said Monday.