Regras

Este mercado será resolvido como "Sim" se o modelo Grok 5 da xAI for disponibilizado ao público em geral até a data especificada (ET). Caso contrário, este mercado será liquidado em favor de "Não". Grok 5 refere-se a um produto explicitamente chamado Grok 5, ou a um modelo claramente reconhecido como a próxima geração principal da xAI, sucedendo o Grok 4. Modelos lançados na geração Grok 4, incluindo Grok 4.6, Grok 4.7 ou variantes semelhantes, não serão considerados elegíveis. Lançamentos elegíveis de modelos especializados em tarefas ou de variantes com eficiência de custos não serão contabilizados, a menos que sejam explicitamente identificados como Grok 5 ou anunciados claramente pela xAI como sua próxima geração principal do Grok. 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 xAI como acessível ao público em geral ou, alternativamente, 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ão as informações oficiais da xAI, com verificação adicional baseada no consenso de reportagens confiáveis.

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