Elon Musk is in a legal fight with Microsoft but made a virtual appearance at the software giant’s annual developer conference to reveal that Microsoft's cloud computing platform will now host Musk’s artificial intelligence chatbot Grok. Microsoft also introduced a new AI coding tool at its Build developer conference in Seattle. Microsoft CEO Satya Nadella's keynote presentation was briefly interrupted by a protest over the company's work with the Israeli government.