This market will resolve to "Yes" if the next xAI Grok model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No". A qualifying model must be attributed to xAI and have “Grok” in its displayed model name, regardless of capitalization or surrounding prefixes, suffixes, version numbers, dates, or descriptors. For example, grok-5-high, grok-4.5-thinking, or similar would qualify.