This market will resolve to "Yes" if the next OpenAI GPT 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 OpenAI and have “GPT” in its displayed model name, regardless of capitalization or surrounding prefixes, suffixes, version numbers, dates, or descriptors. For example, gpt-5.6-high, chatgpt-6o-latest, or similar would qua