This market will resolve to "Yes" if the next Claude Opus 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". Any Claude model newly added to the leaderboard and labeled as "Opus" may qualify (e.g., claude-Opus-4.9, claude-Opus-5.0-thinking, claude-Opus-5.1-preview, or similar). Claude models labeled only as Sonnet, Haiku, or another non-Opus variant will not qualify....