Reglas

Este mercado se resolverá a "Sí" si Microsoft lanza un sucesor de MAI-Thinking-1 que esté disponible para el público general antes de la fecha especificada (ET). De lo contrario, este mercado se resolverá a favor de "No". Por "sucesor de MAI-Thinking-1" se entiende cualquier modelo que Microsoft designe explícitamente como parte de su familia de modelos MAI (Microsoft AI) y como modelo de pensamiento o razonamiento, o que presente como su próximo modelo de razonamiento de propósito general, o que sea ampliamente considerado el sucesor de MAI-Thinking-1. Los modelos especializados en tareas, las variantes de eficiencia de costes o lanzamientos similares no se tendrán en cuenta, salvo que se designen explícitamente como modelos de pensamiento o razonamiento, o que sean ampliamente considerados sucesores de MAI-Thinking-1. Los productos que no pertenezcan a la familia MAI o que no estén designados como modelos de pensamiento o razonamiento NO cumplirán los requisitos. 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 ser anunciado públicamente por Microsoft como accesible para el público general, o bien hacerse accesible públicamente 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 principal fuente para resolver este mercado será la información oficial de Microsoft (p. ej., https://microsoft.ai/models), con verificación adicional basada en el consenso de medios de comunicación fiables.

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