If Claude is the #1 model on Arena AI Text Arena Leaderboard (Math) on Aug 31, 2026 at 10:00am ET, then the market resolves to Yes.