Reglas

Este mercado se resolverá con "Sí" si el modelo Grok 5 de xAI está disponible para el público general en la fecha especificada (ET). De lo contrario, este mercado se resolverá a favor de "No". Grok 5 se refiere a un producto cuyo nombre explícito sea Grok 5, o a un modelo que se reconozca claramente como la siguiente generación insignia de xAI, posterior a Grok 4. No se considerarán válidos los modelos lanzados dentro de la generación Grok 4, incluidos Grok 4.6, Grok 4.7 o variantes similares. Los lanzamientos válidos de modelos especializados en tareas o de variantes optimizadas en costes no contarán, salvo que lleven explícitamente la marca Grok 5 o que xAI los anuncie claramente como su siguiente generación insignia de Grok. Para que este mercado se resuelva con "Sí", un modelo válido debe haberse lanzado y estar disponible públicamente, incluso mediante una beta abierta o inscripciones abiertas a una lista de espera continua. Una beta cerrada o cualquier forma de acceso privado no será suficiente. El lanzamiento debe estar claramente definido y anunciado públicamente por xAI como accesible al público general, o bien hacerse accesible al público de otro modo y aparecer etiquetado explícitamente en el sitio web oficial de la empresa. No se considerarán válidos los errores de etiquetado, el texto provisional ni los nombres de versiones que aparezcan en el sitio web y no correspondan a un modelo realmente accesible al público general. La fuente principal para resolver este mercado será la información oficial de xAI, con verificación adicional mediante el consenso de medios de comunicación fiables.

Traducción automática. En caso de disputa, prevalece el original.