Microsoft has made significant investments in Bing in recent years, with improvements in its search algorithms and user interface. Bing has also been integrated into other Microsoft products, such as Windows, Office, and Edge. This integration could lead to more users using Bing as their default search engine, especially once they've given up on changing their default browser back to Chrome from Edge.

Duplicate market: https://manifold.markets/ScottLawrence/will-bing-surpass-google-by-2030

Is the case here that OpenAI is incorporated into Bing?