New MAI thinking model released by...?

This market will resolve to "Yes" if Microsoft releases a successor to MAI-Thinking-1 that is made available to the general public by the specified date (ET). Otherwise, this market will resolve to "No." A “successor to MAI-Thinking-1” refers to any model explicitly designated by Microsoft as part of its MAI (Microsoft AI) model family and as a thinking or reasoning model, or presented as Microsoft’s next general-purpose reasoning model or widely regarded as the successor to MAI-Thinking-1. Task-specialized models, cost-efficiency variants, or similar releases will not count unless they are explicitly designated as thinking or reasoning models or widely regarded as successors to MAI-Thinking-1. Products outside of the MAI family or not designated as thinking or reasoning models will NOT qualify. For this market to resolve to "Yes," a qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be either clearly defined and publicly announced by Microsoft as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. … (condensed)