¿Logrará Musk lanzar Grok 4.7 antes del 30 de septiembre de 2026?

Reglas del mercado

El mercado se resolverá como «Sí» si, desde la creación del mercado y hasta las 23:59 UTC del 30 de septiembre de 2026, SpaceXAI (xAI) lanza oficialmente el modelo Grok 4.7 al público: debe estar disponible a través de la API (aparecerá en la documentación/notas de lanzamiento en docs.x.ai) o en la aplicación/sitio web de Grok al menos para suscriptores de pago. Las betas cerradas, «filtraciones», registros en cuotas de proveedores de nube, anuncios sin acceso de usuarios y adelantos para un círculo limitado de socios no cuentan. Nombres como «Grok 4.7 Fast» o «Grok 4.7 Mini» sin el modelo base Grok 4.7 no cuentan; «Grok 4.7 (Heavy)» y otras variantes del modelo base cuentan. Contexto en la fecha de creación: Musk mencionó plazos el 21 de agosto, principios de septiembre y el 11 de septiembre de 2026, el 11 de septiembre escribió que el modelo «necesitaba unos días más»; para el 20 de septiembre, Grok 4.7 no está en las notas de lanzamiento (el último modelo es Grok 4.6, del 12 de agosto). Si no hubo un lanzamiento público antes de la fecha indicada, la respuesta es «No».