Este mercado será resolvido para "Sim" se o próximo modelo Grok da SpaceXAI adicionado ao Leaderboard do Arena.AI (https://arena.ai/leaderboard/text/overall-no-style-control) tiver pelo menos a pontuação especificada às 12:00 no horário do Leste na data do calendário seguinte à data em que ele aparecer pela primeira vez no leaderboard. Caso contrário, este mercado será resolvido para "Não".
Um modelo qualificado deve ter um nome ou identificador de modelo que inclua "Grok" e ser designado como versão 4.8 ou superior, independentemente de capitalização ou prefixos, sufixos, datas ou descritores circundantes. Por exemplo, uma versão 4.8 ou superior nomeada da mesma maneira que Grok 4.6, Grok 4.7, ou grok-4.6-high se qualificaria, incluindo variantes de raciocínio, Fast, Heavy ou similares carregando uma designação 4.8 ou superior e uma nova geração de número inteiro como Grok 5, enquanto modelos cujo nome não inclui "Grok" ou que retêm uma designação de versão abaixo de 4.8, como Grok 4.7 (lançado em 21 de setembro de 2026), incluindo qualquer lançamento, promoção ou snapshot dele, não se qualificarão. Linhas de produtos numeradas separadamente que não carregam a designação central de versão Grok, como Grok Code Fast ou Grok Imagine, não se qualificarão, e números de versão do aplicativo Grok, site ou outros produtos que não correspondem a um novo modelo subjacente não se qualificarão.
Resultados da coluna "Score" sob a aba do Leaderboard "Text Arena | Overall" em https://arena.ai/leaderboard/text/overall-no-style-control com controle de estilo desligado serão usados para resolver este mercado. Este mercado será resolvido unicamente com base na pontuação especificada na coluna Score do leaderboard, independentemente de quaisquer dados granulares ou não arredondados subjacentes apresentados em outro lugar.
Um modelo marcado "AutoEval" não será considerado adicionado ao leaderboard. Apenas pontuações exibidas sem o rótulo "AutoEval" serão consideradas.
Se múltiplos modelos forem adicionados ao leaderboard na mesma data do calendário (horário do Leste), o modelo com a pontuação mais alta será usado para resolução.