Regras

Este mercado será resolvido como "Sim" se a Microsoft lançar um sucessor do MAI-Thinking-1 que esteja disponível para o público em geral até a data especificada (ET). Caso contrário, este mercado será liquidado em favor de "Não". "Sucessor do MAI-Thinking-1" refere-se a qualquer modelo explicitamente designado pela Microsoft como parte de sua família de modelos MAI (Microsoft AI) e como modelo de pensamento ou raciocínio, ou apresentado como o próximo modelo de raciocínio de uso geral da Microsoft, ou amplamente considerado o sucessor do MAI-Thinking-1. Modelos especializados em tarefas, variantes de eficiência de custos ou lançamentos semelhantes não serão considerados, a menos que sejam explicitamente designados como modelos de pensamento ou raciocínio ou amplamente considerados sucessores do MAI-Thinking-1. Produtos que não fazem parte da família MAI ou que não são designados como modelos de pensamento ou raciocínio NÃO serão elegíveis. Para que este mercado seja resolvido como "Sim", um modelo elegível precisa ser lançado e estar acessível publicamente, inclusive por meio de beta aberta ou inscrições abertas e contínuas em uma lista de espera. Uma versão beta fechada ou qualquer forma de acesso privado não será suficiente. O lançamento deve ser claramente definido e anunciado publicamente pela Microsoft como acessível ao público em geral ou, de outra forma, disponibilizado publicamente e identificado explicitamente no site oficial da empresa. Erros de identificação, textos provisórios ou nomes de versões exibidos no site que não correspondam a um modelo realmente acessível ao público em geral não serão considerados elegíveis. A principal fonte para a resolução deste mercado será a informação oficial da Microsoft (por exemplo, https://microsoft.ai/models), com verificação adicional baseada no consenso de reportagens confiáveis.

Tradução automática. Em caso de divergência, prevalece o original.